Conference and Journal Papers

Reactive Synthesis for Robotic Swarms

Salar Moarref and Hadas Kress-Gazit

16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2018

​

Verifiable Control of Robotic Swarm  from High-level Specifications

Ji Chen, Salar Moarref, and Hadas Kress-Gazit,

17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018

​

Compositional and Symbolic Synthesis of Reactive Controllers for Multi-Agent Systems

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Information and Computation, 2018

​

Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specification

Salar Moarref and Hadas Kress-Gazit

IEEE International Symposium on Multi-Robot and Multi-Agent Systems (MRS),  2017

​

Schedulability of Bounded-Rate Multi-Mode Systems

Rajeev Alur, Vojtech Forejt, Salar Moarref, and Ashutosh Trivedi

ACM Transactions on Embedded Computing Systems (TECS), 2017

​

Risk-Averse Omega-Regular Markov Decision Process Control

Ruediger Ehler, Salar Moarref, and Ufuk Topcu

55th Conference on Decision and Control (CDC), 2016
 

Compositional Synthesis of Reactive Controllers for Multi-Agent Systems

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Computer Aided Verification (CAV), 2016

Compositional Synthesis with Parametric Reactive Controllers

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Hybrid Systems: Computation and Control (HSCC), 2016


Pattern-Based Refinement of Interface Specifications in Reactive Synthesis

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , 2015
 

Automated Synthesis of Reactive Controllers for Software-Defined Networks

Anduo Wang, Salar Moarref, Ufuk Topcu, Boon Thau Loo,  and Andre Scedrov

International Workshop on Rigorous Protocol Engineering, 2013


Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Formal Methods in Computer-Aided Design (FMCAD), 2013
 

Safe Schedulability of Bounded-Rate Multi-Mode Systems

Rajeev Alur, Vojtech Forejt, Salar Moarref, and Ashutosh Trivedi

Hybrid Systems: Computation and Control (HSCC), 2013
 

Modeling and Verification of a Dual Chamber Implantable Pacemaker

Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam

Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012

Theses

Compositional Reactive Synthesis for Multi-Agent Systems

Salar Moarref 

Ph.D. Dissertation, August 2016  

​

Evaluating Modeling Methods in Web Developing Methodologies

Salar Moarref

B.Sc. Thesis, Spring 2010

​