Weak Sequential Composition in Process Algebras. - Arend Rensink; Heike Wehrheim (CONCUR, 1994)

Parametric Action Refinement. - Heike Wehrheim (PROCOMET, 1994)

Causal Testing. - Ursula Goltz; Heike Wehrheim (MFCS, 1996)

Modelling Causality via Action Dependencies in Branching Time Semantics. - Ursula Goltz; Heike Wehrheim (Inf. Process. Lett., 1996)

Specifying reactive systems with action dependencies: modelling and hierarchical design. - Heike Wehrheim (1996)

Dependency-Based Action Refinement. - Arend Rensink; Heike Wehrheim (MFCS, 1997)

A Process Algebra Semantics for MSC Including Conditions. - Thomas Gehrke; Michaela Huhn; Peter Niebert; Arend Rensink; Heike Wehrheim (FBT, 1998)

An Algebraic Semantics for Message Sequence Chart Documents. - Thomas Gehrke; Michaela Huhn; Arend Rensink; Heike Wehrheim (FORTE, 1998)

Partial Order Reductions for Bisimulation Checking. - Michaela Huhn; Peter Niebert; Heike Wehrheim (FSTTCS, 1998)

Data Abstraction for CSP-OZ. - Heike Wehrheim (World Congress on Formal Methods, 1999)

Model-Checking CSP-OZ Specifications with FDR. - Clemens Fischer; Heike Wehrheim (IFM, 1999)

Partial order reductions for failures refinement. - Heike Wehrheim (EXPRESS, 1999)

Behavioural Subtyping Relations for Object-Oriented Formalisms. - Clemens Fischer; Heike Wehrheim (AMAST, 2000)

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. - Heike Wehrheim (FASE, 2000)

Behavioural Subtyping and Property Preservation. - Heike Wehrheim (FMOODS, 2000)

Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. - Clemens Fischer; Heike Wehrheim (Bull. EATCS, 2000)

Data Abstraction Techniques in the Validation of CSP-OZ Specifications. - Heike Wehrheim (Formal Aspects Comput., 2000)

A CSP View on UML-RT Structure Diagrams. - Clemens Fischer; Ernst-Rüdiger Olderog; Heike Wehrheim (FASE, 2001)

Patterns and Rules for Behavioural Subtyping. - Heike Wehrheim (FORTE, 2001)

Process algebra with action dependencies. - Arend Rensink; Heike Wehrheim (Acta Informatica, 2001)

Jass - Java with Assertions. - Detlef Bartetzko; Clemens Fischer; Michael Möller 002; Heike Wehrheim (RV@CAV, 2001)

Specification and Inheritance in CSP-OZ. - Ernst-Rüdiger Olderog; Heike Wehrheim (FMCO, 2002)

Checking Behavioural Subtypes via Refinement. - Heike Wehrheim (FMOODS, 2002)

Relating State-based and Behaviour-oriented Subtyping. - Heike Wehrheim (Nord. J. Comput., 2002)

Preserving Properties Under Change. - Heike Wehrheim (FMCO, 2003)

Checking Consistency in UML Diagramms: Classes and State Machines. - Holger Rasch; Heike Wehrheim (FMOODS, 2003)

Inheritance of Temporal Logic Properties. - Heike Wehrheim (FMOODS, 2003)

Using Coupled Simulations in Non-atomic Refinement. - John Derrick; Heike Wehrheim (ZB, 2003)

Behavioral Subtyping Relations for Active Objects. - Heike Wehrheim (Formal Methods Syst. Des., 2003)

Refinement and Consistency in Multiview Models. - Heike Wehrheim (Language Engineering for Model-Driven Software Development, 2004)

Refinement and Consistency in Component Models with Multiple Views. - Heike Wehrheim (Architecting Systems with Trustworthy Components, 2004)

Linking CSP-OZ with UML and Java: A Case Study. - Michael Möller 002; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim (IFM, 2004)

Checking the Validity of Scenarios in UML Models. - Holger Rasch; Heike Wehrheim (FMOODS, 2005)

Slicing an Integrated Formal Method for Verification. - Ingo Brückner; Heike Wehrheim (ICFEM, 2005)

