Philipp J. Meyer

23 papers A* 2B 3Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2021 — —
Constraint-based Analysis of Distributed Systems.
Philipp J. Meyer
2021 J jnl
Towards efficient verification of population protocols.
Formal Methods Syst. Des.
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2020 — conf
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
CAV (2)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
2020 J jnl
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
CoRR
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
2020 B conf
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.
ATVA
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 J jnl
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs.
CoRR
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 J jnl
Practical synthesis of reactive systems from LTL specifications via parity games.
Acta Informatica
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2019 — conf
Computing the Expected Execution Time of Probabilistic Workflow Nets.
TACAS (2)
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
2019 J jnl
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.
CoRR
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2018 — conf
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.
TACAS (2)
Philipp J. Meyer, Javier Esparza, Hagen Völzer
2018 J jnl
Computing the Expected Execution Time of Probabilistic Workflow Nets.
CoRR
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
2018 J jnl
Computing the concurrency threshold of sound free-choice workflow nets.
CoRR
Philipp J. Meyer, Javier Esparza, Hagen Völzer
2018 — conf
Strix: Explicit Reactive Synthesis Strikes Back!
CAV (1)
Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
2017 J jnl
Quantitative Implementation Strategies for Safety Controllers.
CoRR
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
2017 A* conf
Towards Efficient Verification of Population Protocols.
PODC
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2017 J jnl
Towards Efficient Verification of Population Protocols.
CoRR
Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer
2016 B conf
Solving Mean-Payoff Games on the GPU.
ATVA
Philipp J. Meyer, Michael Luttenberger
2015 B conf
An SMT-based Approach to Fair Termination Analysis.
FMCAD
Javier Esparza, Philipp J. Meyer
2014 A* conf
An SMT-Based Approach to Coverability Analysis.
CAV
Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
2014 J jnl
Infinite probability computation by cyclic explanation graphs.
Theory Pract. Log. Program.
Taisuke Sato, Philipp J. Meyer
2013 J jnl
Infinite probability computation by cyclic explanation graphs.
CoRR
Taisuke Sato, Philipp J. Meyer
2012 — conf
Tabling for infinite probability computation.
ICLP (Technical Communications)
Taisuke Sato, Philipp J. Meyer