M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat: /record/418

T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph Transformation Systems via SMT Solving,” in Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

O. Travkin, A. Mütze, and H. Wehrheim, “SPIN as a Linearizability Checker under Weak Memory Models,” in Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

S. Ziegert and H. Wehrheim, “Temporal Reconfiguration Plans for Self-Adaptive Systems,” in Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, 2013, pp. 271--284.
LibreCat: /record/3179

D. Wonisch, A. Schremmer, and H. Wehrheim, “Zero Overhead Runtime Monitoring,” in Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat: /record/478

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

S. Walther and H. Wehrheim, “Knowledge-Based Verification of Service Compositions - An SMT approach,” in Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

O. Travkin, H. Wehrheim, and G. Schellhorn, “Proving Linearizability of Multiset with Local Proof Obligations,” ECEASST, 2012.
LibreCat: /record/3180

T. Ruhroth and H. Wehrheim, “Model evolution and refinement,” Sci. Comput. Program., no. 3, pp. 270--289, 2012.
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

G. Schellhorn, H. Wehrheim, and J. Derrick, “How to Prove Algorithms Linearisable,” in Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

D. Wonisch and H. Wehrheim, “Predicate Analysis with Block-Abstraction Memoization,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

N. Timm, H. Wehrheim, and M. Czech, “Heuristic-Guided Abstraction Refinement for Concurrent Systems,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

D. Wonisch, “Block Abstraction Memoization for CPAchecker,” in Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–792.
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B\'70arallelCSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” ACM Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43, 2011.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

T. Ruhroth, H. Wehrheim, and S. Ziegert, “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, 2011, pp. 83--90.
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

S. Schneider, H. Treharne, and H. Wehrheim, “A CSP Account of Event-B Refinement,” in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” Electronic Notes in Theoretical Computer Science, no. 2, pp. 3–16, 2011.
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

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

S. Schneider, H. Treharne, and H. Wehrheim, “A CSP Approach to Control in Event-B,” in Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems,” in 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, 2010, pp. 271--274.
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

D. Steenken, H. Wehrheim, and D. Wonisch, “Towards A Shape Analysis for Graph Transformation Systems,” CoRR, 2010.
LibreCat: /record/3198

J. Derrick and H. Wehrheim, “Model transformations across views,” Sci. Comput. Program., no. 3, pp. 192--210, 2010.
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic UML,” in Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533--554.
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques,” in Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

H. Wehrheim and D. Wonisch, “Compositional CSP Traces Refinement Checking,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009.
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” Electr. Notes Theor. Comput. Sci., pp. 193--205, 2009.
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

T. Ruhroth, H. Voigt, and H. Wehrheim, “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, 2009, pp. 360--367.
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

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

H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor. Comput. Sci., pp. 255--264, 2008.
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

H. .-Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008.
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

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 Asp. Comput., no. 2, pp. 161--204, 2008.
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” Fundam. Inform., no. 4, pp. 369--392, 2008.
LibreCat: /record/3206

G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
LibreCat: /record/3211
DOI: 10.1007/s00236-007-0042-3

B. Metzler and H. Wehrheim, “Extending a Component Specification Language with Time,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 47--67, 2007.
LibreCat: /record/3212
DOI: 10.1016/j.entcs.2006.02.031

H. .-Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness of Refactorings - Some Experiments,” Electr. Notes Theor. Comput. Sci., pp. 3--17, 2007.
LibreCat: /record/3213
DOI: 10.1016/j.entcs.2006.08.041

G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2

G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of UML Activities Using Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic Systems,” in International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, 2007, pp. 72--84.
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.
LibreCat: /record/3223

J. Derrick and H. Wehrheim, “Model Transformations Incorporating Multiple Views,” in Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.
LibreCat: /record/3224
DOI: 10.1007/11784180_11

H. Wehrheim, “Incremental Slicing,” in Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
LibreCat: /record/3225
DOI: 10.1007/11901433_28

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

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

H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput. Sci., no. 3, pp. 509--528, 2005.
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020

H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in UML Models,” in Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat: /record/3229
DOI: 10.1007/11494881_5

I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat: /record/3230
DOI: 10.1007/11576280_25

J. Derrick and H. Wehrheim, “Non-atomic Refinement in Z and CSP,” in 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, 2005, pp. 24--44.
LibreCat: /record/3231
DOI: 10.1007/11415787_3

I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,” in 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, 2005, pp. 414--433.
LibreCat: /record/3232
DOI: 10.1007/11415787_24

H. Wehrheim, “Refinement and Consistency in Component Models with Multiple Views,” in Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.
LibreCat: /record/3233
DOI: 10.1007/11786160_5

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, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.
LibreCat: /record/3234
DOI: 10.1007/978-3-540-24756-2_15

H. Wehrheim, “Refinement and Consistency in Multiview Models,” in Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
LibreCat: /record/3235

H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal Methods in System Design, no. 2, pp. 143--170, 2003.
LibreCat: /record/3236
DOI: 10.1023/A:1024764232069

H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat: /record/3238
DOI: 10.1007/978-3-540-39958-2_6

H. Rasch and H. Wehrheim, “Checking Consistency in UML Diagramms: Classes and State Machines,” in Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16

J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in 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, 2003, pp. 127--147.
LibreCat: /record/3240
DOI: 10.1007/3-540-44880-2_10

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

E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in CSP-OZ,” in Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in 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, 2002, pp. 79--93.
LibreCat: /record/3243

A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” Acta Inf., no. 3, pp. 155--234, 2001.
LibreCat: /record/3244
DOI: 10.1007/s002360100070

D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 103--117, 2001.
LibreCat: /record/3245
DOI: 10.1016/S1571-0661(04)00247-6

C. Fischer, E.-R. Olderog, and H. Wehrheim, “A CSP View on UML-RT Structure Diagrams,” in 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, 2001, pp. 91--108.
LibreCat: /record/3246
DOI: 10.1007/3-540-45314-8_8

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

H. Wehrheim, “Data Abstraction Techniques in the Validation of CSP-OZ Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.
LibreCat: /record/3248
DOI: 10.1007/s001650070026

C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat: /record/3249
DOI: 10.1007/3-540-45499-3_33

H. Wehrheim, “Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods,” in 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, 2000, pp. 334--348.
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in 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, 2000, pp. 213--231.
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

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

H. Wehrheim, “Data Abstraction for CSP-OZ,” in FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, 1999, pp. 1028--1047.
LibreCat: /record/3253
DOI: 10.1007/3-540-48118-4_5

C. Fischer and H. Wehrheim, “Model-Checking CSP-OZ Specifications with FDR,” in Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
LibreCat: /record/3254

T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for MSC Including Conditions,” in Formale Beschreibungstechniken f\'22ur verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185--196.
LibreCat: /record/3255

T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in 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, 1998, pp. 3--18.
LibreCat: /record/3256

M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.
LibreCat: /record/3257
DOI: 10.1007/978-3-540-49382-2_26

A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat: /record/3258
DOI: 10.1007/BFb0029990

A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat: /record/3259
DOI: 10.1007/BFb0029990

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

U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996.
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat: /record/3262
DOI: 10.1007/3-540-61550-4_165

A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

H. Wehrheim, “Parametric Action Refinement,” in 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, 1994, pp. 247--266.
LibreCat: /record/3264