projects / ~bandali / bndl.org / blame
| Commit | Line | Data |
|---|---|---|
| 60d1cae9 AB |
1 | <!DOCTYPE html> |
| 2 | <html lang="en"> | |
| 3 | <head> | |
| 4 | <meta charset="utf-8" /> | |
| 5 | <meta name=viewport content="width=device-width, initial-scale=1" /> | |
| da142286 | 6 | <title>Amin Bandali's Publications</title> |
| 60d1cae9 AB |
7 | <meta |
| 8 | name="description" | |
| 9 | content="Amin Bandali's publications" /> | |
| 10 | <link rel="stylesheet" href="/style.css" /> | |
| 11 | </head> | |
| 12 | <body> | |
| 13 | <main id="publications"> | |
| 14 | <header> | |
| 15 | <h1 id="title">bandali</h1> | |
| 16 | <h2 id="subtitle">Publications</h2> | |
| 17 | </header> | |
| 18 | <section> | |
| 19 | <p> | |
| 20 | <a href="#conference">conference</a> | |
| 21 | | | |
| 22 | <a href="#talks">talks</a> | |
| 23 | </p> | |
| 24 | </section> | |
| 25 | ||
| 26 | <h3 id="conference">Conference</h3> | |
| 27 | <section> | |
| 28 | <dl> | |
| 29 | <dt> | |
| 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>) | |
| 36 | </dt> | |
| 37 | <dd> | |
| 38 | Ali Abbassi, | |
| 39 | <a href="https://bandali.eu.org">Amin Bandali</a>, | |
| 40 | <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, | |
| 41 | and Jose Serna | |
| 42 | </dd> | |
| 43 | <dd> | |
| 44 | <em>2018 IEEE 8th International Model-Driven Requirements | |
| 45 | Engineering Workshop (MoDRE)</em> | |
| 46 | </dd> | |
| 47 | </dl> | |
| 48 | </section> | |
| 49 | ||
| 50 | <h3 id="talks">Talks</h3> | |
| 51 | <section> | |
| 52 | <dl> | |
| 53 | <dt> | |
| 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>) | |
| 61 | </dt> | |
| 62 | <dd> | |
| 63 | <a href="https://bandali.eu.org">Amin Bandali</a>, | |
| 64 | Simon Hudon, | |
| 65 | <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a> | |
| 66 | </dd> | |
| 67 | </dl> | |
| 68 | </section> | |
| 69 | </main> | |
| 70 | </body> | |
| 71 | </html> |