Prof. Dr. habil. Heike Wehrheim

email: Heike.Wehrheim Heike Wehrheim got her Habilitation with the thesis ``Behavioural Subtyping in Object-Oriented Specification Formalisms''. Since November 2004 she is a professor at the University of Paderborn leading the research group Specification and Modelling of Software Systems.

 

Curriculum Vitae

Okt 84 - März 87	Ausbildung zur mathematisch technischen Assistentin
April 87 - März 88	Beschäftigung als MTA bei der GMD
Okt 87 - Sept 92	Informatikstudium an der Universität Bonn
Nov 92 - Juni 98	Wissenschaftliche Mitarbeiterin an der Universität Hildesheim
Juni 98 - Okt 05	Wissenschaftliche Mitarbeiterin an der Universität Oldenburg
Juni 96	Promotion
Dez 2002	Habilitation
seit Nov 2004	Professor an der Universität Paderborn

Research

Formal Methods, integrated specifikation formalisms, combination of UML with Formal Methods, Verification.

Teaching

Winter Term 2003/2004
Modul Formale Methoden

Projects

• Esprit Basic Research Working Group No. 6067, CALIBAN
  (Causal Calculi Based on Nets), 1992-1995


• Human Capital and Mobility Cooperation Network, EXPRESS
  (Expressiveness of Languages for Concurrency), 1993-1997


• HIVS (Hierarchische Spezifikation und Verifikation
  sicherer verteilter Systeme) DAAD (VIGONI), 1995-1996


• ForMooS (Embedding of an object-oriented formal method in an object-oriented software development process, DFG, 2001-2003)


• Beteiligung am Transregio-SFB AVACS (DFG, 2004-2007)

Publications

[MORW07]

M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Integrating a formal method into a software engineering process with UML and Java. Formal Apsects of Computing, 2007. To appear.
[ bib | Abstract ]

[BDFW07]

I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim. Slicing Abstractions. In F. Arbab and M. Sirjani, editors, FSEN 2007: IPM International Symposium on Fundamentals of Software Engineering, volume 4767 of Lecture Notes in Computer Science, pages 17-32. Springer, April 2007.
[ bib | .pdf | Abstract ]

[BMW06]

I. Brückner, B. Metzler, and H. Wehrheim. Optimizing slicing of formal specifications by deductive verification. Nordic Journal of Computing, 13(1-2):22-45, August 2006.
[ bib | .pdf | Abstract ]

[BW05d]

Ingo Brückner and Heike Wehrheim. Slicing an Integrated Formal Method for Verification. In Kung-Kiu Lau and Richard Banach, editors, ICFEM 2005: Seventh International Conference on Formal Engineering Methods, volume 3785 of Lecture Notes in Computer Science, pages 360-374. Springer, November 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[BW05a]

I. Brückner and H. Wehrheim. Slicing CSP-OZ Specifications for Verification. Technical Report 7, SFB/TR 14 AVACS, http://www.avacs.org/, 2005.
[ bib | .pdf ]

[OW05]

E.-R. Olderog and H. Wehrheim. Specification and (property) inheritance in CSP-OZ. Science of Computer Programming, 55:227-257, 2005.
[ bib | Abstract ]

[BW05b]

I. Brückner and H. Wehrheim. Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, volume 3455 of LNCS, pages 414-433. Springer, April 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[BW05c]

I. Brückner and H. Wehrheim. Slicing Object-Z Specifications for Verification. Technical Report 3, SFB/TR 14 AVACS, http://www.avacs.org/, 2005.
[ bib | .pdf ]

[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.
[ bib ]

[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.
[ bib ]

[MORW04]

M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In E. Boiten, J. Derrick, and G. Smith, editors, Integrated Formal Methods, number 2999 in Lecture Notes in Computer Science, pages 267-286. Springer-Verlag, March 2004.
[ bib | .pdf | Abstract ]

[RW03]

H. Rasch and H. Wehrheim. Checking Consistency in UML Diagrams: Classes and State Machines. In E. Najm, U. Nestmann, and P. Stevens, editors, Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pages 229-243. Springer, 2003.
[ bib | .ps ]

[Weh03b]

H. Wehrheim. Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, and P. Stevens, editors, Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pages 79-93. Springer, 2003.
[ bib | .ps ]

[OW03]

E.-R. Olderog and H. Wehrheim. Specification and Inheritance in CSP-OZ. In F. de Boer, M. Bosangue, S. Graf, and W.-P. de Roever, editors, Formal Methods for Components and Objects, volume 2852 of LNCS, pages 361-379. Springer, 2003.
[ bib | Abstract ]

[Weh03a]

H. Wehrheim. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design, 23(2):143-170, 2003.
[ bib ]

[DW03]

J. Derrick and H. Wehrheim. Using coupled simulations in non-atomic refinement. In D. Bert, J. Bowen, S. King, and M. Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of LNCS, pages 127-147. Springer, 2003.
[ bib | .ps ]

[Weh02b]

H. Wehrheim. Relating state-based and behaviour-oriented subtyping. Nordic Journal of Computing, 9(4):405-435, 2002. appeared March 2003.
[ bib | 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.
[ bib ]

[Weh02a]

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.
[ bib | .ps | Abstract ]

[RW01]

A. Rensink and H. Wehrheim. Process algebra with action dependencies. Acta Informatica, (38):155-234, 2001.
[ bib ]

[Weh01]

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.
[ bib | .ps | Abstract ]

[BFMW01]

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.
[ bib | .pdf | Abstract ]

[FOW01]

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.
[ bib | .ps | Abstract ]

[Weh00a]

H. Wehrheim. Data Abstraction Techniques in the Validation of CSP-OZ Specifications. Formal Aspects of Computing, 12, 2000.
[ bib ]

[FW00a]

Clemens Fischer and Heike Wehrheim. Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus, editor, Algebraic Methodology and Software Technology, volume 1816 of LNCS, pages 469-483. Springer, 2000.
[ bib | .ps | Abstract ]

[Weh00c]

Heike Wehrheim. Specification of an automatic manufacturing system - a case study in using integrated formal methods. In FASE 2000, Fundamental Approaches to Software Engineering, volume 1783 of LNCS, 2000.
[ bib | .ps | Abstract ]

[Weh00b]

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.
[ bib | .ps | Abstract ]

[Weh00d]

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.
[ bib ]

[FW00b]

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.
[ bib | .ps | Abstract ]

[FW99]

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.
[ bib | .ps.gz | Abstract ]

[RW94]

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.
[ bib | .ps ]

[HNW98]

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.
[ bib | .ps ]

[GHRW98]

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.
[ bib | .ps ]

[GHN⁺98]

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.
[ bib ]

[RW97]

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.
[ bib | .ps.gz ]

[HWD96]

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.
[ bib ]

[Weh96]

Heike Wehrheim. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. PhD thesis, University of Hildesheim, 1996.
[ bib ]

[GW96a]

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.
[ bib | .ps.gz ]

[GW96b]

Ursula Goltz and Heike Wehrheim. Modelling causality by dependency of actions in branching time semantics. Information Processing Letters, 59(4):179-184, August 1996.
[ bib ]

[Weh94]

Heike Wehrheim. Parametric action refinement. In E.R. Olderog, editor, IFIP Transactions: Programming Concepts, Methods and Calculi, pages 247-266. Elsevier, 1994.
[ bib | .ps.gz ]