dblp.uni-trier.dewww.uni-trier.de

Heike Wehrheim Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
59EEMichael Leuschel, Heike Wehrheim: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Springer 2009
2008
58EEGregor 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
57EEJohn Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS 2008: 78-95
56EEBjörn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125
55EEHeike Wehrheim: Bounded Model Checking for Partial Kripke Structures. ICTAC 2008: 380-394
54EEHeike Wehrheim: Refinement in the Presence of Unknowns. Electr. Notes Theor. Comput. Sci. 201: 255-264 (2008)
53EEH.-Christian Estler, Heike Wehrheim: Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci. 214: 331-357 (2008)
52EEMichael 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)
51EEIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
2007
50EEGregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim: Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. AGTIVE 2007: 17-31
49EEThomas Ruhroth, Heike Wehrheim: Refactoring Object-Oriented Specifications with Data and Processes. FMOODS 2007: 236-251
48EEGregor Engels, Christian Soltenborn, Heike Wehrheim: Analysis of UML Activities Using Dynamic Meta Modeling. FMOODS 2007: 76-90
47EEWilhelm Schäfer, Heike Wehrheim: The Challenges of Building Advanced Mechatronic Systems. FOSE 2007: 72-84
46EEIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
45EEJohn Derrick, Gerhard Schellhorn, Heike Wehrheim: Proving Linearizability Via Non-atomic Refinement. IFM 2007: 195-214
44EEJohn Derrick, Heike Wehrheim: On using data abstractions for model checking refinements. Acta Inf. 44(1): 41-71 (2007)
43EEBjörn Metzler, Heike Wehrheim: Extending a Component Specification Language with Time. Electr. Notes Theor. Comput. Sci. 176(2): 47-67 (2007)
42EEH.-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
40EEJohn Derrick, Heike Wehrheim: Model Transformations Incorporating Multiple Views. AMAST 2006: 111-126
39EEHeike 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
37EEHolger Rasch, Heike Wehrheim: Checking the Validity of Scenarios in UML Models. FMOODS 2005: 67-82
36EEIngo Brückner, Heike Wehrheim: Slicing an Integrated Formal Method for Verification. ICFEM 2005: 360-374
35EEJohn Derrick, Heike Wehrheim: Non-atomic Refinement in Z and CSP. ZB 2005: 24-44
34EEIngo Brückner, Heike Wehrheim: Slicing Object-Z Specifications for Verification. ZB 2005: 414-433
33EEErnst-Rüdiger Olderog, Heike Wehrheim: Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program. 55(1-3): 227-257 (2005)
32EEHeike Wehrheim: Slicing techniques for verification re-use. Theor. Comput. Sci. 343(3): 509-528 (2005)
2004
31EEHeike Wehrheim: Refinement and Consistency in Component Models with Multiple Views. Architecting Systems with Trustworthy Components 2004: 84-102
30EEMichael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Linking CSP-OZ with UML and Java: A Case Study. IFM 2004: 267-286
29EEHeike Wehrheim: Refinement and Consistency in Multiview Models. Language Engineering for Model-Driven Software Development 2004
2003
28EEHeike Wehrheim: Preserving Properties Under Change. FMCO 2003: 330-343
27EEHolger Rasch, Heike Wehrheim: Checking Consistency in UML Diagramms: Classes and State Machines. FMOODS 2003: 229-243
26EEHeike Wehrheim: Inheritance of Temporal Logic Properties. FMOODS 2003: 79-93
25EEJohn Derrick, Heike Wehrheim: Using Coupled Simulations in Non-atomic Refinement. ZB 2003: 127-147
24EEHeike Wehrheim: Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design 23(2): 143-170 (2003)
2002
23EEErnst-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
20EEClemens 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
18EEArend Rensink, Heike Wehrheim: Process algebra with action dependencies. Acta Inf. 38(3): 155-234 (2001)
17EEDetlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim: Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
16EEClemens Fischer, Heike Wehrheim: Behavioural Subtyping Relations for Object-Oriented Formalisms. AMAST 2000: 469-483
15EEHeike 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)
12EEHeike 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
10EEHeike Wehrheim: Data Abstraction for CSP-OZ. World Congress on Formal Methods 1999: 1028-1047
9EEHeike 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
6EEMichaela Huhn, Peter Niebert, Heike Wehrheim: Partial Order Reductions for Bisimulation Checking. FSTTCS 1998: 271-282
1997
5EEArend Rensink, Heike Wehrheim: Dependency-Based Action Refinement. MFCS 1997: 468-477
1996
4EEUrsula Goltz, Heike Wehrheim: Causal Testing. MFCS 1996: 394-406
3EEUrsula Goltz, Heike Wehrheim: Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett. 59(4): 179-184 (1996)
1994
2EEArend Rensink, Heike Wehrheim: Weak Sequential Composition in Process Algebras. CONCUR 1994: 226-241
1 Heike Wehrheim: Parametric Action Refinement. PROCOMET 1994: 247-266

Coauthor Index

1Detlef Bartetzko [17]
2Ingo Brückner [34] [36] [38] [46] [51]
3John Derrick [25] [35] [40] [44] [45] [57]
4Klaus Dräger [46] [51]
5Gregor Engels [48] [50] [58]
6H.-Christian Estler [42] [53]
7Bernd Finkbeiner [46] [51]
8Clemens Fischer [11] [13] [16] [17] [20]
9Thomas Gehrke [7] [8]
10Ursula Goltz [3] [4]
11Roberto Gorrieri [41]
12Baris Güldali [50]
13Michaela Huhn [6] [7] [8]
14Anneke Kleppe [58]
15Michael Leuschel [59]
16Björn Metzler [38] [43] [56]
17Michael Möller [17] [30] [52]
18Peter Niebert [6] [8]
19Ernst-Rüdiger Olderog [20] [23] [30] [33] [52]
20Holger Rasch [27] [30] [37] [52]
21Arend Rensink [2] [5] [7] [8] [18] [58]
22Thomas Ruhroth [42] [49]
23Wilhelm Schäfer [47]
24Gerhard Schellhorn [45] [57]
25Maria Semenyak [58]
26Christian Soltenborn [48] [50] [58]
27Daniel Wonisch [56]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)