Klara J. Meyer

According to our database, Klara J. Meyer authored at least 17 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

2022

Practical Applications of the Alternating Cycle Decomposition.

Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Constraint-based Analysis of Distributed Systems.

Philipp J. Meyer

PhD thesis, 2021

Towards efficient verification of population protocols.

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer

Formal Methods Syst. Des., 2021

2020

Practical synthesis of reactive systems from LTL specifications via parity games.

Michael Luttenberger, Philipp J. Meyer, Salomon Sickert

Acta Informatica, 2020

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.

Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.

Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

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

CoRR, 2019

Computing the Expected Execution Time of Probabilistic Workflow Nets.

Philipp J. Meyer, Javier Esparza, Philip Offtermatt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.

Philipp J. Meyer, Javier Esparza, Hagen Völzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Strix: Explicit Reactive Synthesis Strikes Back!

Philipp J. Meyer, Salomon Sickert, Michael Luttenberger

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Quantitative Implementation Strategies for Safety Controllers.

Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani

CoRR, 2017

2016

Solving Mean-Payoff Games on the GPU.

Philipp J. Meyer, Michael Luttenberger

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

An SMT-based Approach to Fair Termination Analysis.

Javier Esparza, Philipp J. Meyer

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Infinite probability computation by cyclic explanation graphs.

Taisuke Sato, Philipp J. Meyer

Theory Pract. Log. Program., 2014

An SMT-Based Approach to Coverability Analysis.

Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012

Tabling for infinite probability computation.

Taisuke Sato, Philipp J. Meyer

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012