1c6da5c821f1a011a007b91ddba7592da3017b5d
[~bandali/bndl.org] / publications.html
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>