Heike Wehrheim

243 papers A* 8A 10B 39C 37Misc 2Journal 73Unranked 69
YearRankTypeTitle / Venue / Authors
2026 C ed.
Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
ICTAC
Zhiming Liu, Adnane Saoud, Heike Wehrheim
2026 J jnl
Towards Proving Liveness on Weak Memory (Extended Version).
CoRR
Lara Bargmann, Heike Wehrheim
2026 — conf
jMT: Testing Correctness of Java Memory Models.
TACAS (2)
Lukas Panneke, Heike Wehrheim
2025 J jnl
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
CoRR
Cedric Richter, Heike Wehrheim
2025 J jnl
Canonical Automata for Persistent Linearizability - A Corrigendum.
Formal Aspects Comput.
Heike Wehrheim
2025 A* conf
Cooperative Software Verification via Dynamic Program Splitting.
ICSE
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
2025 — conf
Detecting Redundant Preconditions.
FormaliSE
Nicola Thoben, Heike Wehrheim
2025 J jnl
Information Exchange in Software Verification (Dagstuhl Seminar 25172).
Dagstuhl Reports
Dirk Beyer, Marieke Huisman, Jan Strejcek, Heike Wehrheim
2025 — conf
Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV.
Go Where the Bugs Are
Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim
2025 B conf
Model Checking Buffered Durable Linearizability in CSP.
iFM
Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2025 J jnl
View-based axiomatic reasoning for the weak memory models PSO and SRA.
Sci. Comput. Program.
Lara Bargmann, Heike Wehrheim
2024 — conf
A Fully Verified Persistency Library.
VMCAI (2)
Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2024 — ch.
A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency.
The Practice of Formal Methods (I)
Brijesh Dongol, Ori Lahav, Heike Wehrheim
2024 B conf
Can ChatGPT support software verification?
FASE
Christian Janßen, Cedric Richter, Heike Wehrheim
2024 J jnl
Exchanging information in cooperative software validation.
Softw. Syst. Model.
Jan Haltermann, Heike Wehrheim
2024 J jnl
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021.
Formal Aspects Comput.
Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim
2024 C conf
On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors.
Software Engineering
Cedric Richter, Heike Wehrheim
2024 J jnl
Parallel Program Analysis on Path Ranges.
CoRR
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024 J jnl
Parallel program analysis on path ranges.
Sci. Comput. Program.
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024 C conf
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.
Software Engineering
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024 — conf
Unifying Weak Memory Verification Using Potentials.
FM (1)
Lara Bargmann, Brijesh Dongol, Heike Wehrheim
2023 J jnl
Can ChatGPT support software verification?
CoRR
Christian Janßen, Cedric Richter, Heike Wehrheim
2023 C conf
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.
Software Engineering
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
2023 A* conf
How to Train Your Neural Bug Detector: Artificial vs Real Bugs.
ASE
Cedric Richter, Heike Wehrheim
2023 C conf
Jicer: Slicing Android Apps for Cooperative Analysis.
Software Engineering
Felix Pauck, Heike Wehrheim
2023 J jnl
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version).
CoRR
Lara Bargmann, Heike Wehrheim
2023 B conf
Lifting the Reasoning Level in Generic Weak Memory Verification.
iFM
Lara Bargmann, Heike Wehrheim
2023 B conf
Parallel Program Analysis via Range Splitting.
FASE
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023 C conf
Property-Driven Black-Box Testing of Numeric Functions.
Software Engineering
Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim
2023 B conf
Ranged Program Analysis via Instrumentation.
SEFM
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023 B conf
Reasoning About Promises in Weak Memory Models with Event Structures.
FM
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
2023 J jnl
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version).
CoRR
Ori Lahav, Brijesh Dongol, Heike Wehrheim
2023 — conf
Rely-Guarantee Reasoning for Causally Consistent Shared Memory.
CAV (1)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
2023 B conf
Robustness Testing of Software Verifiers.
SEFM
Florian Dyck, Cedric Richter, Heike Wehrheim
2023 B conf
Timeout Prediction for Software Analyses.
SEFM
Nicola Thoben, Jan Haltermann, Heike Wehrheim
2023 C conf
Variable Misuse Detection: Software Developers versus Neural Bug Detectors.
Software Engineering
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
2023 J jnl
View-Based Axiomatic Reasoning for PSO (Extended Version).
CoRR
Lara Bargmann, Heike Wehrheim
2023 Misc conf
View-Based Axiomatic Reasoning for PSO.
TASE
Lara Bargmann, Heike Wehrheim
2022 A* conf
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
ASE
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
2022 J jnl
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes.
CoRR
Cedric Richter, Heike Wehrheim
2022 C conf
CoVEGI: Cooperative Verification via Externally Generated Invariants.
Software Engineering
Jan Haltermann, Heike Wehrheim
2022 A* conf
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.
ICSE
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
2022 B conf
Information Exchange Between Over- and Underapproximating Software Analyses.
SEFM
Jan Haltermann, Heike Wehrheim
2022 J jnl
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.
J. Autom. Reason.
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim
2022 A conf
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.
ICST
Cedric Richter, Heike Wehrheim
2022 A conf
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study.
ICST
Jan Haltermann, Heike Wehrheim
2022 J jnl
Modularising Verification Of Durable Opacity.
Log. Methods Comput. Sci.
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2022 — conf
Property-Driven Testing of Black-Box Functions.
FormaliSE@ICSE
Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim
2022 J jnl
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version).
CoRR
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
2022 A conf
TSSB-3M: Mining single statement bugs at massive scale.
MSR
Cedric Richter, Heike Wehrheim
2022 J jnl
TSSB-3M: Mining single statement bugs at massive scale.
CoRR
Cedric Richter, Heike Wehrheim
2022 J jnl
Unifying Operational Weak Memory Verification: An Axiomatic Approach.
ACM Trans. Comput. Log.
Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim
2022 B conf
Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.
CONCUR
Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2021 A conf
Brief Announcement: On Strong Observational Refinement and Forward Simulation.
DISC
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2021 B conf
CoVEGI: Cooperative Verification via Externally Generated Invariants.
FASE
Jan Haltermann, Heike Wehrheim
2021 C conf
Cooperative Android App Analysis with CoDiDroid.
Software Engineering
Felix Pauck, Heike Wehrheim
2021 J jnl
DeepMutants: Training neural bug detectors with contextual mutations.
CoRR
Cedric Richter, Heike Wehrheim
2021 J jnl
Editorial.
Formal Aspects Comput.
Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim
2021 J jnl
Editorial.
Formal Aspects Comput.
Jordi Cabot, Heike Wehrheim, Eerke A. Boiten
2021 C conf
Jicer: Simplifying Cooperative Android App Analysis Tasks.
SCAM
Felix Pauck, Heike Wehrheim
2021 C conf
MLCHECK- Property-Driven Testing of Machine Learning Classifiers.
ICMLA
Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim
2021 J jnl
MLCheck- Property-Driven Testing of Machine Learning Models.
CoRR
Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim
2021 J jnl
On Strong Observational Refinement and Forward Simulation.
CoRR
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2021 J jnl
On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs.
CoRR
Heike Wehrheim
2021 C conf
On the Correctness Problem for Serializability.
ICTAC
Jürgen König, Heike Wehrheim
2021 J jnl
Software/Hardware Co-Verification for Custom Instruction Set Processors.
IEEE Access
Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema
2021 J jnl
Verifying correctness of persistent concurrent data structures: a sound and complete method.
Formal Aspects Comput.
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2020 J jnl
A Case for a New IT Ecosystem: On-The-Fly Computing.
Bus. Inf. Syst. Eng.
Holger Karl, Dennis Kundisch, Friedhelm Meyer auf der Heide, Heike Wehrheim
2020 J jnl
Algorithm selection for software validation based on graph kernels.
Autom. Softw. Eng.
Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2020 A* conf
Attend and Represent: A Novel View on Algorithm Selection for Software Verification.
ASE
Cedric Richter, Heike Wehrheim
2020 C conf
Automatic Fairness Testing of Machine Learning Models.
ICTSS
Arnab Sharma, Heike Wehrheim
2020 C conf
Consistency Analysis of AUTOSAR Timing Requirements.
ICSOFT
Steffen Beringer, Heike Wehrheim
2020 J jnl
Cooperative Verification via Collective Invariant Generation.
CoRR
Jan Haltermann, Heike Wehrheim
2020 C conf
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
FORTE
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2020 J jnl
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
CoRR
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2020 B ed.
Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
FASE
Heike Wehrheim, Jordi Cabot
2020 A conf
Higher income, larger loan? monotonicity testing of machine learning models.
ISSTA
Arnab Sharma, Heike Wehrheim
2020 J jnl
Modularising Verification Of Durable Opacity.
CoRR
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2020 J jnl
Owicki-Gries Reasoning for C11 RAR (Artifact).
Dagstuhl Artifacts Ser.
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
2020 A conf
Owicki-Gries Reasoning for C11 RAR.
ECOOP
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
2020 — conf
Reproducing Taint-Analysis Results with ReproDroid.
SE
Felix Pauck, Eric Bodden, Heike Wehrheim
2020 J jnl
Testing Monotonicity of Machine Learning Models.
CoRR
Arnab Sharma, Heike Wehrheim
2020 — ed.
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
TAP@STAF
Wolfgang Ahrendt, Heike Wehrheim
2020 — conf
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
ISoLA (1)
Dirk Beyer, Heike Wehrheim
2019 — conf
Combining Verifiers in Conditional Model Checking via Reducers.
SE/SWM
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2019 — conf
Data Independence for Software Transactional Memory.
NFM
Jürgen König, Heike Wehrheim
2019 J jnl
Editorial.
Formal Aspects Comput.
Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
2019 J jnl
Editorial.
Formal Aspects Comput.
Alessandra Russo, Andy Schürr, Heike Wehrheim
2019 — conf
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).
TACAS (3)
Cedric Richter, Heike Wehrheim
2019 B conf
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.
IM
Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim
2019 — conf
Testing Balancedness of ML Algorithms.
SE/SWM
Arnab Sharma, Heike Wehrheim
2019 A conf
Testing Machine Learning Algorithms for Balanced Data Usage.
ICST
Arnab Sharma, Heike Wehrheim
2019 — conf
Together strong: cooperative Android app analysis.
ESEC/SIGSOFT FSE
Felix Pauck, Heike Wehrheim
2019 J jnl
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
CoRR
Dirk Beyer, Heike Wehrheim
2019 B conf
Verifying C11 programs operationally.
PPoPP
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2019 B conf
Verifying Correctness of Persistent Concurrent Data Structures.
FM
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2019 — conf
When Are Software Verification Results Valid for Approximate Hardware?
TAP@FM
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
2018 A conf
Brief Announcement: Generalising Concurrent Correctness to Weak Memory.
DISC
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2018 J jnl
Causal Linearizability: Compositionality for Partially Ordered Executions.
CoRR
Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim
2018 J jnl
Do Android Taint Analysis Tools Keep their Promises?
CoRR
Felix Pauck, Eric Bodden, Heike Wehrheim
2018 — conf
Do Android taint analysis tools keep their promises?
ESEC/SIGSOFT FSE
Felix Pauck, Eric Bodden, Heike Wehrheim
2018 B conf
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.
SEFM
Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim
2018 C conf
Information Flow Certificates.
ICTAC
Manuel Töws, Heike Wehrheim
2018 C conf
JMCTest: Automatically Testing Inter-Method Contracts in Java.
ICTSS
Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
2018 B conf
Making Linearizability Compositional for Partially Ordered Executions.
IFM
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2018 J jnl
Mechanized proofs of opacity: a comparison of two techniques.
Formal Aspects Comput.
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
2018 A* conf
Reducer-based construction of conditional verifiers.
ICSE
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2018 J jnl
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.
CoRR
Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim
2018 J jnl
Validity of Software Verification Results on Approximate Hardware.
IEEE Embed. Syst. Lett.
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
2018 J jnl
Verifying C11 Programs Operationally.
CoRR
Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
2017 — conf
Compact Proof Witnesses.
NFM
Marie-Christine Jakobs, Heike Wehrheim
2017 — conf
Fault Localization in Service Compositions.
FACS
Heike Wehrheim
2017 C conf
Policy Dependent and Independent Information Flow Analyses.
ICFEM
Manuel Töws, Heike Wehrheim
2017 J jnl
Predicting Rankings of Software Verification Competitions.
CoRR
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2017 — conf
Predicting rankings of software verification tools.
SWAN@ESEC/SIGSOFT FSE
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2017 J jnl
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.
ACM Trans. Program. Lang. Syst.
Marie-Christine Jakobs, Heike Wehrheim
2017 J jnl
Proof-Carrying Hardware via Inductive Invariants.
ACM Trans. Design Autom. Electr. Syst.
Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema
2017 C conf
Value-Based or Conflict-Based? Opacity Definitions for STMs.
ICTAC
Jürgen König, Heike Wehrheim
2016 C conf
A CEGAR Scheme for Information Flow Analysis.
ICFEM
Manuel Töws, Heike Wehrheim
2016 — conf
A Formal Approach to Error Localization and Correction in Service Compositions.
STAF Workshops
Julia Krämer, Heike Wehrheim
2016 — conf
A Short Survey on Using Software Error Localization for Service Compositions.
ESOCC
Julia Krämer, Heike Wehrheim
2016 J jnl
Deriving approximation tolerance constraints from verification runs.
CoRR
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
2016 C conf
Just test what you cannot verify!
Software Engineering
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
2016 J jnl
On-the-fly construction of provably correct service compositions - templates and proofs.
Sci. Comput. Program.
Sven Walther, Heike Wehrheim
2016 B conf
Proving Opacity of a Pessimistic STM.
OPODIS
Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2016 B conf
Towards a Thread-Local Proof Technique for Starvation Freedom.
IFM
Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
2016 — conf
Verification of AUTOSAR Software Architectures with Timed Automata.
FMICS-AVoCS
Steffen Beringer, Heike Wehrheim
2016 C conf
Verification of Concurrent Programs on Weak Memory Models.
ICTAC
Oleg Travkin, Heike Wehrheim
2015 — ed.
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Correct System Design
Roland Meyer, André Platzer, Heike Wehrheim
2015 — conf
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog.
Correct System Design
Roland Meyer, Heike Wehrheim
2015 J jnl
Grammar-based model transformations: Definition, execution, and quality properties.
Comput. Lang. Syst. Struct.
Galina Besova, Dominik Steenken, Heike Wehrheim
2015 B conf
Just Test What You Cannot Verify!
FASE
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
2015 Misc conf
Programs from proofs of predicated dataflow analyses.
SAC
Marie-Christine Jakobs, Heike Wehrheim
2015 — conf
TSO to SC via Symbolic Execution.
Haifa Verification Conference
Heike Wehrheim, Oleg Travkin
2015 J jnl
Temporal plans for software architecture reconfiguration.
Comput. Sci. Res. Dev.
Steffen Ziegert, Heike Wehrheim
2015 B conf
Verifying Opacity of a Transactional Mutex Lock.
FM
John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
2014 J jnl
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.
ACM Trans. Comput. Log.
Gerhard Schellhorn, John Derrick, Heike Wehrheim
2014 — conf
Certification for configurable program analysis.
SPIN
Marie-Christine Jakobs, Heike Wehrheim
2014 C conf
Grammar-Based Model Transformations.
FedCSIS
Galina Besova, Dominik Steenken, Heike Wehrheim
2014 — conf
Handling TSO in Mechanized Linearizability Proofs.
Haifa Verification Conference
Oleg Travkin, Heike Wehrheim
2014 B conf
Integrating Software and Hardware Verification.
IFM
Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema
2014 B conf
Managing LTL Properties in Event-B Refinement.
IFM
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
2014 J jnl
Managing LTL properties in Event-B refinement.
CoRR
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
2014 C conf
Programs from Proofs - Approach and Applications.
Software Engineering
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2014 J jnl
Proof-Carrying Hardware via IC3.
CoRR
Tobias Isenberg, Heike Wehrheim
2014 B conf
Quiescent Consistency: Defining and Verifying Relaxed Linearizability.
FM
John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
2014 J jnl
The behavioural semantics of Event-B refinement.
Formal Aspects Comput.
Steve A. Schneider, Helen Treharne, Heike Wehrheim
2014 C conf
Timed Automata Verification via IC3 with Zones.
ICFEM
Tobias Isenberg, Heike Wehrheim
2014 J jnl
Two approaches for proving linearizability of multiset.
Sci. Comput. Program.
Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim
2014 — conf
Verified Service Compositions by Template-Based Construction.
FACS
Sven Walther, Heike Wehrheim
2013 C conf
A High-Level Semantics for Program Execution under Total Store Order Memory.
ICTAC
Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim
2013 — conf
Bounded Model Checking of Graph Transformation Systems via SMT Solving.
FMOODS/FORTE
Tobias Isenberg, Dominik Steenken, Heike Wehrheim
2013 B conf
Knowledge-Based Verification of Service Compositions - An SMT Approach.
ICECCS
Sven Walther, Heike Wehrheim
2013 A* conf
Programs from Proofs - A PCC Alternative.
CAV
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2013 — conf
SPIN as a Linearizability Checker under Weak Memory Models.
Haifa Verification Conference
Oleg Travkin, Annika Mütze, Heike Wehrheim
2013 C conf
Temporal Reconfiguration Plans for Self-Adaptive Systems.
Software Engineering
Steffen Ziegert, Heike Wehrheim
2013 B conf
Zero Overhead Runtime Monitoring.
SEFM
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2012 C conf
Heuristic-Guided Abstraction Refinement for Concurrent Systems.
ICFEM
Nils Timm, Heike Wehrheim, Mike Czech
2012 A* conf
How to Prove Algorithms Linearisable.
CAV
Gerhard Schellhorn, Heike Wehrheim, John Derrick
2012 J jnl
Model evolution and refinement.
Sci. Comput. Program.
Thomas Ruhroth, Heike Wehrheim
2012 C conf
Predicate Analysis with Block-Abstraction Memoization.
ICFEM
Daniel Wonisch, Heike Wehrheim
2012 J jnl
Proving Linearizability of Multiset with Local Proof Obligations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn
2012 A conf
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems.
MoDELS
Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker
2011 — conf
A CSP Account of Event-B Refinement
Refine@FM
Steve A. Schneider, Helen Treharne, Heike Wehrheim
2011 — conf
Bounded Retransmission in Event-B∥CSP: a Case Study.
B@FM
Steve A. Schneider, Helen Treharne, Heike Wehrheim
2011 J jnl
Mechanically verified proof obligations for linearizability.
ACM Trans. Program. Lang. Syst.
John Derrick, Gerhard Schellhorn, Heike Wehrheim
2011 — conf
ReL: A Generic Refactoring Language for Specification and Execution.
EUROMICRO-SEAA
Thomas Ruhroth, Heike Wehrheim, Steffen Ziegert
2011 — conf
Reputation-based Reliability Prediction of Service Compositions.
FESCA@ETAPS
Galina Besova, Heike Wehrheim, Annika Wagner
2011 J jnl
Selected papers on Integrated Formal Methods (iFM09).
Sci. Comput. Program.
Michael Leuschel, Heike Wehrheim
2011 — conf
Sound and Complete Abstract Graph Transformation.
SBMF
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
2011 B conf
Verifying Linearisability with Potential Linearisation Points.
FM
John Derrick, Gerhard Schellhorn, Heike Wehrheim
2010 B conf
A CSP Approach to Control in Event-B.
IFM
Steve A. Schneider, Helen Treharne, Heike Wehrheim
2010 J jnl
Model transformations across views.
Sci. Comput. Program.
John Derrick, Heike Wehrheim
2010 — conf
Model-Driven Development with Mechatronic UML.
Graph Transformations and Model-Driven Engineering
Wilhelm Schäfer, Heike Wehrheim
2010 C conf
On Symmetries and Spotlights - Verifying Parameterised Systems.
ICFEM
Nils Timm, Heike Wehrheim
2010 A conf
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.
TACAS
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
2010 B conf
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
IFM
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
2010 J jnl
Towards A Shape Analysis for Graph Transformation Systems
CoRR
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
2009 B ed.
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
IFM
Michael Leuschel, Heike Wehrheim
2009 — conf
Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.
EUROMICRO-SEAA
Thomas Ruhroth, Hendrik Voigt, Heike Wehrheim
2009 C conf
Refinement-Preserving Co-evolution.
ICFEM
Thomas Ruhroth, Heike Wehrheim
2009 — conf
Static Class Elements for Object-Z.
REFINE@FMWeek
Thomas Ruhroth, Heike Wehrheim
2009 B conf
Three-Valued Spotlight Abstractions.
FM
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch
2008 — conf
Alloy as a Refactoring Checker?
Refine@FM
H.-Christian Estler, Heike Wehrheim
2008 C conf
Bounded Model Checking for Partial Kripke Structures.
ICTAC
Heike Wehrheim
2008 — conf
Compositional CSP Traces Refinement Checking.
AVoCS
Heike Wehrheim, Daniel Wonisch
2008 C conf
Decomposition for Compositional Verification.
ICFEM
Björn Metzler, Heike Wehrheim, Daniel Wonisch
2008 — conf
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.
ECMDA-FA
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
2008 J jnl
Integrating a formal method into a software engineering process with UML and Java.
Formal Aspects Comput.
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
2008 — conf
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
FMOODS
John Derrick, Gerhard Schellhorn, Heike Wehrheim
2008 J jnl
Slicing Abstractions.
Fundam. Informaticae
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
2007 — conf
Analysis of UML Activities Using Dynamic Meta Modeling.
FMOODS
Gregor Engels, Christian Soltenborn, Heike Wehrheim
2007 — conf
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.
AGTIVE
Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim
2007 J jnl
On using data abstractions for model checking refinements.
Acta Informatica
John Derrick, Heike Wehrheim
2007 B conf
Proving Linearizability Via Non-atomic Refinement.
IFM
John Derrick, Gerhard Schellhorn, Heike Wehrheim
2007 — conf
Refactoring Object-Oriented Specifications with Data and Processes.
FMOODS
Thomas Ruhroth, Heike Wehrheim
2007 — conf
Refinement in the Presence of Unknowns.
REFINE@IFM
Heike Wehrheim
2007 — conf
Slicing Abstractions.
FSEN
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
2007 — conf
The Challenges of Building Advanced Mechatronic Systems.
FOSE
Wilhelm Schäfer, Heike Wehrheim
2006 — conf
Extending a Component Specification Language with Time.
FESCA@ETAPS
Björn Metzler, Heike Wehrheim
2006 — ed.
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
FMOODS
Roberto Gorrieri, Heike Wehrheim
2006 C conf
Incremental Slicing.
ICFEM
Heike Wehrheim
2006 — conf
Model Transformations Incorporating Multiple Views.
AMAST
John Derrick, Heike Wehrheim
2006 — conf
Modelchecking Correctness of Refactorings - Some Experiments.
Refine@ICFEM
H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim
2006 J jnl
Optimizing Slicing of Formal Specifications by Deductive Verification.
Nord. J. Comput.
Ingo Brückner, Björn Metzler, Heike Wehrheim
2005 — conf
Checking the Validity of Scenarios in UML Models.
FMOODS
Holger Rasch, Heike Wehrheim
2005 — conf
Non-atomic Refinement in Z and CSP.
ZB
John Derrick, Heike Wehrheim
2005 — conf
Slicing Object-Z Specifications for Verification.
ZB
Ingo Brückner, Heike Wehrheim
2005 C conf
Slicing an Integrated Formal Method for Verification.
ICFEM
Ingo Brückner, Heike Wehrheim
2005 J jnl
Slicing techniques for verification re-use.
Theor. Comput. Sci.
Heike Wehrheim
2005 J jnl
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program.
Ernst-Rüdiger Olderog, Heike Wehrheim
2004 B conf
Linking CSP-OZ with UML and Java: A Case Study.
IFM
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
2004 — conf
Refinement and Consistency in Component Models with Multiple Views.
Architecting Systems with Trustworthy Components
Heike Wehrheim
2004 — conf
Refinement and Consistency in Multiview Models.
Language Engineering for Model-Driven Software Development
Heike Wehrheim
2003 J jnl
Behavioral Subtyping Relations for Active Objects.
Formal Methods Syst. Des.
Heike Wehrheim
2003 — conf
Checking Consistency in UML Diagramms: Classes and State Machines.
FMOODS
Holger Rasch, Heike Wehrheim
2003 — conf
Inheritance of Temporal Logic Properties.
FMOODS
Heike Wehrheim
2003 — conf
Preserving Properties Under Change.
FMCO
Heike Wehrheim
2003 — conf
Using Coupled Simulations in Non-atomic Refinement.
ZB
John Derrick, Heike Wehrheim
2002 — conf
Checking Behavioural Subtypes via Refinement.
FMOODS
Heike Wehrheim
2002 J jnl
Relating State-based and Behaviour-oriented Subtyping.
Nord. J. Comput.
Heike Wehrheim
2002 — conf
Specification and Inheritance in CSP-OZ.
FMCO
Ernst-Rüdiger Olderog, Heike Wehrheim
2001 B conf
A CSP View on UML-RT Structure Diagrams.
FASE
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
2001 — conf
Jass - Java with Assertions.
RV@CAV
Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
2001 C conf
Patterns and Rules for Behavioural Subtyping.
FORTE
Heike Wehrheim
2001 J jnl
Process algebra with action dependencies.
Acta Informatica
Arend Rensink, Heike Wehrheim
2000 — conf
Behavioural Subtyping Relations for Object-Oriented Formalisms.
AMAST
Clemens Fischer, Heike Wehrheim
2000 — conf
Behavioural Subtyping and Property Preservation.
FMOODS
Heike Wehrheim
2000 J jnl
Data Abstraction Techniques in the Validation of CSP-OZ Specifications.
Formal Aspects Comput.
Heike Wehrheim
2000 J jnl
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.
Bull. EATCS
Clemens Fischer, Heike Wehrheim
2000 B conf
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.
FASE
Heike Wehrheim
1999 — conf
Data Abstraction for CSP-OZ.
World Congress on Formal Methods
Heike Wehrheim
1999 B conf
Model-Checking CSP-OZ Specifications with FDR.
IFM
Clemens Fischer, Heike Wehrheim
1999 — conf
Partial order reductions for failures refinement.
EXPRESS
Heike Wehrheim
1998 — conf
A Process Algebra Semantics for MSC Including Conditions.
FBT
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
1998 C conf
An Algebraic Semantics for Message Sequence Chart Documents.
FORTE
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
1998 — conf
Partial Order Reductions for Bisimulation Checking.
FSTTCS
Michaela Huhn, Peter Niebert, Heike Wehrheim
1997 B conf
Dependency-Based Action Refinement.
MFCS
Arend Rensink, Heike Wehrheim
1996 B conf
Causal Testing.
MFCS
Ursula Goltz, Heike Wehrheim
1996 J jnl
Modelling Causality via Action Dependencies in Branching Time Semantics.
Inf. Process. Lett.
Ursula Goltz, Heike Wehrheim
1996 — —
Specifying reactive systems with action dependencies: modelling and hierarchical design.
Heike Wehrheim
1994 — conf
Parametric Action Refinement.
PROCOMET
Heike Wehrheim
1994 B conf
Weak Sequential Composition in Process Algebras.
CONCUR
Arend Rensink, Heike Wehrheim