2009 |
59 | EE | Michael Leuschel,
Heike Wehrheim:
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Springer 2009 |
2008 |
58 | EE | 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 | EE | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
FMOODS 2008: 78-95 |
56 | EE | Björn Metzler,
Heike Wehrheim,
Daniel Wonisch:
Decomposition for Compositional Verification.
ICFEM 2008: 105-125 |
55 | EE | Heike Wehrheim:
Bounded Model Checking for Partial Kripke Structures.
ICTAC 2008: 380-394 |
54 | EE | Heike Wehrheim:
Refinement in the Presence of Unknowns.
Electr. Notes Theor. Comput. Sci. 201: 255-264 (2008) |
53 | EE | H.-Christian Estler,
Heike Wehrheim:
Alloy as a Refactoring Checker?
Electr. Notes Theor. Comput. Sci. 214: 331-357 (2008) |
52 | EE | 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 | EE | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
Fundam. Inform. 89(4): 369-392 (2008) |
2007 |
50 | EE | 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 | EE | Thomas Ruhroth,
Heike Wehrheim:
Refactoring Object-Oriented Specifications with Data and Processes.
FMOODS 2007: 236-251 |
48 | EE | Gregor Engels,
Christian Soltenborn,
Heike Wehrheim:
Analysis of UML Activities Using Dynamic Meta Modeling.
FMOODS 2007: 76-90 |
47 | EE | Wilhelm Schäfer,
Heike Wehrheim:
The Challenges of Building Advanced Mechatronic Systems.
FOSE 2007: 72-84 |
46 | EE | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
FSEN 2007: 17-32 |
45 | EE | John Derrick,
Gerhard Schellhorn,
Heike Wehrheim:
Proving Linearizability Via Non-atomic Refinement.
IFM 2007: 195-214 |
44 | EE | John Derrick,
Heike Wehrheim:
On using data abstractions for model checking refinements.
Acta Inf. 44(1): 41-71 (2007) |
43 | EE | Björn Metzler,
Heike Wehrheim:
Extending a Component Specification Language with Time.
Electr. Notes Theor. Comput. Sci. 176(2): 47-67 (2007) |
42 | EE | 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 | EE | John Derrick,
Heike Wehrheim:
Model Transformations Incorporating Multiple Views.
AMAST 2006: 111-126 |
39 | EE | 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 | EE | Holger Rasch,
Heike Wehrheim:
Checking the Validity of Scenarios in UML Models.
FMOODS 2005: 67-82 |
36 | EE | Ingo Brückner,
Heike Wehrheim:
Slicing an Integrated Formal Method for Verification.
ICFEM 2005: 360-374 |
35 | EE | John Derrick,
Heike Wehrheim:
Non-atomic Refinement in Z and CSP.
ZB 2005: 24-44 |
34 | EE | Ingo Brückner,
Heike Wehrheim:
Slicing Object-Z Specifications for Verification.
ZB 2005: 414-433 |
33 | EE | Ernst-Rüdiger Olderog,
Heike Wehrheim:
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program. 55(1-3): 227-257 (2005) |
32 | EE | Heike Wehrheim:
Slicing techniques for verification re-use.
Theor. Comput. Sci. 343(3): 509-528 (2005) |
2004 |
31 | EE | Heike Wehrheim:
Refinement and Consistency in Component Models with Multiple Views.
Architecting Systems with Trustworthy Components 2004: 84-102 |
30 | EE | 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 | EE | Heike Wehrheim:
Refinement and Consistency in Multiview Models.
Language Engineering for Model-Driven Software Development 2004 |
2003 |
28 | EE | Heike Wehrheim:
Preserving Properties Under Change.
FMCO 2003: 330-343 |
27 | EE | Holger Rasch,
Heike Wehrheim:
Checking Consistency in UML Diagramms: Classes and State Machines.
FMOODS 2003: 229-243 |
26 | EE | Heike Wehrheim:
Inheritance of Temporal Logic Properties.
FMOODS 2003: 79-93 |
25 | EE | John Derrick,
Heike Wehrheim:
Using Coupled Simulations in Non-atomic Refinement.
ZB 2003: 127-147 |
24 | EE | Heike Wehrheim:
Behavioral Subtyping Relations for Active Objects.
Formal Methods in System Design 23(2): 143-170 (2003) |
2002 |
23 | EE | 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 | EE | 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 | EE | Arend Rensink,
Heike Wehrheim:
Process algebra with action dependencies.
Acta Inf. 38(3): 155-234 (2001) |
17 | EE | Detlef Bartetzko,
Clemens Fischer,
Michael Möller,
Heike Wehrheim:
Jass - Java with Assertions.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
2000 |
16 | EE | Clemens Fischer,
Heike Wehrheim:
Behavioural Subtyping Relations for Object-Oriented Formalisms.
AMAST 2000: 469-483 |
15 | EE | 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 | EE | 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 | EE | Heike Wehrheim:
Data Abstraction for CSP-OZ.
World Congress on Formal Methods 1999: 1028-1047 |
9 | EE | 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 | EE | 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 |