Slicing Object-Z Specifications for Verification. - Ingo Brückner; Heike Wehrheim (ZB, 2005)

Non-atomic Refinement in Z and CSP. - John Derrick; Heike Wehrheim (ZB, 2005)

Specification and (property) inheritance in CSP-OZ. - Ernst-Rüdiger Olderog; Heike Wehrheim (Sci. Comput. Program., 2005)

Slicing techniques for verification re-use. - Heike Wehrheim (Theor. Comput. Sci., 2005)

Model Transformations Incorporating Multiple Views. - John Derrick; Heike Wehrheim (AMAST, 2006)

Incremental Slicing. - Heike Wehrheim (ICFEM, 2006)

Modelchecking Correctness of Refactorings - Some Experiments. - H.-Christian Estler; Thomas Ruhroth; Heike Wehrheim (Refine@ICFEM, 2006)

Extending a Component Specification Language with Time. - Björn Metzler 001; Heike Wehrheim (FESCA@ETAPS, 2006)

Optimizing Slicing of Formal Specifications by Deductive Verification. - Ingo Brückner; Björn Metzler 001; Heike Wehrheim (Nord. J. Comput., 2006)

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. - Gregor Engels; Baris Güldali; Christian Soltenborn; Heike Wehrheim (AGTIVE, 2007)

Analysis of UML Activities Using Dynamic Meta Modeling. - Gregor Engels; Christian Soltenborn; Heike Wehrheim (FMOODS, 2007)

Refactoring Object-Oriented Specifications with Data and Processes. - Thomas Ruhroth; Heike Wehrheim (FMOODS, 2007)

The Challenges of Building Advanced Mechatronic Systems. - Wilhelm Schäfer; Heike Wehrheim (FOSE, 2007)

Proving Linearizability Via Non-atomic Refinement. - John Derrick; Gerhard Schellhorn; Heike Wehrheim (IFM, 2007)

On using data abstractions for model checking refinements. - John Derrick; Heike Wehrheim (Acta Informatica, 2007)

Refinement in the Presence of Unknowns. - Heike Wehrheim (REFINE@IFM, 2007)

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. - Gregor Engels; Anneke Kleppe; Arend Rensink; Maria Semenyak; Christian Soltenborn; Heike Wehrheim (ECMDA-FA, 2008)

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. - John Derrick; Gerhard Schellhorn; Heike Wehrheim (FMOODS, 2008)

Decomposition for Compositional Verification. - Björn Metzler 001; Heike Wehrheim; Daniel Wonisch (ICFEM, 2008)

Bounded Model Checking for Partial Kripke Structures. - Heike Wehrheim (ICTAC, 2008)

Alloy as a Refactoring Checker? - H.-Christian Estler; Heike Wehrheim (Refine@FM, 2008)

Compositional CSP Traces Refinement Checking. - Heike Wehrheim; Daniel Wonisch (AVoCS, 2008)

Integrating a formal method into a software engineering process with UML and Java. - Michael Möller 002; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim (Formal Aspects Comput., 2008)

Slicing Abstractions. - Ingo Brückner; Klaus Dräger; Bernd Finkbeiner; Heike Wehrheim (Fundam. Informaticae, 2008)

Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. - Thomas Ruhroth; Hendrik Voigt; Heike Wehrheim (EUROMICRO-SEAA, 2009)

Three-Valued Spotlight Abstractions. - Jonas Schrieb; Heike Wehrheim; Daniel Wonisch (FM, 2009)

Refinement-Preserving Co-evolution. - Thomas Ruhroth; Heike Wehrheim (ICFEM, 2009)

Static Class Elements for Object-Z. - Thomas Ruhroth; Heike Wehrheim (REFINE@FMWeek, 2009)

Model-Driven Development with Mechatronic UML. - Wilhelm Schäfer; Heike Wehrheim (Graph Transformations and Model-Driven Engineering, 2010)

On Symmetries and Spotlights - Verifying Parameterised Systems. - Nils Timm; Heike Wehrheim (ICFEM, 2010)

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. - Mathias Hülsbusch; Barbara König 001; Arend Rensink; Maria Semenyak; Christian Soltenborn; Heike Wehrheim (IFM, 2010)

