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> | |
e080516c AB |
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> | |
60d1cae9 AB |
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 | |
e080516c AB |
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 | | | |
60d1cae9 AB |
68 | <a href="publications/eecs4080-poster.pdf" |
69 | title="presented at the Lassonde Undergraduate Summer Student Research Conference, | |
e080516c AB |
70 | York University, Toronto, Canada, August 15, 2017">poster</a> |
71 | ] | |
72 | </span> | |
60d1cae9 AB |
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> |