Tabling for infinite probability computation. - Taisuke Sato; Philipp J. Meyer (ICLP (Technical Communications), 2012)

An SMT-Based Approach to Coverability Analysis. - Javier Esparza; Ruslán Ledesma-Garza; Rupak Majumdar; Philipp J. Meyer; Filip Niksic (CAV, 2014)

Infinite probability computation by cyclic explanation graphs. - Taisuke Sato; Philipp J. Meyer (Theory Pract. Log. Program., 2014)

An SMT-based Approach to Fair Termination Analysis. - Javier Esparza; Philipp J. Meyer (FMCAD, 2015)

Solving Mean-Payoff Games on the GPU. - Philipp J. Meyer; Michael Luttenberger (ATVA, 2016)

Quantitative Implementation Strategies for Safety Controllers. - Philipp J. Meyer; Matthias Rungger; Michael Luttenberger; Javier Esparza; Majid Zamani 001 (CoRR, 2017)

Strix: Explicit Reactive Synthesis Strikes Back! - Philipp J. Meyer; Salomon Sickert; Michael Luttenberger (CAV (1), 2018)

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. - Philipp J. Meyer; Javier Esparza; Hagen Völzer (TACAS (2), 2018)

Computing the Expected Execution Time of Probabilistic Workflow Nets. - Philipp J. Meyer; Javier Esparza; Philip Offtermatt (TACAS (2), 2019)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. - Javier Esparza; Martin Helfrich; Stefan Jaax; Philipp J. Meyer (ATVA, 2020)

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. - Michael Blondin; Javier Esparza; Martin Helfrich; Antonín Kucera 001; Philipp J. Meyer (CAV (2), 2020)

Practical synthesis of reactive systems from LTL specifications via parity games. - Michael Luttenberger; Philipp J. Meyer; Salomon Sickert (Acta Informatica, 2020)

Towards efficient verification of population protocols. - Michael Blondin; Javier Esparza; Stefan Jaax; Philipp J. Meyer (Formal Methods Syst. Des., 2021)

Constraint-based Analysis of Distributed Systems. - Philipp J. Meyer (2021)

Practical Applications of the Alternating Cycle Decomposition. - Antonio Casares; Alexandre Duret-Lutz; Klara J. Meyer; Florian Renkin; Salomon Sickert (TACAS (2), 2022)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)