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>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>