| 2026 | FM | Towards Proving Liveness on Weak Memory. | Lara Bargmann, Heike Wehrheim |
| 2026 | TACAS | jMT: Testing Correctness of Java Memory Models. | Lukas Panneke, Heike Wehrheim |
| 2025 | ICSE | Cooperative Software Verification via Dynamic Program Splitting. | Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim |
| 2025 | IFM | Model Checking Buffered Durable Linearizability in CSP. | Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2024 | FASE | Can ChatGPT support software verification? | Christian Janen, Cedric Richter, Heike Wehrheim |
| 2024 | FM | Unifying Weak Memory Verification Using Potentials. | Lara Bargmann, Brijesh Dongol, Heike Wehrheim |
| 2024 | VMCAI | A Fully Verified Persistency Library. | Stefan Bodenmller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2023 | CAV | Rely-Guarantee Reasoning for Causally Consistent Shared Memory. | Ori Lahav, Brijesh Dongol, Heike Wehrheim |
| 2023 | FASE | Parallel Program Analysis via Range Splitting. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | FM | Reasoning About Promises in Weak Memory Models with Event Structures. | Heike Wehrheim, Lara Bargmann, Brijesh Dongol |
| 2023 | IFM | Lifting the Reasoning Level in Generic Weak Memory Verification. | Lara Bargmann, Heike Wehrheim |
| 2023 | SEFM | Robustness Testing of Software Verifiers. | Florian Dyck, Cedric Richter, Heike Wehrheim |
| 2023 | SEFM | Ranged Program Analysis via Instrumentation. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | SEFM | Timeout Prediction for Software Analyses. | Nicola Thoben, Jan Haltermann, Heike Wehrheim |
| 2023 | TASE | View-Based Axiomatic Reasoning for PSO. | Lara Bargmann, Heike Wehrheim |
| 2022 | CONCUR | Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. | Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2022 | ICSE | Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. | Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim |
| 2022 | ICST | Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. | Jan Haltermann, Heike Wehrheim |
| 2022 | ICST | Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. | Cedric Richter, Heike Wehrheim |
| 2022 | MSR | TSSB-3M: Mining single statement bugs at massive scale. | Cedric Richter, Heike Wehrheim |
| 2022 | SEFM | Information Exchange Between Over- and Underapproximating Software Analyses. | Jan Haltermann, Heike Wehrheim |
| 2021 | FASE | CoVEGI: Cooperative Verification via Externally Generated Invariants. | Jan Haltermann, Heike Wehrheim |
| 2021 | ICMLA | MLCHECK- Property-Driven Testing of Machine Learning Classifiers. | Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim |
| 2021 | ICTAC | On the Correctness Problem for Serializability. | Jrgen Knig, Heike Wehrheim |
| 2021 | SCAM | Jicer: Simplifying Cooperative Android App Analysis Tasks. | Felix Pauck, Heike Wehrheim |
| 2020 | ECOOP | Owicki-Gries Reasoning for C11 RAR. | Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim |
| 2020 | FORTE | Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. | Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2020 | ICSoft | Consistency Analysis of AUTOSAR Timing Requirements. | Steffen Beringer, Heike Wehrheim |
| 2020 | ISoLA | Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. | Dirk Beyer, Heike Wehrheim |
| 2020 | ISSTA | Higher income, larger loan? monotonicity testing of machine learning models. | Arnab Sharma, Heike Wehrheim |
| 2019 | FM | Verifying Correctness of Persistent Concurrent Data Structures. | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2019 | IM | Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. | Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim |
| 2019 | ICST | Testing Machine Learning Algorithms for Balanced Data Usage. | Arnab Sharma, Heike Wehrheim |
| 2019 | PPoPP | Verifying C11 programs operationally. | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
| 2019 | TACAS | PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). | Cedric Richter, Heike Wehrheim |
| 2019 | TAP | When Are Software Verification Results Valid for Approximate Hardware? | Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim |
| 2018 | ICSE | Reducer-based construction of conditional verifiers. | Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim |
| 2018 | ICTAC | Information Flow Certificates. | Manuel Tws, Heike Wehrheim |
| 2018 | IFM | Making Linearizability Compositional for Partially Ordered Executions. | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
| 2018 | SEFM | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jrgen Knig, Heike Wehrheim |
| 2017 | ICFEM | Policy Dependent and Independent Information Flow Analyses. | Manuel Tws, Heike Wehrheim |
| 2017 | ICTAC | Value-Based or Conflict-Based? Opacity Definitions for STMs. | Jrgen Knig, Heike Wehrheim |
| 2016 | FMICS | Verification of AUTOSAR Software Architectures with Timed Automata. | Steffen Beringer, Heike Wehrheim |
| 2016 | ICFEM | A CEGAR Scheme for Information Flow Analysis. | Manuel Tws, Heike Wehrheim |
| 2016 | ICTAC | Verification of Concurrent Programs on Weak Memory Models. | Oleg Travkin, Heike Wehrheim |
| 2016 | IFM | Towards a Thread-Local Proof Technique for Starvation Freedom. | Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2016 | OPODIS | Proving Opacity of a Pessimistic STM. | Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2015 | FASE | Just Test What You Cannot Verify! | Mike Czech, Marie-Christine Jakobs, Heike Wehrheim |
| 2015 | FM | Verifying Opacity of a Transactional Mutex Lock. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2015 | SAC | Programs from proofs of predicated dataflow analyses. | Marie-Christine Jakobs, Heike Wehrheim |
| 2014 | FedCSIS | Grammar-Based Model Transformations. | Galina Besova, Dominik Steenken, Heike Wehrheim |
| 2014 | FM | Quiescent Consistency: Defining and Verifying Relaxed Linearizability. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim |
| 2014 | ICFEM | Timed Automata Verification via IC3 with Zones. | Tobias Isenberg, Heike Wehrheim |
| 2014 | IFM | Integrating Software and Hardware Verification. | Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema |
| 2014 | IFM | Managing LTL Properties in Event-B Refinement. | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
| 2013 | CAV | Programs from Proofs - A PCC Alternative. | Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
| 2013 | FORTE | Bounded Model Checking of Graph Transformation Systems via SMT Solving. | Tobias Isenberg, Dominik Steenken, Heike Wehrheim |
| 2013 | ICECCS | Knowledge-Based Verification of Service Compositions - An SMT Approach. | Sven Walther, Heike Wehrheim |
| 2013 | ICTAC | A High-Level Semantics for Program Execution under Total Store Order Memory. | Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim |
| 2013 | SEFM | Zero Overhead Runtime Monitoring. | Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
| 2012 | CAV | How to Prove Algorithms Linearisable. | Gerhard Schellhorn, Heike Wehrheim, John Derrick |
| 2012 | ICFEM | Heuristic-Guided Abstraction Refinement for Concurrent Systems. | Nils Timm, Heike Wehrheim, Mike Czech |
| 2012 | ICFEM | Predicate Analysis with Block-Abstraction Memoization. | Daniel Wonisch, Heike Wehrheim |
| 2012 | MODELS | Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. | Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker |
| 2011 | FM | Verifying Linearisability with Potential Linearisation Points. | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2010 | ICFEM | On Symmetries and Spotlights - Verifying Parameterised Systems. | Nils Timm, Heike Wehrheim |
| 2010 | IFM | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. | Mathias Hlsbusch, Barbara Knig, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
| 2010 | IFM | A CSP Approach to Control in Event-B. | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
| 2010 | TACAS | SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. | Klaus Drger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
| 2009 | FM | Three-Valued Spotlight Abstractions. | Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
| 2009 | ICFEM | Refinement-Preserving Co-evolution. | Thomas Ruhroth, Heike Wehrheim |
| 2008 | ICFEM | Decomposition for Compositional Verification. | Bjrn Metzler, Heike Wehrheim, Daniel Wonisch |
| 2008 | ICTAC | Bounded Model Checking for Partial Kripke Structures. | Heike Wehrheim |
| 2007 | ICSE | The Challenges of Building Advanced Mechatronic Systems. | Wilhelm Schfer, Heike Wehrheim |
| 2007 | IFM | Proving Linearizability Via Non-atomic Refinement. | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2006 | ICFEM | Incremental Slicing. | Heike Wehrheim |
| 2005 | ICFEM | Slicing an Integrated Formal Method for Verification. | Ingo Brckner, Heike Wehrheim |
| 2004 | IFM | Linking CSP-OZ with UML and Java: A Case Study. | Michael Mller, Ernst-Rdiger Olderog, Holger Rasch, Heike Wehrheim |
| 2001 | FASE | A CSP View on UML-RT Structure Diagrams. | Clemens Fischer, Ernst-Rdiger Olderog, Heike Wehrheim |
| 2001 | FORTE | Patterns and Rules for Behavioural Subtyping. | Heike Wehrheim |
| 2000 | FASE | Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. | Heike Wehrheim |
| 1999 | FM | Data Abstraction for CSP-OZ. | Heike Wehrheim |
| 1999 | IFM | Model-Checking CSP-OZ Specifications with FDR. | Clemens Fischer, Heike Wehrheim |
| 1998 | FORTE | An Algebraic Semantics for Message Sequence Chart Documents. | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
| 1997 | MFCS | Dependency-Based Action Refinement. | Arend Rensink, Heike Wehrheim |
| 1996 | MFCS | Causal Testing. | Ursula Goltz, Heike Wehrheim |
| 1994 | CONCUR | Weak Sequential Composition in Process Algebras. | Arend Rensink, Heike Wehrheim |