@inproceedings{3215, author = {{Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}}, editor = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}}, pages = {{76----90}}, title = {{{Analysis of {UML} Activities Using Dynamic Meta Modeling}}}, doi = {{10.1007/978-3-540-72952-5_5}}, year = {{2007}}, } @inproceedings{3216, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}}, editor = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}}, pages = {{236----251}}, title = {{{Refactoring Object-Oriented Specifications with Data and Processes}}}, doi = {{10.1007/978-3-540-72952-5_15}}, year = {{2007}}, } @inproceedings{3221, author = {{Schäfer, Wilhelm and Wehrheim, Heike}}, booktitle = {{International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}}, editor = {{C. Briand, Lionel and L. Wolf, Alexander}}, pages = {{72----84}}, title = {{{The Challenges of Building Advanced Mechatronic Systems}}}, doi = {{10.1109/FOSE.2007.28}}, year = {{2007}}, } @inproceedings{3222, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}}, editor = {{Davies, Jim and Gibbons, Jeremy}}, pages = {{195----214}}, title = {{{Proving Linearizability Via Non-atomic Refinement}}}, doi = {{10.1007/978-3-540-73210-5_11}}, year = {{2007}}, } @article{3223, author = {{Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}}, journal = {{Nord. J. Comput.}}, number = {{1-2}}, pages = {{22----45}}, title = {{{Optimizing Slicing of Formal Specifications by Deductive Verification}}}, year = {{2006}}, } @inproceedings{3224, author = {{Derrick, John and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}}, editor = {{Johnson, Michael and Vene, Varmo}}, pages = {{111----126}}, title = {{{Model Transformations Incorporating Multiple Views}}}, doi = {{10.1007/11784180_11}}, year = {{2006}}, } @inproceedings{3225, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}}, editor = {{Liu, Zhiming and He, Jifeng}}, pages = {{514----528}}, title = {{{Incremental Slicing}}}, doi = {{10.1007/11901433_28}}, year = {{2006}}, } @proceedings{3226, editor = {{Gorrieri, Roberto and Wehrheim, Heike}}, isbn = {{3-540-34893-X}}, title = {{{Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings}}}, doi = {{10.1007/11768869}}, year = {{2006}}, } @article{3227, author = {{Olderog, Ernst-Rüdiger and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, number = {{1-3}}, pages = {{227----257}}, title = {{{Specification and (property) inheritance in {CSP-OZ}}}}, doi = {{10.1016/j.scico.2004.05.017}}, year = {{2005}}, } @article{3228, author = {{Wehrheim, Heike}}, journal = {{Theor. Comput. Sci.}}, number = {{3}}, pages = {{509----528}}, title = {{{Slicing techniques for verification re-use}}}, doi = {{10.1016/j.tcs.2005.06.020}}, year = {{2005}}, } @inproceedings{3229, author = {{Rasch, Holger and Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}}, editor = {{Steffen, Martin and Zavattaro, Gianluigi}}, pages = {{67----82}}, title = {{{Checking the Validity of Scenarios in {UML} Models}}}, doi = {{10.1007/11494881_5}}, year = {{2005}}, } @inproceedings{3230, author = {{Brückner, Ingo and Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}}, editor = {{Lau, Kung{-}Kiu and Banach, Richard}}, pages = {{360----374}}, title = {{{Slicing an Integrated Formal Method for Verification}}}, doi = {{10.1007/11576280_25}}, year = {{2005}}, } @inproceedings{3231, author = {{Derrick, John and Wehrheim, Heike}}, booktitle = {{{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}}, editor = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}}, pages = {{24----44}}, title = {{{Non-atomic Refinement in {Z} and {CSP}}}}, doi = {{10.1007/11415787_3}}, year = {{2005}}, } @inproceedings{3232, author = {{Brückner, Ingo and Wehrheim, Heike}}, booktitle = {{{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}}, editor = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}}, pages = {{414----433}}, title = {{{Slicing Object-Z Specifications for Verification}}}, doi = {{10.1007/11415787_24}}, year = {{2005}}, } @inproceedings{3233, author = {{Wehrheim, Heike}}, booktitle = {{Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers}}, editor = {{H. Reussner, Ralf and A. Stafford, Judith and A. Szyperski, Clemens}}, pages = {{84----102}}, title = {{{Refinement and Consistency in Component Models with Multiple Views}}}, doi = {{10.1007/11786160_5}}, year = {{2004}}, } @inproceedings{3234, author = {{Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}}, booktitle = {{Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings}}, editor = {{A. Boiten, Eerke and Derrick, John and Smith, Graeme}}, pages = {{267----286}}, title = {{{Linking {CSP-OZ} with {UML} and Java: {A} Case Study}}}, doi = {{10.1007/978-3-540-24756-2_15}}, year = {{2004}}, } @inproceedings{3235, author = {{Wehrheim, Heike}}, booktitle = {{Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004}}, editor = {{B{\'{e}}zivin, Jean and Heckel, Reiko}}, title = {{{Refinement and Consistency in Multiview Models}}}, year = {{2004}}, } @article{3236, author = {{Wehrheim, Heike}}, journal = {{Formal Methods in System Design}}, number = {{2}}, pages = {{143----170}}, title = {{{Behavioral Subtyping Relations for Active Objects}}}, doi = {{10.1023/A:1024764232069}}, year = {{2003}}, } @inproceedings{3237, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}}, editor = {{S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, Willem}}, pages = {{330----343}}, title = {{{Preserving Properties Under Change}}}, doi = {{10.1007/978-3-540-30101-1_16}}, year = {{2003}}, } @inproceedings{3238, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}}, editor = {{Najm, Elie and Nestmann, Uwe and Stevens, Perdita}}, pages = {{79----93}}, title = {{{Inheritance of Temporal Logic Properties}}}, doi = {{10.1007/978-3-540-39958-2_6}}, year = {{2003}}, } @inproceedings{3239, author = {{Rasch, Holger and Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}}, editor = {{Najm, Elie and Nestmann, Uwe and Stevens, Perdita}}, pages = {{229----243}}, title = {{{Checking Consistency in {UML} Diagramms: Classes and State Machines}}}, doi = {{10.1007/978-3-540-39958-2_16}}, year = {{2003}}, } @inproceedings{3240, author = {{Derrick, John and Wehrheim, Heike}}, booktitle = {{{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}}, editor = {{Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\'{e}}n, Marina}}, pages = {{127----147}}, title = {{{Using Coupled Simulations in Non-atomic Refinement}}}, doi = {{10.1007/3-540-44880-2_10}}, year = {{2003}}, } @article{3241, author = {{Wehrheim, Heike}}, journal = {{Nord. J. Comput.}}, number = {{4}}, pages = {{405----435}}, title = {{{Relating State-based and Behaviour-oriented Subtyping}}}, year = {{2002}}, } @inproceedings{3242, author = {{Olderog, Ernst-Rüdiger and Wehrheim, Heike}}, booktitle = {{Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}}, editor = {{S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, Willem}}, pages = {{361----379}}, title = {{{Specification and Inheritance in {CSP-OZ}}}}, doi = {{10.1007/978-3-540-39656-7_15}}, year = {{2002}}, } @inproceedings{3243, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}}, editor = {{Jacobs, Bart and Rensink, Arend}}, pages = {{79----93}}, title = {{{Checking Behavioural Subtypes via Refinement}}}, year = {{2002}}, } @article{3244, author = {{Rensink, Arend and Wehrheim, Heike}}, journal = {{Acta Inf.}}, number = {{3}}, pages = {{155----234}}, title = {{{Process algebra with action dependencies}}}, doi = {{10.1007/s002360100070}}, year = {{2001}}, } @article{3245, author = {{Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, number = {{2}}, pages = {{103----117}}, title = {{{Jass - Java with Assertions}}}, doi = {{10.1016/S1571-0661(04)00247-6}}, year = {{2001}}, } @inproceedings{3246, author = {{Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}}, editor = {{Hu{\ss}mann, Heinrich}}, pages = {{91----108}}, title = {{{A {CSP} View on {UML-RT} Structure Diagrams}}}, doi = {{10.1007/3-540-45314-8_8}}, year = {{2001}}, } @article{3247, author = {{Fischer, Clemens and Wehrheim, Heike}}, journal = {{Bulletin of the {EATCS}}}, pages = {{92----101}}, title = {{{Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}}}, year = {{2000}}, } @article{3248, author = {{Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{3}}, pages = {{147----164}}, title = {{{Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}}}, doi = {{10.1007/s001650070026}}, year = {{2000}}, } @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}}, }