Ruhroth, T., Wehrheim, H., &; Ziegert, S. (2011). ReL: A Generic Refactoring Language for Specification and Execution. In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90).https://doi.org/10.1109/SEAA.2011.22 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &; W. Schulte (Eds.), FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337).https://doi.org/10.1007/978-3-642-21437-0_25 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, D., Wehrheim, H., &; Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim\'7eao &; C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107).https://doi.org/10.1007/978-3-642-25032-3_7 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). A CSP Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &; S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154).https://doi.org/10.4204/EPTCS.55.9 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Leuschel, M., &; Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836.https://doi.org/10.1016/j.scico.2011.01.009 
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova, G., Wehrheim, H., &; Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16.https://doi.org/10.1016/j.entcs.2011.11.008 
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
LibreCat: /record/658

Schneider, S., Treharne, H., &; Wehrheim, H. (2010). A CSP Approach to Control in Event-B. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274).https://doi.org/10.1007/978-3-642-16265-7_19 
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

Dräger, K., Kupriyanov, A., Finkbeiner, B., &; Wehrheim, H. (2010). SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &; R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 271--274).https://doi.org/10.1007/978-3-642-12002-2_22 
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Steenken, D., Wehrheim, H., &; Wonisch, D. (2010). Towards A Shape Analysis for Graph Transformation Systems. CoRR.
LibreCat: /record/3198

Derrick, J., &; Wehrheim, H. (2010). Model transformations across views. Sci. Comput. Program., (3), 192--210.https://doi.org/10.1016/j.scico.2009.11.004 
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

Schäfer, W., &; Wehrheim, H. (2010). Model-Driven Development with Mechatronic UML. In G. Engels, C. Lewerentz, W. Sch\'22afer, A. Sch\'22urr, &; B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554).https://doi.org/10.1007/978-3-642-17322-6_23 
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, N., &; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &; H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 534--548).https://doi.org/10.1007/978-3-642-16901-4_35 
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198).https://doi.org/10.1007/978-3-642-16265-7_14 
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Wehrheim, H., &; Wonisch, D. (2009). Compositional CSP Traces Refinement Checking. Electr. Notes Theor. Comput. Sci., (2), 135--151.https://doi.org/10.1016/j.entcs.2009.08.022 
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

Ruhroth, T., &; Wehrheim, H. (2009). Static Class Elements for Object-Z. Electr. Notes Theor. Comput. Sci., 193--205.https://doi.org/10.1016/j.entcs.2009.12.025 
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

Ruhroth, T., Voigt, H., &; Wehrheim, H. (2009). Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings (pp. 360--367).https://doi.org/10.1109/SEAA.2009.39 
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

Leuschel, M., &; Wehrheim, H. (Eds.). (2009). Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings.https://doi.org/10.1007/978-3-642-00255-7 
LibreCat: /record/3202
DOI: 10.1007/978-3-642-00255-7

Wehrheim, H. (2008). Refinement in the Presence of Unknowns. Electr. Notes Theor. Comput. Sci., 255--264.https://doi.org/10.1016/j.entcs.2008.02.023 
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

Estler, H. .-Christian, &; Wehrheim, H. (2008). Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci., 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

Möller, M., Olderog, E.-R., Rasch, H., &; Wehrheim, H. (2008). Integrating a formal method into a software engineering process with UML and Java. Formal Asp. Comput., (2), 161--204.https://doi.org/10.1007/s00165-007-0042-7 
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner, I., Dräger, K., Finkbeiner, B., &; Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392.
LibreCat: /record/3206

Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2008). From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker &; A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109).https://doi.org/10.1007/978-3-540-69100-6_7 
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe &; F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95).https://doi.org/10.1007/978-3-540-68863-1_6 
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, B., Wehrheim, H., &; Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, &; K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125).https://doi.org/10.1007/978-3-540-88194-0_9 
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &; H. Yenig\'22un (Eds.), Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394).https://doi.org/10.1007/978-3-540-85762-4_26 
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Derrick, J., &; Wehrheim, H. (2007). On using data abstractions for model checking refinements. Acta Inf., (1), 41--71.https://doi.org/10.1007/s00236-007-0042-3 
LibreCat: /record/3211
DOI: 10.1007/s00236-007-0042-3

Metzler, B., &; Wehrheim, H. (2007). Extending a Component Specification Language with Time. Electr. Notes Theor. Comput. Sci., (2), 47--67.https://doi.org/10.1016/j.entcs.2006.02.031 
LibreCat: /record/3212
DOI: 10.1016/j.entcs.2006.02.031

Estler, H. .-Christian, Ruhroth, T., &; Wehrheim, H. (2007). Modelchecking Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput. Sci., 3--17.https://doi.org/10.1016/j.entcs.2006.08.041 
LibreCat: /record/3213
DOI: 10.1016/j.entcs.2006.08.041

