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

2019

2018

2017

2016

2015

2014

2013

2012

Pre-2012: Check DBLP or Google Scholar