Publications
[BMW06]
I. Brückner, B. Metzler and H. Wehrheim. Optimizing Slicing of Formal Specifications by Deductive Verification. Nordic Journal of Computing, Vol. 13, No. 1-2, pages 22 - 45, 2006.
[ERW06]
H.-Ch. Estler, Th. Ruhroth and H. Wehrheim. Model checking correctness of refactorings - Some experiments. To appear in: Proceedings REFINE 2006, ENTCS, 2006.
[Weh06b]
H. Wehrheim. Incremental Slicing. In: Z. Liu, J. He (Eds.), International Conference on Formal Engineering Methods ICFEM, LNCS 4260, pp. 514 - 528, Springer, 2006.
[GW06]
R. Gorrieri and H. Wehrheim (Eds.). Proceedings of FMOODS 2006: Formal Methods for Open Object-Based Distributed Systems. LNCS 4037, Springer, 2006.
[DW06]
J. Derrick and H. Wehrheim. Model transformations Incorporating Multiple Views. In: M. Johnson and V. Vene (Eds.), Algebraic Methodology and Software Technology (AMAST 2006), LNCS 4019, pages 111-126. Springer, 2006.
[Weh06]
H. Wehrheim. Refinement and Consistency in Component Models with Multiple Views. In: R. Reussner, J. Stafford, C. Szyperski (Eds.), Architecting Systems with Trustworthy Components, Springer, LNCS 3938, 2006.
[MW06]
B. Metzler and H. Wehrheim. Extending a Component Specification Language with Time. To appear in FESCA2006, Formal Foundations of Embedded Software and Component-Based Software Architectures, Electronic Notes in Theoretical Computer Science, 2006.
[Weh05]
H. Wehrheim. Slicing techniques for verification re-use. Theoretical Computer Science, 343(3), pp. 509-528, 2005.
[BW05b]
I. Brückner and H. Wehrheim. Slicing an Integrated Formal Method for Verification. To appear in ICFEM2005: International Conference on Formal Engineering Methods, LNCS, 2005.
[OW05]
E.-R.Olderog and H. Wehrheim. Specification and (property) inheritance in CSP-OZ. Science of Computer Programming 55(2005), 227-257.
[RW05]
H. Rasch and H. Wehrheim. Checking the validity of scenarios in UML models. In M. Steffen, G. Zavatarro,editors, FMOODS 2005: Formal Methods for Open Object-based Distributed Systems, volume 3535 of LNCS, pages 67-82, 2005.
[DW05]
J. Derrick and H. Wehrheim. Non-atomic refinement in Z and CSP. In H. Treharne, S. King, M. Henson, S. Schneider, editors, ZB2005: Formal Specification and Development in Z and B, volume 3455 of LNCS, pages 24-44, 2005.
[BW05]
I. Brückner and H. Wehrheim. Slicing Object-Z specifications for verification. In H. Treharne, S. King, M. Henson, S. Schneider, editors, ZB2005: Formal Specification and Development in Z and B, volume 3455 of LNCS, pages 414-434, 2005.
[Weh04]
H. Wehrheim. Preserving properties under change. In F.S. de Boer, M.M. Bonsangue, S. Graf, and W.-P. de Roever, editors, FMCO 2003: Formal Methods for Components and Objects, volume 3188 of LNCS, pages 330-343, 2004.
[ .ps ]
[FW04]
C. Fischer and H. Wehrheim. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. In G. Paun, G. Rozenberg, and A. Salomaa, editors, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol 2: Formal Models and Semantics . World Scientific, 2004.
M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In Integrated Formal Methods , number 2999 in Lecture Notes in Computer Science, pages 267-286. Springer-Verlag, March 2004.
[ Abstract, .ps ]
H. Rasch and H. Wehrheim. Checking Consistency in UML Diagrams: Classes and State Machines. In Formal Methods for Open Object-based Distributed Systems , number 2884 in LNCS, pages 229-243. Springer, 2003.
[ .ps ]
H. Wehrheim. Inheritance of Temporal Logic Properties. In Formal Methods for Open Object-based Distributed Systems , number 2884 in LNCS, pages 79-93. Springer, 2003.
[ .ps ]
E.-R. Olderog and H. Wehrheim. Specification and Inheritance in CSP-OZ. In Formal Methods for Components and Objects , number 2852 in LNCS, pages 361-379. Springer, 2003.
[ Abstract, .ps ]
H. Wehrheim. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design , 23(2):143-170, 2003.
J. Derrick and H. Wehrheim. Using coupled simulations in non-atomic refinement. In ZB 2003: Formal Specification and Development in Z and B , number 2651 in LNCS, pages 127-147. Springer, 2003.
[ .ps ]
[Weh02b]
H. Wehrheim. Relating state-based and behaviour-oriented subtyping. Nordic Journal of Computing , 9(4):405-435, 2002. appeared March 2003.
[ Abstract ]
[RW02]
H. Rasch and H. Wehrheim. Consistency between UML classes and associated state machines. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, UML 2002 - Workshop on Consistency Problems in UML-based Software Development , volume 06, pages 46-60, 2002.
H. Wehrheim. Checking behavioural subtypes via refinement. In B. Jacobs and A. Rensink, editors, FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems , pages 79-93. Kluwer, May 2002.
[ .ps | Abstract ]
A. Rensink and H. Wehrheim. Process algebra with action dependencies. Acta Informatica , (38):155-234, 2001.
Heike Wehrheim. Patterns and Rules for Behavioural Subtyping. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, FORTE 2001 , pages 335 - 352. Kluwer, 2001.
[ .ps | Abstract ]
D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass - Java with Assertions. In Klaus Havelund and Grigore Rosu, editors, Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001 , volume 55 of Electronic Notes in Theoretical Computer Science . Elsevier Science, 2001. This publication is available at ENTCS .
[ .pdf | Abstract ]
C. Fischer, E.-R. Olderog, and H. Wehrheim. A CSP view on UML-RT structure diagrams. In H. Husmann, editor, Fundamental Approaches to Software Engineering , volume 2029 of Lecture Notes in Computer Science , pages 91-108. Springer-Verlag, 2001.
[ .ps | Abstract ]
H. Wehrheim. Data Abstraction Techniques in the Validation of CSP-OZ Specifications. Formal Aspects of Computing , 12, 2000.
Clemens Fischer and Heike Wehrheim. Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus, editor, Algebraic Methodology and Software Technology , LNCS 1816, pages 469-483. Springer, 2000.
[ .ps | Abstract ]
Heike Wehrheim. Specification of an automatic manufacturing system - a case study in using integrated formal methods. In FASE 2000, Fundamental Approaches to Software Engineering , LNCS 1783, 2000.
[ .ps | Abstract ]
Heike Wehrheim. Behavioural subtyping and property preservation. In S. Smith and C. Talcott, editors, FMOODS'00: Formal Methods for Open Object-Based Distributed Systems . Kluwer, 2000.
[ .ps | Abstract ]
Heike Wehrheim. Subtyping patterns for active objects. In H. Giese and S. Philippi, editors, Proceedings 8ter Workshop des GI-Arbeitskreises GROOM: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme . Universität Münster, 2000. No. 24/00-I.
Clemens Fischer and Heike Wehrheim. Failure-divergence semantics as a formal basis for an object-oriented integrated formal method. Bulletin of the EATCS (European Association of Theoretical Computer Science) , 71:92 - 101, 2000.
[ .ps | Abstract ]
Clemens Fischer and Heike Wehrheim. Model-checking CSP-OZ specifications with FDR. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM) , pages 315-334. Springer, 1999.
[ .ps.gz | Abstract ]
Arend Rensink and Heike Wehrheim. Weak Sequential Composition in Process Algebras. In B. Jonsson and J. Parrow, editors, Concur '94: Concurrency Theory , volume 836 of LNCS , pages 226-241. Springer, 1994.
[ .ps ]
Michaela Huhn, Peter Niebert, and Heike Wehrheim. Partial order reductions for bisimulation checking. In V. Arvind and R. Ramanujam, editors, FST&TCS , volume 1530 of Lecture Notes in Computer Science , 1998.
[ .ps ]
T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim. An algebraic semantics for message sequence chart documents. In S. Budkowski, A. Cavalle, and E. Najm, editors, FORTE/PSTV'98: Formal Description Techniques & Protocol Specification, Testing and Verification , pages 3-18. Kluwer Academic Publishers, 1998.
[ .ps ]
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike Wehrheim. A process algebra semantics for message sequence charts including conditions. In 8.GI/ITG Fachgespräch Formale Beschreibungstechniken für verteilte Systeme , 1998.
Arend Rensink and Heike Wehrheim. Dependency-based action refinement. In P. Ruzicka, editor, MFCS'97 Mathematical Foundations of Computer Science, number 1295 in Lecture Notes in Computer Science. Springer, 1997.
[ .ps ]
M. Huhn, H. Wehrheim, and G. Denker. Action refinement - an application of process theory on object-oriented specification. In 6. GI/ITG-Fachgespräch ''Formale Beschreibungstechniken für verteilte Systeme'' , Arbeitsbericht des IMMD 1996, June 1996.
Heike Wehrheim. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design . PhD thesis, University of Hildesheim, 1996.
Ursula Goltz and Heike Wehrheim. Causal testing. In W. Penczek and A. Szalas, editors, MFCS '96 , number 1113 in Lecture Notes in Computer Science, pages 394-406, 1996.
[ .ps ]
Ursula Goltz and Heike Wehrheim. Modelling causality by dependency of actions in branching time semantics. Information Processing Letters , 59(4):179-184, August 1996.
[RW94]
A. Rensink and H. Wehrheim. Weak sequential composition in process algebras. In: B. Jonsson, J. Parrow (Eds.), Concur '94: Concurrency Theory, Lecture Notes in Computer Science 836, pp. 226-241, Springer 1994.
Heike Wehrheim. Parametric action refinement. In E.R. Olderog, editor, IFIP Transactions: Programming Concepts, Methods and Calculi , pages 247-266. Elsevier, 1994.
[ .ps ]
Index A – Z | Imprint | Webmaster | Last modified: 2005-09-07