| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Ruhroth, Heike Wehrheim |
Model evolution and refinement.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Heike Wehrheim |
Selected papers on Integrated Formal Methods (iFM09). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
Bounded Retransmission in Event-B∥CSP: a Case Study. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Besova, Heike Wehrheim, Annika Wagner |
Reputation-based Reliability Prediction of Service Compositions. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanically verified proof obligations for linearizability. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
A CSP Account of Event-B Refinement |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Steenken, Heike Wehrheim, Daniel Wonisch |
Sound and Complete Abstract Graph Transformation. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Verifying Linearisability with Potential Linearisation Points. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ruhroth, Heike Wehrheim, Steffen Ziegert |
ReL: A Generic Refactoring Language for Specification and Execution. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Model transformations across views. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Steenken, Heike Wehrheim, Daniel Wonisch |
Towards A Shape Analysis for Graph Transformation Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nils Timm, Heike Wehrheim |
On Symmetries and Spotlights - Verifying Parameterised Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
A CSP Approach to Control in Event-B. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilhelm Schäfer, Heike Wehrheim |
Model-Driven Development with Mechatronic UML. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim, Daniel Wonisch |
Compositional CSP Traces Refinement Checking. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ruhroth, Heike Wehrheim |
Static Class Elements for Object-Z. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ruhroth, Heike Wehrheim |
Refinement-Preserving Co-evolution. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Heike Wehrheim (eds.) |
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
Three-Valued Spotlight Abstractions. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ruhroth, Hendrik Voigt, Heike Wehrheim |
Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
| 1 | H.-Christian Estler, Heike Wehrheim |
Alloy as a Refactoring Checker? |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Refinement in the Presence of Unknowns. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim |
Slicing Abstractions. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
| 1 | Björn Metzler, Heike Wehrheim, Daniel Wonisch |
Decomposition for Compositional Verification. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Bounded Model Checking for Partial Kripke Structures. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
On using data abstractions for model checking refinements. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Metzler, Heike Wehrheim |
Extending a Component Specification Language with Time. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim |
Modelchecking Correctness of Refactorings - Some Experiments. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Engels, Christian Soltenborn, Heike Wehrheim |
Analysis of UML Activities Using Dynamic Meta Modeling. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
DMM, UML, verification, semantics, behavior |
| 1 | Thomas Ruhroth, Heike Wehrheim |
Refactoring Object-Oriented Specifications with Data and Processes. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim |
Slicing Abstractions. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
| 1 | Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim |
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
UML Activities, visual contracts, web services, Business processes, graph transformations |
| 1 | Wilhelm Schäfer, Heike Wehrheim |
The Challenges of Building Advanced Mechatronic Systems. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Brückner, Björn Metzler, Heike Wehrheim |
Optimizing Slicing of Formal Specifications by Deductive Verification. |
Nord. J. Comput. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roberto Gorrieri, Heike Wehrheim (eds.) |
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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Incremental Slicing. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Model Transformations Incorporating Multiple Views. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and (property) inheritance in CSP-OZ. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Slicing techniques for verification re-use. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Rasch, Heike Wehrheim |
Checking the Validity of Scenarios in UML Models. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Brückner, Heike Wehrheim |
Slicing an Integrated Formal Method for Verification. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Brückner, Heike Wehrheim |
Slicing Object-Z Specifications for Verification. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Non-atomic Refinement in Z and CSP. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Refinement and Consistency in Multiview Models. |
Language Engineering for Model-Driven Software Development |
2004 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Refinement and Consistency in Component Models with Multiple Views. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Linking CSP-OZ with UML and Java: A Case Study. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Java, UML, CSP, assertions, Object-Z, runtime checking |
| 1 | Heike Wehrheim |
Behavioral Subtyping Relations for Active Objects. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, CSP, behavioral subtyping |
| 1 | Holger Rasch, Heike Wehrheim |
Checking Consistency in UML Diagramms: Classes and State Machines. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Inheritance of Temporal Logic Properties. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Preserving Properties Under Change. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Heike Wehrheim |
Using Coupled Simulations in Non-atomic Refinement. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Non-atomic refinement, coupled simulations, Z, action refinement |
| 1 | Heike Wehrheim |
Relating State-based and Behaviour-oriented Subtyping. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Checking Behavioural Subtypes via Refinement. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and Inheritance in CSP-OZ. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR |
| 1 | Arend Rensink, Heike Wehrheim |
Process algebra with action dependencies. |
Acta Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim |
Jass - Java with Assertions. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Patterns and Rules for Behavioural Subtyping. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
A CSP View on UML-RT Structure Diagrams. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Data Abstraction Techniques in the Validation of CSP-OZ Specifications. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Integrated formal methods, CSP-OZ, Verification, Data abstraction |
| 1 | Clemens Fischer, Heike Wehrheim |
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Behavioural Subtyping and Property Preservation. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Clemens Fischer, Heike Wehrheim |
Behavioural Subtyping Relations for Object-Oriented Formalisms. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Partial order reductions for failures refinement. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Fischer, Heike Wehrheim |
Model-Checking CSP-OZ Specifications with FDR. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Data Abstraction for CSP-OZ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
An Algebraic Semantics for Message Sequence Chart Documents. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim |
A Process Algebra Semantics for MSC Including Conditions. |
FBT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michaela Huhn, Peter Niebert, Heike Wehrheim |
Partial Order Reductions for Bisimulation Checking. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Heike Wehrheim |
Dependency-Based Action Refinement. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Goltz, Heike Wehrheim |
Modelling Causality via Action Dependencies in Branching Time Semantics. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Goltz, Heike Wehrheim |
Causal Testing. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Heike Wehrheim |
Weak Sequential Composition in Process Algebras. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Parametric Action Refinement. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")