| 2020 | ATVA | Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. | Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
| 2020 | CAV | Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. | Michael Blondin, Javier Esparza, Martin Helfrich, Antonn Kucera, Philipp J. Meyer |
| 2019 | TACAS | Computing the Expected Execution Time of Probabilistic Workflow Nets. | Philipp J. Meyer, Javier Esparza, Philip Offtermatt |
| 2018 | CAV | Strix: Explicit Reactive Synthesis Strikes Back! | Philipp J. Meyer, Salomon Sickert, Michael Luttenberger |
| 2018 | TACAS | Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. | Philipp J. Meyer, Javier Esparza, Hagen Vlzer |
| 2017 | PODC | Towards Efficient Verification of Population Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer |
| 2016 | ATVA | Solving Mean-Payoff Games on the GPU. | Philipp J. Meyer, Michael Luttenberger |
| 2015 | FMCAD | An SMT-based Approach to Fair Termination Analysis. | Javier Esparza, Philipp J. Meyer |
| 2014 | CAV | An SMT-Based Approach to Coverability Analysis. | Javier Esparza, Rusln Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic |
| 2012 | ICLP | Tabling for infinite probability computation. | Taisuke Sato, Philipp J. Meyer |