A CSP Approach to Control in Event-B. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (IFM, 2010)

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. - Klaus Dräger; Andrey Kupriyanov; Bernd Finkbeiner; Heike Wehrheim (TACAS, 2010)

Towards A Shape Analysis for Graph Transformation Systems - Dominik Steenken; Heike Wehrheim; Daniel Wonisch (CoRR, 2010)

Model transformations across views. - John Derrick; Heike Wehrheim (Sci. Comput. Program., 2010)

ReL: A Generic Refactoring Language for Specification and Execution. - Thomas Ruhroth; Heike Wehrheim; Steffen Ziegert (EUROMICRO-SEAA, 2011)

Verifying Linearisability with Potential Linearisation Points. - John Derrick; Gerhard Schellhorn; Heike Wehrheim (FM, 2011)

Sound and Complete Abstract Graph Transformation. - Dominik Steenken; Heike Wehrheim; Daniel Wonisch (SBMF, 2011)

A CSP Account of Event-B Refinement - Steve A. Schneider; Helen Treharne; Heike Wehrheim (Refine@FM, 2011)

Reputation-based Reliability Prediction of Service Compositions. - Galina Besova; Heike Wehrheim; Annika Wagner (FESCA@ETAPS, 2011)

Bounded Retransmission in Event-B∥CSP: a Case Study. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (B@FM, 2011)

Selected papers on Integrated Formal Methods (iFM09). - Michael Leuschel; Heike Wehrheim (Sci. Comput. Program., 2011)

Mechanically verified proof obligations for linearizability. - John Derrick; Gerhard Schellhorn; Heike Wehrheim (ACM Trans. Program. Lang. Syst., 2011)

How to Prove Algorithms Linearisable. - Gerhard Schellhorn; Heike Wehrheim; John Derrick (CAV, 2012)

Heuristic-Guided Abstraction Refinement for Concurrent Systems. - Nils Timm; Heike Wehrheim; Mike Czech (ICFEM, 2012)

Predicate Analysis with Block-Abstraction Memoization. - Daniel Wonisch; Heike Wehrheim (ICFEM, 2012)

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. - Galina Besova; Sven Walther; Heike Wehrheim; Steffen Becker 001 (MoDELS, 2012)

Proving Linearizability of Multiset with Local Proof Obligations. - Oleg Travkin; Heike Wehrheim; Gerhard Schellhorn (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Model evolution and refinement. - Thomas Ruhroth; Heike Wehrheim (Sci. Comput. Program., 2012)

Programs from Proofs - A PCC Alternative. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (CAV, 2013)

Bounded Model Checking of Graph Transformation Systems via SMT Solving. - Tobias Isenberg 002; Dominik Steenken; Heike Wehrheim (FMOODS/FORTE, 2013)

SPIN as a Linearizability Checker under Weak Memory Models. - Oleg Travkin; Annika Mütze; Heike Wehrheim (Haifa Verification Conference, 2013)

Knowledge-Based Verification of Service Compositions - An SMT Approach. - Sven Walther; Heike Wehrheim (ICECCS, 2013)

A High-Level Semantics for Program Execution under Total Store Order Memory. - Brijesh Dongol; Oleg Travkin; John Derrick; Heike Wehrheim (ICTAC, 2013)

Temporal Reconfiguration Plans for Self-Adaptive Systems. - Steffen Ziegert; Heike Wehrheim (Software Engineering, 2013)

Zero Overhead Runtime Monitoring. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (SEFM, 2013)

Verified Service Compositions by Template-Based Construction. - Sven Walther; Heike Wehrheim (FACS, 2014)

Grammar-Based Model Transformations. - Galina Besova; Dominik Steenken; Heike Wehrheim (FedCSIS, 2014)

Quiescent Consistency: Defining and Verifying Relaxed Linearizability. - John Derrick; Brijesh Dongol; Gerhard Schellhorn; Bogdan Tofan; Oleg Travkin; Heike Wehrheim (FM, 2014)

Handling TSO in Mechanized Linearizability Proofs. - Oleg Travkin; Heike Wehrheim (Haifa Verification Conference, 2014)

Timed Automata Verification via IC3 with Zones. - Tobias Isenberg 002; Heike Wehrheim (ICFEM, 2014)

Integrating Software and Hardware Verification. - Marie-Christine Jakobs; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IFM, 2014)

