Publications

2024

• Learning Broadcast Protocols with LeoParDS (with N. Izsak and D. Fisman), in ATVA 2024, to appear.
• Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata (with T. Baumeister, P. Eichler, M. Sakr and M. Völp), in FM 2024. (arXiv preprint)
• The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 (with G. Perez and 23 tool authors), in STTT (2024). (arXiv preprint)
• Learning Broadcast Protocols (with D. Fisman, N. Izsak), in AAAI 2024. (arXiv preprint)
• Automatic and Incremental Repair for Speculative Information Leaks (with J. Bard, Y. Vizel), in VMCAI 2024. (arXiv preprint)
• Parameterized Verification of Disjunctive Timed Networks (with É. André, P. Eichler, S. L. Karra), in VMCAI 2024. (arXiv preprint)

2023

• Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification (with N. Jaber, C. Wagner, M. Kulkarni, R. Samanta), in TACAS 2023.
• Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112) (with K. McMillan, R. Samanta, I. Sergey), Dagstuhl Reports 13(3).
• The Temporal Logic Synthesis Format TLSF v1.2 (with G.A. Pérez, P. Schlehuber-Caissier). (arXiv preprint)

2022

• Current Challenges in Reliable and Secure Clock Synchronization (with C. Lenzen), in Bulletin of the EATCS, Volume 138.
• Automatic Repair and Deadlock Detection for Parameterized Systems (with M. Sakr, M. Völp), in FMCAD 2022.

2021

• QuickSilver: modeling and parameterized verification for distributed agreement-based systems (with N. Jaber, C. Wagner, M. Kulkarni, R. Samanta), in OOPSLA 2021.
• AIGEN: Random Generation of Symbolic Transition Systems (with M. Sakr), in CAV 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

• Efficient Information-Flow Verification Under Speculative Execution (with R. Bloem, Y. Vizel), in ATVA 2019. (author pdf)
• The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results (with SYNTCOMP co-organizers and participants), on arXiv.

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

• The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results (with SYNTCOMP co-organizers and participants), in SYNT 2017.
• Proceedings Sixth Workshop on Synthesis (with D. Fisman), 2017.
• The first reactive synthesis competition (SYNTCOMP 2014) (with SYNTCOMP co-organizers and participants), in STTT 19(3), 2017. (arXiv preprint)

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

• Decidability of Parameterized Verification (with R. Bloem, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder).
• The Second Reactive Synthesis Competition (SYNTCOMP 2015) (with SYNCTOMP co-organizers and participants), in SYNT 2015.
• Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (with R. Bloem, K. Chatterjee, R. Könighofer), in TACAS 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

• PARTY Parameterized Synthesis of Token Rings (with A. Khalimov, R. Bloem), in CAV 2013.
• Reductions for Synthesis Procedures (with V. Kuncak, P. Suter), in VMCAI 2013. (author pdf)
• Towards Efficient Parameterized Synthesis (with A. Khalimov, R. Bloem), in VMCAI 2013. (author pdf)

2012

• Parameterized Synthesis (with R. Bloem), in TACAS 2012.
• Lazy Synthesis (with B. Finkbeiner), in VMCAI 2012. (author pdf)

Pre-2012: Check DBLP or Google Scholar