| 2026 | LICS | PVASS Reachability Is Decidable. | Roland Guttenberg, Eren Keskin, Roland Meyer |
| 2024 | ICALP | Separability in Bchi VASS and Singly Non-Linear Systems of Inequalities. | Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche |
| 2024 | LICS | On the Separability Problem of VASS Reachability Languages. | Eren Keskin, Roland Meyer |
| 2023 | CAV | nekton: A Linearizability Proof Checker. | Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff |
| 2023 | CONCUR | Separability and Non-Determinizability of WSTS. | Eren Keskin, Roland Meyer |
| 2023 | STACS | Regular Separability in Bchi VASS. | Pascal Baumann, Roland Meyer, Georg Zetzsche |
| 2023 | TACAS | Make Flows Small Again: Revisiting the Flow Framework. | Roland Meyer, Thomas Wies, Sebastian Wolff |
| 2022 | APLAS | Model-Based Fault Classification for Automotive Software. | Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sren van der Wall, Sebastian Wolff |
| 2022 | PODC | Parameterized Verification under Release Acquire is PSPACE-complete. | Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty |
| 2022 | TACAS | Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). | Hernn Ponce de Len, Thomas Haas, Roland Meyer |
| 2021 | TACAS | Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). | Hernn Ponce de Len, Thomas Haas, Roland Meyer |
| 2020 | LREC | LiViTo: Linguistic and Visual Features Tool for Assisted Analysis of Historic Manuscripts. | Klaus Mller, Aleksej Tikhonov, Roland Meyer |
| 2020 | TACAS | Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2019 | CAV | BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. | Natalia Gavrilenko, Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2019 | DAC | Temporal Tracing of On-Chip Signals using Timeprints. | Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler |
| 2019 | GI | Sicherheit, Zuverlssigkeit, Korrektheit. | Juliane Krmer, Roland Meyer |
| 2018 | CONCUR | Regular Separability of Well-Structured Transition Systems. | Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan |
| 2018 | CONCUR | Bounded Context Switching for Valence Systems. | Roland Meyer, Sebastian Muskalla, Georg Zetzsche |
| 2018 | FMCAD | BMC with Memory Models as Modules. | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2018 | MFCS | Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. | Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann |
| 2018 | TACAS | Fine-Grained Complexity of Safety Verification. | Peter Chini, Roland Meyer, Prakash Saivasan |
| 2017 | ESA | On the Complexity of Bounded Context Switching. | Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan |
| 2017 | MFCS | On the Upward/Downward Closures of Petri Nets. | Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan |
| 2017 | MFCS | Domains for Higher-Order Games. | Matthew Hague, Roland Meyer, Sebastian Muskalla |
| 2017 | SAS | Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. | Luks Holk, Roland Meyer, Toms Vojnar, Sebastian Wolff |
| 2017 | SAS | Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2016 | LICS | First-order logic with reachability for infinite-state systems. | Emanuele D'Osualdo, Roland Meyer, Georg Zetzsche |
| 2016 | VMCAI | Pointer Race Freedom. | Frdric Haziza, Luks Holk, Roland Meyer, Sebastian Wolff |
| 2015 | FASE | Lazy TSO Reachability. | Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer |
| 2014 | CONCUR | Bounds on Mobility. | Reiner Hchting, Rupak Majumdar, Roland Meyer |
| 2014 | ICALP | Robustness against Power is PSpace-complete. | Egor Derevenetc, Roland Meyer |
| 2013 | CONCUR | A Theory of Name Boundedness. | Reiner Hchting, Rupak Majumdar, Roland Meyer |
| 2013 | ESOP | Checking and Enforcing Robustness against TSO. | Ahmed Bouajjani, Egor Derevenetc, Roland Meyer |
| 2013 | SAS | Static Provenance Verification for Message Passing Programs. | Rupak Majumdar, Roland Meyer, Zilong Wang |
| 2012 | CONCUR | A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. | Roland Meyer, Victor Khomenko, Reiner Hchting |
| 2012 | FASE | Language-Theoretic Abstraction Refinement. | Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer |
| 2011 | ICALP | Deciding Robustness against Total Store Ordering. | Ahmed Bouajjani, Roland Meyer, Eike Mhlmann |
| 2010 | CAV | Petruchio: From Dynamic Networks to Nets. | Roland Meyer, Tim Strazny |
| 2010 | CONCUR | Kleene, Rabin, and Scott Are Available. | Jochen Hoenicke, Roland Meyer, Ernst-Rdiger Olderog |
| 2010 | ICALP | The Downward-Closure of Petri Net Languages. | Peter Habermehl, Roland Meyer, Harro Wimmel |
| 2009 | CONCUR | On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. | Roland Meyer, Roberto Gorrieri |
| 2006 | FMCAD | Model Checking Data-Dependent Real-Time Properties of the European Train Control System. | Johannes Faber, Roland Meyer |
| 2006 | ICTAC | Model Checking Duration Calculus: A Practical Approach. | Roland Meyer, Johannes Faber, Andrey Rybalchenko |