Managing LTL Properties in Event-B Refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim; David M. Williams (IFM, 2014)

Programs from Proofs - Approach and Applications. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (Software Engineering, 2014)

Certification for configurable program analysis. - Marie-Christine Jakobs; Heike Wehrheim (SPIN, 2014)

Proof-Carrying Hardware via IC3. - Tobias Isenberg 002; Heike Wehrheim (CoRR, 2014)

The behavioural semantics of Event-B refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (Formal Aspects Comput., 2014)

Two approaches for proving linearizability of multiset. - Bogdan Tofan; Oleg Travkin; Gerhard Schellhorn; Heike Wehrheim (Sci. Comput. Program., 2014)

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. - Gerhard Schellhorn; John Derrick; Heike Wehrheim (ACM Trans. Comput. Log., 2014)

From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog. - Roland Meyer 001; Heike Wehrheim (Correct System Design, 2015)

Verifying Opacity of a Transactional Mutex Lock. - John Derrick; Brijesh Dongol; Gerhard Schellhorn; Oleg Travkin; Heike Wehrheim (FM, 2015)

TSO to SC via Symbolic Execution. - Heike Wehrheim; Oleg Travkin (Haifa Verification Conference, 2015)

Programs from proofs of predicated dataflow analyses. - Marie-Christine Jakobs; Heike Wehrheim (SAC, 2015)

Grammar-based model transformations: Definition, execution, and quality properties. - Galina Besova; Dominik Steenken; Heike Wehrheim (Comput. Lang. Syst. Struct., 2015)

Temporal plans for software architecture reconfiguration. - Steffen Ziegert; Heike Wehrheim (Comput. Sci. Res. Dev., 2015)

A Short Survey on Using Software Error Localization for Service Compositions. - Julia Krämer; Heike Wehrheim (ESOCC, 2016)

Verification of AUTOSAR Software Architectures with Timed Automata. - Steffen Beringer; Heike Wehrheim (FMICS-AVoCS, 2016)

A CEGAR Scheme for Information Flow Analysis. - Manuel Töws; Heike Wehrheim (ICFEM, 2016)

Verification of Concurrent Programs on Weak Memory Models. - Oleg Travkin; Heike Wehrheim (ICTAC, 2016)

Towards a Thread-Local Proof Technique for Starvation Freedom. - Gerhard Schellhorn; Oleg Travkin; Heike Wehrheim (IFM, 2016)

Proving Opacity of a Pessimistic STM. - Simon Doherty; Brijesh Dongol; John Derrick; Gerhard Schellhorn; Heike Wehrheim (OPODIS, 2016)

Just test what you cannot verify! - Mike Czech; Marie-Christine Jakobs; Heike Wehrheim (Software Engineering, 2016)

A Formal Approach to Error Localization and Correction in Service Compositions. - Julia Krämer; Heike Wehrheim (STAF Workshops, 2016)

Deriving approximation tolerance constraints from verification runs. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (CoRR, 2016)

On-the-fly construction of provably correct service compositions - templates and proofs. - Sven Walther; Heike Wehrheim (Sci. Comput. Program., 2016)

Fault Localization in Service Compositions. - Heike Wehrheim (FACS, 2017)

Policy Dependent and Independent Information Flow Analyses. - Manuel Töws; Heike Wehrheim (ICFEM, 2017)

Value-Based or Conflict-Based? Opacity Definitions for STMs. - Jürgen König; Heike Wehrheim (ICTAC, 2017)

Compact Proof Witnesses. - Marie-Christine Jakobs; Heike Wehrheim (NFM, 2017)

Predicting rankings of software verification tools. - Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (SWAN@ESEC/SIGSOFT FSE, 2017)

Predicting Rankings of Software Verification Competitions. - Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (CoRR, 2017)

Proof-Carrying Hardware via Inductive Invariants. - Tobias Isenberg 002; Marco Platzner; Heike Wehrheim; Tobias Wiersema (ACM Trans. Design Autom. Electr. Syst., 2017)

Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. - Marie-Christine Jakobs; Heike Wehrheim (ACM Trans. Program. Lang. Syst., 2017)

