Philipp J. Meyer

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 17

Top Topics

Reactive Systems

Multiple Stages

Top Venues

Publications

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Towards efficient verification of population protocols. Formal Methods Syst. Des. 57 (3) (2021)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CoRR (2020)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CAV (2) (2020)
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. ATVA (2020)
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs. CoRR (2020)
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Practical synthesis of reactive systems from LTL specifications via parity games. Acta Informatica 57 (1-2) (2020)
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
Computing the Expected Execution Time of Probabilistic Workflow Nets. TACAS (2) (2019)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games. CoRR (2019)
Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
Strix: Explicit Reactive Synthesis Strikes Back! CAV (1) (2018)
Philipp J. Meyer, Javier Esparza, Hagen Völzer
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. TACAS (2) (2018)
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
Computing the Expected Execution Time of Probabilistic Workflow Nets. CoRR (2018)
Philipp J. Meyer, Javier Esparza, Hagen Völzer
Computing the concurrency threshold of sound free-choice workflow nets. CoRR (2018)
Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer
Towards Efficient Verification of Population Protocols. CoRR (2017)
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Towards Efficient Verification of Population Protocols. PODC (2017)
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
Quantitative Implementation Strategies for Safety Controllers. CoRR (2017)
Philipp J. Meyer, Michael Luttenberger
Solving Mean-Payoff Games on the GPU. ATVA (2016)
Javier Esparza, Philipp J. Meyer
An SMT-based Approach to Fair Termination Analysis. FMCAD (2015)
Taisuke Sato, Philipp J. Meyer
Infinite probability computation by cyclic explanation graphs. Theory Pract. Log. Program. 14 (6) (2014)
Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
An SMT-Based Approach to Coverability Analysis. CAV (2014)
Taisuke Sato, Philipp J. Meyer
Infinite probability computation by cyclic explanation graphs. CoRR (2013)
Taisuke Sato, Philipp J. Meyer
Tabling for infinite probability computation. ICLP (Technical Communications) (2012)