Salar Moarref
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICRA | Finding Missing Skills for High-Level Behaviors. | Adam Pacheck, Salar Moarref, Hadas Kress-Gazit |
| 2016 | CAV | Compositional Synthesis of Reactive Controllers for Multi-agent Systems. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2015 | TACAS | Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2013 | FMCAD | Counter-strategy guided refinement of GR(1) temporal logic specifications. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2013 | ICNP | Automated synthesis of reactive controllers for software-defined networks. | Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov |
| 2012 | TACAS | Modeling and Verification of a Dual Chamber Implantable Pacemaker. | Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam |