| Publication | Date of Publication | Type |
|---|
| Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models | 2024-02-01 | Paper |
| Optimal stateless model checking for causal consistency | 2023-12-13 | Paper |
| Probabilistic total store ordering | 2023-08-03 | Paper |
| Solving Not-Substring Constraint withFlat Abstraction | 2023-03-29 | Paper |
| Boosting Sequential Consistency Checking Using Saturation | 2022-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090941 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089281 | 2022-07-18 | Paper |
| The decidability of verification under PS 2.0 | 2021-10-18 | Paper |
| Verifying quantitative temporal properties of procedural programs | 2021-08-04 | Paper |
| Universal safety for timed Petri nets is PSPACE-complete | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994711 | 2021-06-21 | Paper |
| Verification of Asynchronous Programs with Nested Locks | 2020-11-25 | Paper |
| Chain-Free String Constraints | 2020-07-20 | Paper |
| Data Multi-Pushdown Automata | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111264 | 2020-05-26 | Paper |
| Counter-example guided program verification | 2020-01-03 | Paper |
| Acceleration in multi-pushdown systems | 2019-09-17 | Paper |
| Stateless Model Checking for TSO and PSO | 2019-09-17 | Paper |
| Perfect timed communication is hard | 2018-12-06 | Paper |
| Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete | 2018-05-14 | Paper |
| The complexity of regular abstractions of one-counter languages | 2018-04-23 | Paper |
| Infinite-state energy games | 2018-04-23 | Paper |
| Data Communicating Processes with Unreliable Channels | 2018-04-23 | Paper |
| The Benefits of Duality in Verifying Concurrent Programs under TSO | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130550 | 2018-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130545 | 2018-01-23 | Paper |
| Stateless model checking for TSO and PSO | 2017-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275367 | 2017-07-13 | Paper |
| Dense-Timed Pushdown Automata | 2017-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978551 | 2017-04-25 | Paper |
| Verification of Dynamic Register Automata | 2017-04-25 | Paper |
| Timed lossy channel systems | 2017-01-26 | Paper |
| Push-Down Automata with Gap-Order Constraints | 2015-09-30 | Paper |
| On the verification problem for weak memory models | 2015-06-11 | Paper |
| ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS | 2015-04-23 | Paper |
| Budget-bounded model-checking pushdown systems | 2014-12-05 | Paper |
| Context-Bounded Analysis of TSO Systems | 2014-07-24 | Paper |
| Analysis of Message Passing Programs Using SMT-Solvers | 2014-07-08 | Paper |
| Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata | 2014-03-31 | Paper |
| Adjacent Ordered Multi-Pushdown Systems | 2013-06-28 | Paper |
| Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding | 2012-11-21 | Paper |
| Analyzing Asynchronous Programs with Preemption | 2012-10-19 | Paper |
| Model-checking of ordered multi-pushdown automata | 2012-09-25 | Paper |
| Approximating Petri net reachability along context-free traces | 2012-08-31 | Paper |
| Global model checking of ordered multi-pushdown systems | 2012-08-29 | Paper |
| Counter-Example Guided Fence Insertion under TSO | 2012-06-29 | Paper |
| What’s Decidable about Weak Memory Models? | 2012-06-22 | Paper |
| The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems | 2012-06-08 | Paper |
| Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads | 2012-04-02 | Paper |
| ON YEN'S PATH LOGIC FOR PETRI NETS | 2011-07-14 | Paper |
| Verifying parallel programs with dynamic communication structures | 2010-10-07 | Paper |
| From Multi to Single Stack Automata | 2010-08-31 | Paper |
| On Yen’s Path Logic for Petri Nets | 2009-11-19 | Paper |
| Verifying Parallel Programs with Dynamic Communication Structures | 2009-07-09 | Paper |
| Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads | 2009-03-31 | Paper |
| On the Reachability Analysis of Acyclic Networks of Pushdown Systems | 2008-11-25 | Paper |
| Emptiness of Multi-pushdown Automata Is 2ETIME-Complete | 2008-10-30 | Paper |
