Philipp J. Meyer

Available identifiers

zbMath Open meyer.philipp-jMaRDI QIDQ2058385

List of research outcomes

Publication	Date of Publication	Type
Towards efficient verification of population protocols	2021-12-08	Paper
Checking qualitative liveness properties of replicated systems with stochastic scheduling	2021-02-09	Paper
Practical synthesis of reactive systems from LTL specifications via parity games	2020-03-06	Paper
Computing the concurrency threshold of sound free-choice workflow nets	2019-09-16	Paper
Towards efficient verification of population protocols	2017-10-11	Paper
An SMT-based approach to coverability analysis	2014-09-29	Paper

Research outcomes over time

This page was built for person: Philipp J. Meyer