git.shemshak.org - ~bandali/bndl.org/blob - 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>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             (<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>