Travelled to:1 × Estonia
1 × United Kingdom
Collaborated with:R.Alur U.Topcu Z.Jiang M.Pajic R.Mangharam
Talks about:synthesi (2) reactiv (2) guarante (1) composit (1) pattern (1) pacemak (1) implant (1) control (1) chamber (1) system (1)
Person: Salar Moarref
DBLP: Moarref:Salar
Contributed to:
20152012
2016Wrote 3 papers:
- TACAS-2015-AlurMT #refinement #specification #synthesis
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.
- TACAS-2012-JiangPMAM #modelling #verification
- Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.
- CAV-2016-AlurMT #composition #multi #synthesis
- Compositional Synthesis of Reactive Controllers for Multi-agent Systems (RA, SM, UT), pp. 251–269.