Reducer-based construction of conditional verifiers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2018)

Information Flow Certificates. - Manuel Töws; Heike Wehrheim (ICTAC, 2018)

Making Linearizability Compositional for Partially Ordered Executions. - Simon Doherty; Brijesh Dongol; Heike Wehrheim; John Derrick (IFM, 2018)

JMCTest: Automatically Testing Inter-Method Contracts in Java. - Paul Börding; Jan Haltermann; Marie-Christine Jakobs; Heike Wehrheim (ICTSS, 2018)

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. - Gerhard Schellhorn; Monika Wedel; Oleg Travkin; Jürgen König; Heike Wehrheim (SEFM, 2018)

Do Android taint analysis tools keep their promises? - Felix Pauck; Eric Bodden; Heike Wehrheim (ESEC/SIGSOFT FSE, 2018)

Brief Announcement: Generalising Concurrent Correctness to Weak Memory. - Simon Doherty; Brijesh Dongol; Heike Wehrheim; John Derrick (DISC, 2018)

Causal Linearizability: Compositionality for Partially Ordered Executions. - Simon Doherty; John Derrick; Brijesh Dongol; Heike Wehrheim (CoRR, 2018)

Validity of Software Verification Results on Approximate Hardware. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (IEEE Embed. Syst. Lett., 2018)

Mechanized proofs of opacity: a comparison of two techniques. - John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Oleg Travkin; Heike Wehrheim (Formal Aspects Comput., 2018)

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2018)

Verifying Correctness of Persistent Concurrent Data Structures. - John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (FM, 2019)

Testing Machine Learning Algorithms for Balanced Data Usage. - Arnab Sharma; Heike Wehrheim (ICST, 2019)

Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. - Stefan Schneider 008; Arnab Sharma; Holger Karl; Heike Wehrheim (IM, 2019)

Data Independence for Software Transactional Memory. - Jürgen König; Heike Wehrheim (NFM, 2019)

Verifying C11 programs operationally. - Simon Doherty; Brijesh Dongol; Heike Wehrheim; John Derrick (PPoPP, 2019)

Combining Verifiers in Conditional Model Checking via Reducers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (SE/SWM, 2019)

Testing Balancedness of ML Algorithms. - Arnab Sharma; Heike Wehrheim (SE/SWM, 2019)

Together strong: cooperative Android app analysis. - Felix Pauck; Heike Wehrheim (ESEC/SIGSOFT FSE, 2019)

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). - Cedric Richter; Heike Wehrheim (TACAS (3), 2019)

When Are Software Verification Results Valid for Approximate Hardware? - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (TAP@FM, 2019)

Editorial. - Martin Fränzle; Deepak Kapur; Heike Wehrheim; Naijun Zhan (Formal Aspects Comput., 2019)

Editorial. - Alessandra Russo; Andy Schürr; Heike Wehrheim (Formal Aspects Comput., 2019)

Owicki-Gries Reasoning for C11 RAR. - Sadegh Dalvandi; Simon Doherty; Brijesh Dongol; Heike Wehrheim (ECOOP, 2020)

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. - Eleni Bila; Simon Doherty; Brijesh Dongol; John Derrick; Gerhard Schellhorn; Heike Wehrheim (FORTE, 2020)

Consistency Analysis of AUTOSAR Timing Requirements. - Steffen Beringer; Heike Wehrheim (ICSOFT, 2020)

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. - Dirk Beyer 001; Heike Wehrheim (ISoLA (1), 2020)

Higher income, larger loan? monotonicity testing of machine learning models. - Arnab Sharma; Heike Wehrheim (ISSTA, 2020)

Attend and Represent: A Novel View on Algorithm Selection for Software Verification. - Cedric Richter; Heike Wehrheim (ASE, 2020)

Automatic Fairness Testing of Machine Learning Models. - Arnab Sharma; Heike Wehrheim (ICTSS, 2020)

Reproducing Taint-Analysis Results with ReproDroid. - Felix Pauck; Eric Bodden; Heike Wehrheim (SE, 2020)

