X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ea846b4148e862d082b96219ec8e7b129808e2f6..60d1cae9374d09398e12f0b6239092e4d0b3eb76:/publications.html diff --git a/publications.html b/publications.html new file mode 100644 index 0000000..0970fa9 --- /dev/null +++ b/publications.html @@ -0,0 +1,71 @@ + + + + + + bandali's publications + + + + +
+
+

bandali

+

Publications

+
+
+

+ conference + | + talks +

+
+ +

Conference

+
+
+
+ A Comparison of the Declarative Modelling Languages B, + Dash, and TLA+ + (pdf, + bib, + doi, + models) +
+
+ Ali Abbassi, + Amin Bandali, + Nancy A. Day, + and Jose Serna +
+
+ 2018 IEEE 8th International Model-Driven Requirements + Engineering Workshop (MoDRE) +
+
+
+ +

Talks

+
+
+
+ The Magic of Specifications and Type Systems + (slides, + poster) +
+
+ Amin Bandali, + Simon Hudon, + Jonathan Ostroff +
+
+
+
+ +