Heike Wehrheim

According to our database1, Heike Wehrheim
  • authored at least 127 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.
ACM Trans. Program. Lang. Syst., 2017

Proof-Carrying Hardware via Inductive Invariants.
ACM Trans. Design Autom. Electr. Syst., 2017

Predicting Rankings of Software Verification Competitions.
CoRR, 2017

Predicting rankings of software verification tools.
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, 2017

Compact Proof Witnesses.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016
On-the-fly construction of provably correct service compositions - templates and proofs.
Sci. Comput. Program., 2016

Deriving approximation tolerance constraints from verification runs.
CoRR, 2016

A Formal Approach to Error Localization and Correction in Service Compositions.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Just test what you cannot verify!
Proceedings of the Software Engineering 2016, 2016

Proving Opacity of a Pessimistic STM.
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Towards a Thread-Local Proof Technique for Starvation Freedom.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Verification of Concurrent Programs on Weak Memory Models.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A CEGAR Scheme for Information Flow Analysis.
Proceedings of the Formal Methods and Software Engineering, 2016

Verification of AUTOSAR Software Architectures with Timed Automata.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

A Short Survey on Using Software Error Localization for Service Compositions.
Proceedings of the Service-Oriented and Cloud Computing, 2016

2015
Temporal plans for software architecture reconfiguration.
Computer Science - R&D, 2015

Grammar-based model transformations: Definition, execution, and quality properties.
Computer Languages, Systems & Structures, 2015

Programs from proofs of predicated dataflow analyses.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

TSO to SC via Symbolic Execution.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Verifying Opacity of a Transactional Mutex Lock.
Proceedings of the FM 2015: Formal Methods, 2015

Just Test What You Cannot Verify!
Proceedings of the Fundamental Approaches to Software Engineering, 2015

From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog.
Proceedings of the Correct System Design, 2015

2014
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.
ACM Trans. Comput. Log., 2014

Two approaches for proving linearizability of multiset.
Sci. Comput. Program., 2014

The behavioural semantics of Event-B refinement.
Formal Asp. Comput., 2014

Managing LTL properties in Event-B refinement.
CoRR, 2014

Proof-Carrying Hardware via IC3.
CoRR, 2014

Certification for configurable program analysis.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Programs from Proofs - Approach and Applications.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Managing LTL Properties in Event-B Refinement.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Integrating Software and Hardware Verification.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Timed Automata Verification via IC3 with Zones.
Proceedings of the Formal Methods and Software Engineering, 2014

Handling TSO in Mechanized Linearizability Proofs.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Quiescent Consistency: Defining and Verifying Relaxed Linearizability.
Proceedings of the FM 2014: Formal Methods, 2014

Grammar-Based Model Transformations.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Verified Service Compositions by Template-Based Construction.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Zero Overhead Runtime Monitoring.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Temporal Reconfiguration Plans for Self-Adaptive Systems.
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A High-Level Semantics for Program Execution under Total Store Order Memory.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Knowledge-Based Verification of Service Compositions - An SMT Approach.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

SPIN as a Linearizability Checker under Weak Memory Models.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Bounded Model Checking of Graph Transformation Systems via SMT Solving.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Programs from Proofs - A PCC Alternative.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Model evolution and refinement.
Sci. Comput. Program., 2012

Proving Linearizability of Multiset with Local Proof Obligations.
ECEASST, 2012

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Predicate Analysis with Block-Abstraction Memoization.
Proceedings of the Formal Methods and Software Engineering, 2012

Heuristic-Guided Abstraction Refinement for Concurrent Systems.
Proceedings of the Formal Methods and Software Engineering, 2012

How to Prove Algorithms Linearisable.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Mechanically verified proof obligations for linearizability.
ACM Trans. Program. Lang. Syst., 2011

Selected papers on Integrated Formal Methods (iFM09).
Sci. Comput. Program., 2011

Bounded Retransmission in Event-B∥CSP: a Case Study.
Electr. Notes Theor. Comput. Sci., 2011

Reputation-based Reliability Prediction of Service Compositions.
Electr. Notes Theor. Comput. Sci., 2011

A CSP Account of Event-B Refinement
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Sound and Complete Abstract Graph Transformation.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Verifying Linearisability with Potential Linearisation Points.
Proceedings of the FM 2011: Formal Methods, 2011

ReL: A Generic Refactoring Language for Specification and Execution.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010
Model transformations across views.
Sci. Comput. Program., 2010

Towards A Shape Analysis for Graph Transformation Systems
CoRR, 2010

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A CSP Approach to Control in Event-B.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

