4 <meta charset="utf-8" />
5 <meta name=viewport content="width=device-width, initial-scale=1" />
6 <title>bandali's publications</title>
9 content="Amin Bandali's publications" />
10 <link rel="stylesheet" href="/style.css" />
13 <main id="publications">
15 <h1 id="title">bandali</h1>
16 <h2 id="subtitle">Publications</h2>
20 <a href="#conference">conference</a>
22 <a href="#talks">talks</a>
26 <h3 id="conference">Conference</h3>
30 A Comparison of the Declarative Modelling Languages B,
31 Dash, and TLA<sup>+</sup>
32 (<a href="publications/modre2018-declarative.pdf">pdf</a>,
33 <a href="publications/modre2018-declarative.bib">bib</a>,
34 <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
35 <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>)
39 <a href="https://bandali.eu.org">Amin Bandali</a>,
40 <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>,
44 <em>2018 IEEE 8th International Model-Driven Requirements
45 Engineering Workshop (MoDRE)</em>
50 <h3 id="talks">Talks</h3>
54 The Magic of Specifications and Type Systems
55 (<a href="publications/cucsc-2017-slides.pdf"
56 title="presented at the Canadian Undergraduate Computer Science Conference 2017,
57 University of Toronto, Canada, June 15-17, 2017">slides</a>,
58 <a href="publications/eecs4080-poster.pdf"
59 title="presented at the Lassonde Undergraduate Summer Student Research Conference,
60 York University, Toronto, Canada, August 15, 2017">poster</a>)
63 <a href="https://bandali.eu.org">Amin Bandali</a>,
65 <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a>