Engels, G., Güldali, B., Soltenborn, C., &; Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In A. Sch\'22urr, M. Nagl, &; A. Z\'22undorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers (pp. 17--31).https://doi.org/10.1007/978-3-540-89020-1_2 
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2

Engels, G., Soltenborn, C., &; Wehrheim, H. (2007). Analysis of UML Activities Using Dynamic Meta Modeling. In M. M. Bonsangue &; E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 76--90).https://doi.org/10.1007/978-3-540-72952-5_5 
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

Ruhroth, T., &; Wehrheim, H. (2007). Refactoring Object-Oriented Specifications with Data and Processes. In M. M. Bonsangue &; E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 236--251).https://doi.org/10.1007/978-3-540-72952-5_15 
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

Schäfer, W., &; Wehrheim, H. (2007). The Challenges of Building Advanced Mechatronic Systems. In L. C. Briand &; A. L. Wolf (Eds.), International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA (pp. 72--84).https://doi.org/10.1109/FOSE.2007.28 
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies &; J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (pp. 195--214).https://doi.org/10.1007/978-3-540-73210-5_11 
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

Brückner, I., Metzler, B., &; Wehrheim, H. (2006). Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput., (1–2), 22--45.
LibreCat: /record/3223

Derrick, J., &; Wehrheim, H. (2006). Model Transformations Incorporating Multiple Views. In M. Johnson &; V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (pp. 111--126).https://doi.org/10.1007/11784180_11 
LibreCat: /record/3224
DOI: 10.1007/11784180_11

Wehrheim, H. (2006). Incremental Slicing. In Z. Liu &; J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (pp. 514--528).https://doi.org/10.1007/11901433_28 
LibreCat: /record/3225
DOI: 10.1007/11901433_28

Gorrieri, R., &; Wehrheim, H. (Eds.). (2006). Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings.https://doi.org/10.1007/11768869 
LibreCat: /record/3226
DOI: 10.1007/11768869

Olderog, E.-R., &; Wehrheim, H. (2005). Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program., (1–3), 227--257.https://doi.org/10.1016/j.scico.2004.05.017 
LibreCat: /record/3227
DOI: 10.1016/j.scico.2004.05.017

Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor. Comput. Sci., (3), 509--528.https://doi.org/10.1016/j.tcs.2005.06.020 
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020

Rasch, H., &; Wehrheim, H. (2005). Checking the Validity of Scenarios in UML Models. In M. Steffen &; G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82).https://doi.org/10.1007/11494881_5 
LibreCat: /record/3229
DOI: 10.1007/11494881_5

Brückner, I., &; Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-Kiu Lau &; R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374).https://doi.org/10.1007/11576280_25 
LibreCat: /record/3230
DOI: 10.1007/11576280_25

Derrick, J., &; Wehrheim, H. (2005). Non-atomic Refinement in Z and CSP. In H. Treharne, S. King, M. C. Henson, &; S. A. Schneider (Eds.), 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 (pp. 24--44).https://doi.org/10.1007/11415787_3 
LibreCat: /record/3231
DOI: 10.1007/11415787_3

Brückner, I., &; Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. C. Henson, &; S. A. Schneider (Eds.), 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 (pp. 414--433).https://doi.org/10.1007/11415787_24 
LibreCat: /record/3232
DOI: 10.1007/11415787_24

Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple Views. In R. H. Reussner, J. A. Stafford, &; C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (pp. 84--102).https://doi.org/10.1007/11786160_5 
LibreCat: /record/3233
DOI: 10.1007/11786160_5

Möller, M., Olderog, E.-R., Rasch, H., &; Wehrheim, H. (2004). Linking CSP-OZ with UML and Java: A Case Study. In E. A. Boiten, J. Derrick, &; G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (pp. 267--286).https://doi.org/10.1007/978-3-540-24756-2_15 
LibreCat: /record/3234
DOI: 10.1007/978-3-540-24756-2_15

Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J. B\rquote ezivin &; R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004.
LibreCat: /record/3235

Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design, (2), 143--170.https://doi.org/10.1023/A:1024764232069 
LibreCat: /record/3236
DOI: 10.1023/A:1024764232069

Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &; W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343).https://doi.org/10.1007/978-3-540-30101-1_16 
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, &; P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 79--93).https://doi.org/10.1007/978-3-540-39958-2_6 
LibreCat: /record/3238
DOI: 10.1007/978-3-540-39958-2_6

Rasch, H., &; Wehrheim, H. (2003). Checking Consistency in UML Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &; P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243).https://doi.org/10.1007/978-3-540-39958-2_16 
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16

