| | 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" /> |
| | 6 | <title>Amin Bandali's Publications</title> |
| | 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 | <span class="plinks"> |
| | 33 | [ |
| | 34 | <a href="publications/modre2018-declarative.pdf">pdf</a> |
| | 35 | | |
| | 36 | <a href="publications/modre2018-declarative.bib">bib</a> |
| | 37 | | |
| | 38 | <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a> |
| | 39 | | |
| | 40 | <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a> |
| | 41 | ] |
| | 42 | </span> |
| | 43 | </dt> |
| | 44 | <dd> |
| | 45 | Ali Abbassi, |
| | 46 | <a href="https://bandali.eu.org">Amin Bandali</a>, |
| | 47 | <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, |
| | 48 | and Jose Serna |
| | 49 | </dd> |
| | 50 | <dd> |
| | 51 | <em>2018 IEEE 8th International Model-Driven Requirements |
| | 52 | Engineering Workshop (MoDRE)</em> |
| | 53 | </dd> |
| | 54 | </dl> |
| | 55 | </section> |
| | 56 | |
| | 57 | <h3 id="talks">Talks</h3> |
| | 58 | <section> |
| | 59 | <dl> |
| | 60 | <dt> |
| | 61 | The Magic of Specifications and Type Systems |
| | 62 | <span class="plinks"> |
| | 63 | [ |
| | 64 | <a href="publications/cucsc-2017-slides.pdf" |
| | 65 | title="presented at the Canadian Undergraduate Computer Science Conference 2017, |
| | 66 | University of Toronto, Canada, June 15-17, 2017">slides</a> |
| | 67 | | |
| | 68 | <a href="publications/eecs4080-poster.pdf" |
| | 69 | title="presented at the Lassonde Undergraduate Summer Student Research Conference, |
| | 70 | York University, Toronto, Canada, August 15, 2017">poster</a> |
| | 71 | ] |
| | 72 | </span> |
| | 73 | </dt> |
| | 74 | <dd> |
| | 75 | <a href="https://bandali.eu.org">Amin Bandali</a>, |
| | 76 | Simon Hudon, |
| | 77 | <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a> |
| | 78 | </dd> |
| | 79 | </dl> |
| | 80 | </section> |
| | 81 | </main> |
| | 82 | </body> |
| | 83 | </html> |
projects / ~bandali / bndl.org / blame_incremental