On Symmetries and Spotlights - Verifying Parameterised Systems.
Proceedings of the Formal Methods and Software Engineering, 2010

Model-Driven Development with Mechatronic UML.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Compositional CSP Traces Refinement Checking.
Electr. Notes Theor. Comput. Sci., 2009

Static Class Elements for Object-Z.
Electr. Notes Theor. Comput. Sci., 2009

Refinement-Preserving Co-evolution.
Proceedings of the Formal Methods and Software Engineering, 2009

Three-Valued Spotlight Abstractions.
Proceedings of the FM 2009: Formal Methods, 2009

Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Slicing Abstractions.
Fundam. Inform., 2008

Integrating a formal method into a software engineering process with UML and Java.
Formal Asp. Comput., 2008

Refinement in the Presence of Unknowns.
Electr. Notes Theor. Comput. Sci., 2008

Alloy as a Refactoring Checker?
Electr. Notes Theor. Comput. Sci., 2008

Bounded Model Checking for Partial Kripke Structures.
Proceedings of the Theoretical Aspects of Computing, 2008

Decomposition for Compositional Verification.
Proceedings of the Formal Methods and Software Engineering, 2008

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.
Proceedings of the Model Driven Architecture, 2008

2007
Extending a Component Specification Language with Time.
Electr. Notes Theor. Comput. Sci., 2007

Modelchecking Correctness of Refactorings - Some Experiments.
Electr. Notes Theor. Comput. Sci., 2007

On using data abstractions for model checking refinements.
Acta Inf., 2007

Proving Linearizability Via Non-atomic Refinement.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

The Challenges of Building Advanced Mechatronic Systems.
Proceedings of the International Conference on Software Engineering, 2007

Slicing Abstractions.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Refactoring Object-Oriented Specifications with Data and Processes.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Analysis of UML Activities Using Dynamic Meta Modeling.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Optimizing Slicing of Formal Specifications by Deductive Verification.
Nord. J. Comput., 2006

Incremental Slicing.
Proceedings of the Formal Methods and Software Engineering, 2006

Model Transformations Incorporating Multiple Views.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Slicing techniques for verification re-use.
Theor. Comput. Sci., 2005

Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program., 2005

Non-atomic Refinement in Z and CSP.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Slicing Object-Z Specifications for Verification.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Slicing an Integrated Formal Method for Verification.
Proceedings of the Formal Methods and Software Engineering, 2005

Checking the Validity of Scenarios in UML Models.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Linking CSP-OZ with UML and Java: A Case Study.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Refinement and Consistency in Component Models with Multiple Views.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

Refinement and Consistency in Multiview Models.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

2003
Behavioral Subtyping Relations for Active Objects.
Formal Methods in System Design, 2003

Using Coupled Simulations in Non-atomic Refinement.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Inheritance of Temporal Logic Properties.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Checking Consistency in UML Diagramms: Classes and State Machines.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Preserving Properties Under Change.
Proceedings of the Formal Methods for Components and Objects, 2003

2002
Relating State-based and Behaviour-oriented Subtyping.
Nord. J. Comput., 2002

Checking Behavioural Subtypes via Refinement.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Specification and Inheritance in CSP-OZ.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Jass - Java with Assertions.
Electr. Notes Theor. Comput. Sci., 2001

Process algebra with action dependencies.
Acta Inf., 2001

Patterns and Rules for Behavioural Subtyping.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

A CSP View on UML-RT Structure Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Data Abstraction Techniques in the Validation of CSP-OZ Specifications.
Formal Asp. Comput., 2000

Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.
Bulletin of the EATCS, 2000

Behavioural Subtyping and Property Preservation.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

Behavioural Subtyping Relations for Object-Oriented Formalisms.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Partial order reductions for failures refinement.
Electr. Notes Theor. Comput. Sci., 1999

Model-Checking CSP-OZ Specifications with FDR.
Proceedings of the Integrated Formal Methods, 1999

Data Abstraction for CSP-OZ.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Partial Order Reductions for Bisimulation Checking.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

An Algebraic Semantics for Message Sequence Chart Documents.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997
Dependency-Based Action Refinement.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996
Specifying reactive systems with action dependencies: modelling and hierarchical design.
PhD thesis, 1996

Modelling Causality via Action Dependencies in Branching Time Semantics.
Inf. Process. Lett., 1996

Causal Testing.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994
Parametric Action Refinement.
Proceedings of the Programming Concepts, 1994

Weak Sequential Composition in Process Algebras.
Proceedings of the CONCUR '94, 1994


  Loading...