 | 2009 |
|---|
| 60 |       | Michael Leuschel,
Heike Wehrheim:
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Springer 2009 |
| 59 | | Jonas Schrieb,
Heike Wehrheim,
Daniel Wonisch:
Three-Valued Spotlight Abstractions.
FM 2009: 106-122 |
| 2008 |
|---|
| 58 | | 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: 94-109 |
| 57 | | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
FMOODS 2008: 78-95 |
| 56 | | Björn Metzler,
Heike Wehrheim,
Daniel Wonisch:
Decomposition for Compositional Verification.
ICFEM 2008: 105-125 |
| 55 | | Heike Wehrheim:
Bounded Model Checking for Partial Kripke Structures.
ICTAC 2008: 380-394 |
| 54 | | Heike Wehrheim:
Refinement in the Presence of Unknowns.
Electr. Notes Theor. Comput. Sci. 201: 255-264 (2008) |
| 53 | | H.-Christian Estler,
Heike Wehrheim:
Alloy as a Refactoring Checker?
Electr. Notes Theor. Comput. Sci. 214: 331-357 (2008) |
| 52 | | 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. 20(2): 161-204 (2008) |
| 51 | | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
Fundam. Inform. 89(4): 369-392 (2008) |
| 2007 |
|---|
| 50 | | Gregor Engels,
Baris Güldali,
Christian Soltenborn,
Heike Wehrheim:
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.
AGTIVE 2007: 17-31 |
| 49 | | Thomas Ruhroth,
Heike Wehrheim:
Refactoring Object-Oriented Specifications with Data and Processes.
FMOODS 2007: 236-251 |
| 48 | | Gregor Engels,
Christian Soltenborn,
Heike Wehrheim:
Analysis of UML Activities Using Dynamic Meta Modeling.
FMOODS 2007: 76-90 |
| 47 | | Wilhelm Schäfer,
Heike Wehrheim:
The Challenges of Building Advanced Mechatronic Systems.
FOSE 2007: 72-84 |
| 46 | | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
FSEN 2007: 17-32 |
| 45 | | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Proving Linearizability Via Non-atomic Refinement.
IFM 2007: 195-214 |
| 44 | | John Derrick,
Heike Wehrheim:
On using data abstractions for model checking refinements.
Acta Inf. 44(1): 41-71 (2007) |
| 43 | | Björn Metzler,
Heike Wehrheim:
Extending a Component Specification Language with Time.
Electr. Notes Theor. Comput. Sci. 176(2): 47-67 (2007) |
| 42 | | H.-Christian Estler,
Thomas Ruhroth,
Heike Wehrheim:
Modelchecking Correctness of Refactorings - Some Experiments.
Electr. Notes Theor. Comput. Sci. 187: 3-17 (2007) |
| 2006 |
|---|
| 41 |  | Roberto Gorrieri,
Heike Wehrheim:
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Springer 2006 |
| 40 | | John Derrick,
Heike Wehrheim:
Model Transformations Incorporating Multiple Views.
AMAST 2006: 111-126 |
| 39 | | Heike Wehrheim:
Incremental Slicing.
ICFEM 2006: 514-528 |
| 38 | | Ingo Brückner,
Björn Metzler,
Heike Wehrheim:
Optimizing Slicing of Formal Specifications by Deductive Verification.
Nord. J. Comput. 13(1-2): 22-45 (2006) |
| 2005 |
|---|
| 37 | | Holger Rasch,
Heike Wehrheim:
Checking the Validity of Scenarios in UML Models.
FMOODS 2005: 67-82 |
| 36 | | Ingo Brückner,
Heike Wehrheim:
Slicing an Integrated Formal Method for Verification.
ICFEM 2005: 360-374 |
| 35 | | John Derrick,
Heike Wehrheim:
Non-atomic Refinement in Z and CSP.
ZB 2005: 24-44 |
| 34 | | Ingo Brückner,
Heike Wehrheim:
Slicing Object-Z Specifications for Verification.
ZB 2005: 414-433 |
| 33 | | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program. 55(1-3): 227-257 (2005) |
| 32 | | Heike Wehrheim:
Slicing techniques for verification re-use.
Theor. Comput. Sci. 343(3): 509-528 (2005) |
| 2004 |
|---|
| 31 | | Heike Wehrheim:
Refinement and Consistency in Component Models with Multiple Views.
Architecting Systems with Trustworthy Components 2004: 84-102 |
| 30 | | Michael Möller,
Ernst-Rüdiger Olderog,
Holger Rasch,
Heike Wehrheim:
Linking CSP-OZ with UML and Java: A Case Study.
IFM 2004: 267-286 |
| 29 | | Heike Wehrheim:
Refinement and Consistency in Multiview Models.
Language Engineering for Model-Driven Software Development 2004 |
| 2003 |
|---|
| 28 | | Heike Wehrheim:
Preserving Properties Under Change.
FMCO 2003: 330-343 |
| 27 | | Holger Rasch,
Heike Wehrheim:
Checking Consistency in UML Diagramms: Classes and State Machines.
FMOODS 2003: 229-243 |
| 26 | | Heike Wehrheim:
Inheritance of Temporal Logic Properties.
FMOODS 2003: 79-93 |
| 25 | | John Derrick,
Heike Wehrheim:
Using Coupled Simulations in Non-atomic Refinement.
ZB 2003: 127-147 |
| 24 | | Heike Wehrheim:
Behavioral Subtyping Relations for Active Objects.
Formal Methods in System Design 23(2): 143-170 (2003) |
| 2002 |
|---|
| 23 | | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and Inheritance in CSP-OZ.
FMCO 2002: 361-379 |
| 22 | | Heike Wehrheim:
Checking Behavioural Subtypes via Refinement.
FMOODS 2002: 79-93 |
| 21 | | Heike Wehrheim:
Relating State-based and Behaviour-oriented Subtyping.
Nord. J. Comput. 9(4): 405-435 (2002) |
| 2001 |
|---|
| 20 | | Clemens Fischer,
Ernst-Rüdiger Olderog,
Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams.
FASE 2001: 91-108 |
| 19 | | Heike Wehrheim:
Patterns and Rules for Behavioural Subtyping.
FORTE 2001: 335-352 |
| 18 | | Arend Rensink,
Heike Wehrheim:
Process algebra with action dependencies.
Acta Inf. 38(3): 155-234 (2001) |
| 17 | | Detlef Bartetzko,
Clemens Fischer,
Michael Möller,
Heike Wehrheim:
Jass - Java with Assertions.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
| 2000 |
|---|
| 16 | | Clemens Fischer,
Heike Wehrheim:
Behavioural Subtyping Relations for Object-Oriented Formalisms.
AMAST 2000: 469-483 |
| 15 | | Heike Wehrheim:
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.
FASE 2000: 334-348 |
| 14 | | Heike Wehrheim:
Behavioural Subtyping and Property Preservation.
FMOODS 2000: 213-232 |
| 13 | | Clemens Fischer,
Heike Wehrheim:
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.
Bulletin of the EATCS 71: 92-101 (2000) |
| 12 | | Heike Wehrheim:
Data Abstraction Techniques in the Validation of CSP-OZ Specifications.
Formal Asp. Comput. 12(3): 147-164 (2000) |
| 1999 |
|---|
| 11 | | Clemens Fischer,
Heike Wehrheim:
Model-Checking CSP-OZ Specifications with FDR.
IFM 1999: 315-334 |
| 10 | | Heike Wehrheim:
Data Abstraction for CSP-OZ.
World Congress on Formal Methods 1999: 1028-1047 |
| 9 | | Heike Wehrheim:
Partial order reductions for failures refinement.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
| 1998 |
|---|
| 8 | | Thomas Gehrke,
Michaela Huhn,
Peter Niebert,
Arend Rensink,
Heike Wehrheim:
A Process Algebra Semantics for MSC Including Conditions.
FBT 1998: 185-196 |
| 7 | | Thomas Gehrke,
Michaela Huhn,
Arend Rensink,
Heike Wehrheim:
An Algebraic Semantics for Message Sequence Chart Documents.
FORTE 1998: 3-18 |
| 6 | | Michaela Huhn,
Peter Niebert,
Heike Wehrheim:
Partial Order Reductions for Bisimulation Checking.
FSTTCS 1998: 271-282 |
| 1997 |
|---|
| 5 | | Arend Rensink,
Heike Wehrheim:
Dependency-Based Action Refinement.
MFCS 1997: 468-477 |
| 1996 |
|---|
| 4 | | Ursula Goltz,
Heike Wehrheim:
Causal Testing.
MFCS 1996: 394-406 |
| 3 | | Ursula Goltz,
Heike Wehrheim:
Modelling Causality via Action Dependencies in Branching Time Semantics.
Inf. Process. Lett. 59(4): 179-184 (1996) |
| 1994 |
|---|
| 2 | | Arend Rensink,
Heike Wehrheim:
Weak Sequential Composition in Process Algebras.
CONCUR 1994: 226-241 |
| 1 | | Heike Wehrheim:
Parametric Action Refinement.
PROCOMET 1994: 247-266 |
