2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 (with SYNTCOMP co-organizers and participants), under review. (arXiv preprint )
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification (with N. Jaber, C. Wagner, M. Kulkarni, R. Samanta), under review. (arXiv preprint )
Automatic Repair and Deadlock Detection for Parameterized Systems (with M. Sakr, M. Völp), in FMCAD 2022, to appear. (arXiv preprint )
2021
2020
A symbolic algorithm for lazy synthesis of eager strategies (with M. Sakr), in Acta Informatica 57, 2020. (author pdf )
Parameterized synthesis of self-stabilizing protocols in symmetric networks (with N. Mirzaie, F. Faghih, B. Bonakdarpour), in Acta Informatica 57, 2020. (author pdf )
Validation of Abstract Side-Channel Models for Computer Architectures (with H. Nemati, P. Buiras, A. Lindner, R. Guanciale), in CAV 2020.
Parameterized Verification of Systems with Global Synchronization and Guards (with N. Jaber, C. Wagner, M. Kulkarni, R. Samanta), in CAV 2020.
Promptness and Bounded Fairness in Concurrent and Parameterized Systems (with M. Sakr, M. Zimmermann), in VMCAI 2020. (arXiv preprint )
2019
2018
Distributed synthesis for parameterized temporal logics (with L. Tentrup, M. Zimmermann), in Inf. Comput. 262, 2018. (arXiv preprint )
A Symbolic Algorithm for Lazy Synthesis of Eager Strategies (with M. Sakr), in ATVA 2018. (author pdf of extended version )
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (with N. Mirzaie, F. Faghih, B. Bonakdarpour), in OPODIS 2018.
Design Understanding: From Logic to Specification (with G. Fey, T. Ghasempouri, G. Martino, J. Raik, H. Riener), in VLSI-SoC 2018. (author pdf )
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity (with M. Sakr), in VMCAI 2018. (arXiv preprint )
2017
2016
Decidability in Parameterized Verification (with R. Bloem, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder), in SIGACT News 47(2), 2016. (author pdf )
Distributed PROMPT-LTL Synthesis (with L. Tentrup, M. Zimmermann), in GandALF 2016.
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems (with R. Bloem, N. Braud-Santoni), in CAV 2016. (author pdf )
A High-Level LTL Synthesis Format: TLSF v1.1 (with F. Klein, S. Schirmer), in SYNT 2016.
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond (with R. Bloem), in SYNT 2016.
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results (with SYNTCOMP co-organizers and participants), in SYNT 2016.
Tight Cutoffs for Guarded Protocols with Fairness (with S. Ausserlechner, A. Khalimov), in VMCAI 2016. (arXiv extended version )
2015
2014
Parameterized Synthesis (with R. Bloem), in LMCS 10(1), 2014.
How to Handle Assumptions in Synthesis (with R. Bloem, R. Ehlers, R. Könighofer), in SYNT 2014.
Parameterized Synthesis Case Study: AMBA AHB (with R. Bloem, A. Khalimov), in SYNT 2014.
Parameterized Model Checking of Token-Passing Systems (with B. Aminof, A. Khalimov, S. Rubin), in VMCAI 2014. (arXiv extended version )
Extended AIGER Format for Synthesis , on arXiv.
2013
2012