Algorithm selection for software validation based on graph kernels. - Cedric Richter; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (Autom. Softw. Eng., 2020)

A Case for a New IT Ecosystem: On-The-Fly Computing. - Holger Karl; Dennis Kundisch; Friedhelm Meyer auf der Heide; Heike Wehrheim (Bus. Inf. Syst. Eng., 2020)

Testing Monotonicity of Machine Learning Models. - Arnab Sharma; Heike Wehrheim (CoRR, 2020)

Cooperative Verification via Collective Invariant Generation. - Jan Haltermann; Heike Wehrheim (CoRR, 2020)

Owicki-Gries Reasoning for C11 RAR (Artifact). - Sadegh Dalvandi; Simon Doherty; Brijesh Dongol; Heike Wehrheim (Dagstuhl Artifacts Ser., 2020)

MLCHECK- Property-Driven Testing of Machine Learning Classifiers. - Arnab Sharma; Caglar Demir; Axel-Cyrille Ngonga Ngomo; Heike Wehrheim (ICMLA, 2021)

On the Correctness Problem for Serializability. - Jürgen König; Heike Wehrheim (ICTAC, 2021)

Jicer: Simplifying Cooperative Android App Analysis Tasks. - Felix Pauck; Heike Wehrheim (SCAM, 2021)

Cooperative Android App Analysis with CoDiDroid. - Felix Pauck; Heike Wehrheim (Software Engineering, 2021)

Brief Announcement: On Strong Observational Refinement and Forward Simulation. - John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (DISC, 2021)

Software/Hardware Co-Verification for Custom Instruction Set Processors. - Marie-Christine Jakobs; Felix Pauck; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IEEE Access, 2021)

MLCheck- Property-Driven Testing of Machine Learning Models. - Arnab Sharma; Caglar Demir; Axel-Cyrille Ngonga Ngomo; Heike Wehrheim (CoRR, 2021)

On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs. - Heike Wehrheim (CoRR, 2021)

DeepMutants: Training neural bug detectors with contextual mutations. - Cedric Richter; Heike Wehrheim (CoRR, 2021)

On Strong Observational Refinement and Forward Simulation. - John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (CoRR, 2021)

Editorial. - Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa; Heike Wehrheim (Formal Aspects Comput., 2021)

Editorial. - Jordi Cabot; Heike Wehrheim; Eerke A. Boiten (Formal Aspects Comput., 2021)

Verifying correctness of persistent concurrent data structures: a sound and complete method. - John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (Formal Aspects Comput., 2021)

Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR". - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. - Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (CONCUR, 2022)

Property-Driven Testing of Black-Box Functions. - Arnab Sharma; Vitalik Melnikov; Eyke Hüllermeier; Heike Wehrheim (FormaliSE@ICSE, 2022)

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2022)

Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. - Jan Haltermann; Heike Wehrheim (ICST, 2022)

Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. - Cedric Richter; Heike Wehrheim (ICST, 2022)

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (ASE, 2022)

TSSB-3M: Mining single statement bugs at massive scale. - Cedric Richter; Heike Wehrheim (MSR, 2022)

CoVEGI: Cooperative Verification via Externally Generated Invariants. - Jan Haltermann; Heike Wehrheim (Software Engineering, 2022)

Information Exchange Between Over- and Underapproximating Software Analyses. - Jan Haltermann; Heike Wehrheim (SEFM, 2022)

Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes. - Cedric Richter; Heike Wehrheim (CoRR, 2022)

Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version). - Heike Wehrheim; Lara Bargmann; Brijesh Dongol (CoRR, 2022)

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. - Sadegh Dalvandi; Brijesh Dongol; Simon Doherty; Heike Wehrheim (J. Autom. Reason., 2022)

Modularising Verification Of Durable Opacity. - Eleni Bila; John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (Log. Methods Comput. Sci., 2022)