Derrick, J., &; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &; M. A. Wald\rquote en (Eds.), 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 (pp. 127--147).https://doi.org/10.1007/3-540-44880-2_10 
LibreCat: /record/3240
DOI: 10.1007/3-540-44880-2_10

Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.
LibreCat: /record/3241

Olderog, E.-R., &; Wehrheim, H. (2002). Specification and Inheritance in CSP-OZ. In F. S. de Boer, M. M. Bonsangue, S. Graf, &; W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379).https://doi.org/10.1007/978-3-540-39656-7_15 
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs &; A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands (pp. 79--93).
LibreCat: /record/3243

Rensink, A., &; Wehrheim, H. (2001). Process algebra with action dependencies. Acta Inf., (3), 155--234.https://doi.org/10.1007/s002360100070 
LibreCat: /record/3244
DOI: 10.1007/s002360100070

Bartetzko, D., Fischer, C., Möller, M., &; Wehrheim, H. (2001). Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117.https://doi.org/10.1016/S1571-0661(04)00247-6 
LibreCat: /record/3245
DOI: 10.1016/S1571-0661(04)00247-6

Fischer, C., Olderog, E.-R., &; Wehrheim, H. (2001). A CSP View on UML-RT Structure Diagrams. In H. Hu\'73smann (Ed.), 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 (pp. 91--108).https://doi.org/10.1007/3-540-45314-8_8 
LibreCat: /record/3246
DOI: 10.1007/3-540-45314-8_8

Fischer, C., &; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the EATCS, 92--101.
LibreCat: /record/3247

Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of CSP-OZ Specifications. Formal Asp. Comput., (3), 147--164.https://doi.org/10.1007/s001650070026 
LibreCat: /record/3248
DOI: 10.1007/s001650070026

Fischer, C., &; Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483).https://doi.org/10.1007/3-540-45499-3_33 
LibreCat: /record/3249
DOI: 10.1007/3-540-45499-3_33

Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), 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 (pp. 334--348).https://doi.org/10.1007/3-540-46428-X_23 
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith &; C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA (pp. 213--231).https://doi.org/10.1007/978-0-387-35520-7_11 
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84.https://doi.org/10.1016/S1571-0661(05)80296-8 
LibreCat: /record/3252
DOI: 10.1016/S1571-0661(05)80296-8

Wehrheim, H. (1999). Data Abstraction for CSP-OZ. In J. M. Wing, J. Woodcock, &; J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II (pp. 1028--1047).https://doi.org/10.1007/3-540-48118-4_5 
LibreCat: /record/3253
DOI: 10.1007/3-540-48118-4_5

Fischer, C., &; Wehrheim, H. (1999). Model-Checking CSP-OZ Specifications with FDR. In K. Araki, A. Galloway, &; K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 (pp. 315--334).
LibreCat: /record/3254

Gehrke, T., Huhn, M., Niebert, P., Rensink, A., &; Wehrheim, H. (1998). A Process Algebra Semantics for MSC Including Conditions. In H. K\'22onig &; P. Langend\'22orfer (Eds.), Formale Beschreibungstechniken f\'22ur verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. und 5. Juni 1998 (pp. 185--196).
LibreCat: /record/3255

Gehrke, T., Huhn, M., Rensink, A., &; Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, &; E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII’98, IFIP T W.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 (pp. 3--18).
LibreCat: /record/3256

Huhn, M., Niebert, P., &; Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind &; R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (pp. 271--282).https://doi.org/10.1007/978-3-540-49382-2_26 
LibreCat: /record/3257
DOI: 10.1007/978-3-540-49382-2_26

Rensink, A., &; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr\rquote vara &; P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (pp. 468--477).https://doi.org/10.1007/BFb0029990 
LibreCat: /record/3258
DOI: 10.1007/BFb0029990

Rensink, A., &; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr\rquote vara &; P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (pp. 468--477).https://doi.org/10.1007/BFb0029990 
LibreCat: /record/3259
DOI: 10.1007/BFb0029990

Wehrheim, H. (1996). Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany.
LibreCat: /record/3260

Goltz, U., &; Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184.https://doi.org/10.1016/0020-0190(96)00111-1 
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

Goltz, U., &; Wehrheim, H. (1996). Causal Testing. In W. Penczek &; A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406).https://doi.org/10.1007/3-540-61550-4_165 
LibreCat: /record/3262
DOI: 10.1007/3-540-61550-4_165

Rensink, A., &; Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson &; J. Parrow (Eds.), CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241).https://doi.org/10.1007/978-3-540-48654-1_20 
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

Wehrheim, H. (1994). Parametric Action Refinement. In E.-R\'22udiger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994 (pp. 247--266).
LibreCat: /record/3264