@inproceedings{3249, author = {{Fischer, Clemens and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}}, editor = {{Rus, Teodor}}, pages = {{469----483}}, title = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}}, doi = {{10.1007/3-540-45499-3_33}}, year = {{2000}}, } @inproceedings{3250, author = {{Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}}, editor = {{S. E. Maibaum, T.}}, pages = {{334----348}}, title = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}}, doi = {{10.1007/3-540-46428-X_23}}, year = {{2000}}, } @inproceedings{3251, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}}, editor = {{F. Smith, Scott and L. Talcott, Carolyn}}, pages = {{213----231}}, title = {{{Behavioural Subtyping and Property Preservation}}}, doi = {{10.1007/978-0-387-35520-7_11}}, year = {{2000}}, } @article{3252, author = {{Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{71----84}}, title = {{{Partial order reductions for failures refinement}}}, doi = {{10.1016/S1571-0661(05)80296-8}}, year = {{1999}}, } @inproceedings{3253, author = {{Wehrheim, Heike}}, booktitle = {{FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}}, editor = {{M. Wing, Jeannette and Woodcock, Jim and Davies, Jim}}, pages = {{1028----1047}}, title = {{{Data Abstraction for {CSP-OZ}}}}, doi = {{10.1007/3-540-48118-4_5}}, year = {{1999}}, } @inproceedings{3254, author = {{Fischer, Clemens and Wehrheim, Heike}}, booktitle = {{Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}}, editor = {{Araki, Keijiro and Galloway, Andy and Taguchi, Kenji}}, pages = {{315----334}}, title = {{{Model-Checking {CSP-OZ} Specifications with {FDR}}}}, year = {{1999}}, } @inproceedings{3255, author = {{Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}}, booktitle = {{Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998}}, editor = {{K{\"{o}}nig, Hartmut and Langend{\"{o}}rfer, Peter}}, pages = {{185----196}}, title = {{{A Process Algebra Semantics for {MSC} Including Conditions}}}, year = {{1998}}, } @inproceedings{3256, author = {{Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}}, booktitle = {{Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France}}, editor = {{Budkowski, Stanislaw and R. Cavalli, Ana and Najm, Elie}}, pages = {{3----18}}, title = {{{An Algebraic Semantics for Message Sequence Chart Documents}}}, year = {{1998}}, } @inproceedings{3257, author = {{Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}}, booktitle = {{Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}}, editor = {{Arvind, Vikraman and Ramanujam, Ramaswamy}}, pages = {{271----282}}, title = {{{Partial Order Reductions for Bisimulation Checking}}}, doi = {{10.1007/978-3-540-49382-2_26}}, year = {{1998}}, } @inproceedings{3258, author = {{Rensink, Arend and Wehrheim, Heike}}, booktitle = {{Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}}, editor = {{Pr{\'{\i}}vara, Igor and Ruzicka, Peter}}, pages = {{468----477}}, title = {{{Dependency-Based Action Refinement}}}, doi = {{10.1007/BFb0029990}}, year = {{1997}}, } @inproceedings{3259, author = {{Rensink, Arend and Wehrheim, Heike}}, booktitle = {{Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}}, editor = {{Pr{\'{\i}}vara, Igor and Ruzicka, Peter}}, pages = {{468----477}}, title = {{{Dependency-Based Action Refinement}}}, doi = {{10.1007/BFb0029990}}, year = {{1997}}, } @phdthesis{3260, author = {{Wehrheim, Heike}}, publisher = {{University of Hildesheim, Germany}}, title = {{{Specifying reactive systems with action dependencies: modelling and hierarchical design}}}, year = {{1996}}, } @article{3261, author = {{Goltz, Ursula and Wehrheim, Heike}}, journal = {{Inf. Process. Lett.}}, number = {{4}}, pages = {{179----184}}, title = {{{Modelling Causality via Action Dependencies in Branching Time Semantics}}}, doi = {{10.1016/0020-0190(96)00111-1}}, year = {{1996}}, } @inproceedings{3262, author = {{Goltz, Ursula and Wehrheim, Heike}}, booktitle = {{Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings}}, editor = {{Penczek, Wojciech and Szalas, Andrzej}}, pages = {{394----406}}, title = {{{Causal Testing}}}, doi = {{10.1007/3-540-61550-4_165}}, year = {{1996}}, } @inproceedings{3263, author = {{Rensink, Arend and Wehrheim, Heike}}, booktitle = {{{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}}, editor = {{Jonsson, Bengt and Parrow, Joachim}}, pages = {{226----241}}, title = {{{Weak Sequential Composition in Process Algebras}}}, doi = {{10.1007/978-3-540-48654-1_20}}, year = {{1994}}, } @inproceedings{3264, author = {{Wehrheim, Heike}}, booktitle = {{Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994}}, editor = {{Olderog, Ernst{-}R{\"{u}}diger}}, pages = {{247----266}}, title = {{{Parametric Action Refinement}}}, year = {{1994}}, }