Unifying Operational Weak Memory Verification: An Axiomatic Approach. - Simon Doherty; Sadegh Dalvandi; Brijesh Dongol; Heike Wehrheim (ACM Trans. Comput. Log., 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

CPAchecker Release 2.1.1 (unix). - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim; Philipp Wendler (Zenodo, 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory. - Ori Lahav 001; Brijesh Dongol; Heike Wehrheim (CAV (1), 2023)

Parallel Program Analysis via Range Splitting. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (FASE, 2023)

Reasoning About Promises in Weak Memory Models with Event Structures. - Heike Wehrheim; Lara Bargmann; Brijesh Dongol (FM, 2023)

Lifting the Reasoning Level in Generic Weak Memory Verification. - Lara Bargmann; Heike Wehrheim (iFM, 2023)

How to Train Your Neural Bug Detector: Artificial vs Real Bugs. - Cedric Richter; Heike Wehrheim (ASE, 2023)

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Software Engineering, 2023)

Jicer: Slicing Android Apps for Cooperative Analysis. - Felix Pauck; Heike Wehrheim (Software Engineering, 2023)

Variable Misuse Detection: Software Developers versus Neural Bug Detectors. - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (Software Engineering, 2023)

Property-Driven Black-Box Testing of Numeric Functions. - Arnab Sharma; Vitalik Melnikov; Eyke Hüllermeier; Heike Wehrheim (Software Engineering, 2023)

Robustness Testing of Software Verifiers. - Florian Dyck; Cedric Richter; Heike Wehrheim (SEFM, 2023)

Ranged Program Analysis via Instrumentation. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (SEFM, 2023)

Timeout Prediction for Software Analyses. - Nicola Thoben; Jan Haltermann; Heike Wehrheim (SEFM, 2023)

View-Based Axiomatic Reasoning for PSO. - Lara Bargmann; Heike Wehrheim (TASE, 2023)

View-Based Axiomatic Reasoning for PSO (Extended Version). - Lara Bargmann; Heike Wehrheim (CoRR, 2023)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version). - Ori Lahav 001; Brijesh Dongol; Heike Wehrheim (CoRR, 2023)

Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version). - Lara Bargmann; Heike Wehrheim (CoRR, 2023)

How to Train Your Neural Bug Detector: Artificial vs Real Bugs. - Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

Can ChatGPT support software verification? - Christian Janßen; Cedric Richter; Heike Wehrheim (FASE, 2024)

Unifying Weak Memory Verification Using Potentials. - Lara Bargmann; Brijesh Dongol; Heike Wehrheim (FM (1), 2024)

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Software Engineering, 2024)

On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors. - Cedric Richter; Heike Wehrheim (Software Engineering, 2024)

A Fully Verified Persistency Library. - Stefan Bodenmüller; John Derrick; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (VMCAI (2), 2024)

Parallel program analysis on path ranges. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Sci. Comput. Program., 2024)

A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency. - Brijesh Dongol; Ori Lahav 001; Heike Wehrheim (The Practice of Formal Methods (I), 2024)

Replication package for article 'Parallel Program Analysis on Path Ranges'. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. - Wolfgang Ahrendt; Frédéric Loulergue; Heike Wehrheim (Formal Aspects Comput., 2024)

Artifact for research regarding Ranged Program Analysis. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Exchanging information in cooperative software validation. - Jan Haltermann; Heike Wehrheim (Softw. Syst. Model., 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2024)

Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV. - Gerhard Schellhorn; Stefan Bodenmüller; Brijesh Dongol; Heike Wehrheim (Go Where the Bugs Are, 2025)

Detecting Redundant Preconditions. - Nicola Thoben; Heike Wehrheim (FormaliSE, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (ICSE, 2025)

View-based axiomatic reasoning for the weak memory models PSO and SRA. - Lara Bargmann; Heike Wehrheim (Sci. Comput. Program., 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

CSP Artifact for Model Checking Buffered Durable Linearizability. - Chelsea Edmonds; Brijesh Dongol; John Derrick; Heike Wehrheim; Gerhard Schellhorn (Zenodo, 2025)

CSP Artifact for Model Checking Buffered Durable Linearizability. - Chelsea Edmonds; Brijesh Dongol; John Derrick; Heike Wehrheim; Gerhard Schellhorn (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

CSP Artifact for Model Checking Buffered Durable Linearizability. - Chelsea Edmonds; Brijesh Dongol; John Derrick; Heike Wehrheim; Gerhard Schellhorn (Zenodo, 2025)