+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="utf-8" />
+ <meta name=viewport content="width=device-width, initial-scale=1" />
+ <title>bandali's publications</title>
+ <meta
+ name="description"
+ content="Amin Bandali's publications" />
+ <link rel="stylesheet" href="/style.css" />
+ </head>
+ <body>
+ <main id="publications">
+ <header>
+ <h1 id="title">bandali</h1>
+ <h2 id="subtitle">Publications</h2>
+ </header>
+ <section>
+ <p>
+ <a href="#conference">conference</a>
+ |
+ <a href="#talks">talks</a>
+ </p>
+ </section>
+
+ <h3 id="conference">Conference</h3>
+ <section>
+ <dl>
+ <dt>
+ A Comparison of the Declarative Modelling Languages B,
+ Dash, and TLA<sup>+</sup>
+ (<a href="publications/modre2018-declarative.pdf">pdf</a>,
+ <a href="publications/modre2018-declarative.bib">bib</a>,
+ <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
+ <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>)
+ </dt>
+ <dd>
+ Ali Abbassi,
+ <a href="https://bandali.eu.org">Amin Bandali</a>,
+ <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>,
+ and Jose Serna
+ </dd>
+ <dd>
+ <em>2018 IEEE 8th International Model-Driven Requirements
+ Engineering Workshop (MoDRE)</em>
+ </dd>
+ </dl>
+ </section>
+
+ <h3 id="talks">Talks</h3>
+ <section>
+ <dl>
+ <dt>
+ The Magic of Specifications and Type Systems
+ (<a href="publications/cucsc-2017-slides.pdf"
+ title="presented at the Canadian Undergraduate Computer Science Conference 2017,
+University of Toronto, Canada, June 15-17, 2017">slides</a>,
+ <a href="publications/eecs4080-poster.pdf"
+ title="presented at the Lassonde Undergraduate Summer Student Research Conference,
+York University, Toronto, Canada, August 15, 2017">poster</a>)
+ </dt>
+ <dd>
+ <a href="https://bandali.eu.org">Amin Bandali</a>,
+ Simon Hudon,
+ <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a>
+ </dd>
+ </dl>
+ </section>
+ </main>
+ </body>
+</html>
projects / ~bandali / bndl.org / blobdiff