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