Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4, 2015, pp. 303--320, doi:10.1007/s00450-014-0259-7.
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”10.1007/978-3-319-23506-6_1__Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.”10.1007/978-3-319-19249-9_11__FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”10.1007/978-3-319-26287-1_7__Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, Roland, et al., editors. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. 2015, doi:10.1007/978-3-319-23506-6.
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”10.1007/978-3-319-15317-9_3__Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 2014, pp. 31–48, doi:10.1007/978-3-319-15317-9_3.
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat: /record/340

Becker, Matthias, et al. “Towards Systematic Configuration for Architecture Validation.” Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”10.1007/978-3-319-14130-5_14__Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat: /record/383

Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.”10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2, 2014, pp. 251--280, doi:10.1007/s00165-012-0265-0.
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.”10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”10.1145/2629496__ACM Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”10.1007/978-3-319-06410-9_15__FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”10.1007/978-3-319-13338-6_11__Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”10.1007/978-3-319-11737-9_14__Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

A. Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.”10.1007/978-3-319-10181-1_14__Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.
LibreCat: /record/3174

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.
LibreCat: /record/3175

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”10.1145/2632362.2632372__Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39, doi:10.1145/2632362.2632372.
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.”10.1007/978-3-319-10181-1_19__Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Besova, Galina, et al. “Grammar-Based Model Transformations.”10.1016/j.cl.2015.05.003__Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

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

Isenberg, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems via SMT Solving.”10.1007/978-3-642-38592-6_13__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, edited by Dirk Beyer and Michele Boreale, 2013, pp. 178--192, doi:10.1007/978-3-642-38592-6_13.
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

Travkin, Oleg, et al. “SPIN as a Linearizability Checker under Weak Memory Models.”10.1007/978-3-319-03077-7_21__Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.”10.1007/978-3-642-39718-9_11__Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 2013, pp. 271--284.
LibreCat: /record/3179

Wonisch, Daniel, et al. “Zero Overhead Runtime Monitoring.”10.1007/978-3-642-40561-7_17__Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–58, doi:10.1007/978-3-642-40561-7_17.
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

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

Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.”10.1007/978-3-642-39799-8_65__Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

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

Travkin, Oleg, et al. “Proving Linearizability of Multiset with Local Proof Obligations.” ECEASST, 2012.
LibreCat: /record/3180

Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.”10.1016/j.scico.2011.04.007__Sci. Comput. Program., no. 3, 2012, pp. 270--289, doi:10.1016/j.scico.2011.04.007.
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

Schellhorn, Gerhard, et al. “How to Prove Algorithms Linearisable.”10.1007/978-3-642-31424-7_21__Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 2012, pp. 243--259, doi:10.1007/978-3-642-31424-7_21.
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

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

Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.”10.1007/978-3-642-34281-3_25__Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

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

Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”10.1007/978-3-642-33666-9_49__Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Schneider, Steve, et al. “Bounded Retransmission in Event-B\'70arallelCSP: A Case Study.”10.1016/j.entcs.2011.11.019__Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, Thomas, et al. “ReL: A Generic Refactoring Language for Specification and Execution.”10.1109/SEAA.2011.22__37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.”10.1007/978-3-642-21437-0_25__FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”10.1007/978-3-642-25032-3_7__Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, Steve, et al. “A CSP Account of Event-B Refinement.”10.4204/EPTCS.55.9__Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).”10.1016/j.scico.2011.01.009__Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.”10.1016/j.entcs.2011.11.008__Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

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

Schneider, Steve, et al. “A CSP Approach to Control in Event-B.”10.1007/978-3-642-16265-7_19__Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

Dräger, Klaus, et al. “SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.”10.1007/978-3-642-12002-2_22__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, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Steenken, Dominik, et al. “Towards A Shape Analysis for Graph Transformation Systems.” CoRR, 2010.
LibreCat: /record/3198

Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”10.1016/j.scico.2009.11.004__Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”10.1007/978-3-642-17322-6_23__Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”10.1007/978-3-642-16901-4_35__Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”10.1007/978-3-642-16265-7_14__Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

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

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

Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”10.1109/SEAA.2009.39__35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367, doi:10.1109/SEAA.2009.39.
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

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

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

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

Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.
LibreCat: /record/3206

Engels, Gregor, et al. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”10.1007/978-3-540-69100-6_7__Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”10.1007/978-3-540-68863-1_6__Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, Björn, et al. “Decomposition for Compositional Verification.”10.1007/978-3-540-88194-0_9__Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”10.1007/978-3-540-85762-4_26__Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.”10.1007/s00236-007-0042-3__Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.
LibreCat: /record/3211
DOI: 10.1007/s00236-007-0042-3

Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.”10.1016/j.entcs.2006.02.031__Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67, doi:10.1016/j.entcs.2006.02.031.
LibreCat: /record/3212
DOI: 10.1016/j.entcs.2006.02.031

Estler, H. .. Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.”10.1016/j.entcs.2006.08.041__Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17, doi:10.1016/j.entcs.2006.08.041.
LibreCat: /record/3213
DOI: 10.1016/j.entcs.2006.08.041

Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”10.1007/978-3-540-89020-1_2__Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch\'22urr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2

Engels, Gregor, et al. “Analysis of UML Activities Using Dynamic Meta Modeling.”10.1007/978-3-540-72952-5_5__Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.”10.1007/978-3-540-72952-5_15__Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 236--251, doi:10.1007/978-3-540-72952-5_15.
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.”10.1109/FOSE.2007.28__International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, edited by Lionel C. Briand and Alexander L. Wolf, 2007, pp. 72--84, doi:10.1109/FOSE.2007.28.
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.”10.1007/978-3-540-73210-5_11__Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2, 2006, pp. 22--45.
LibreCat: /record/3223

Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple Views.”10.1007/11784180_11__Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by Michael Johnson and Varmo Vene, 2006, pp. 111--126, doi:10.1007/11784180_11.
LibreCat: /record/3224
DOI: 10.1007/11784180_11

Wehrheim, Heike. “Incremental Slicing.”10.1007/11901433_28__Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He, 2006, pp. 514--528, doi:10.1007/11901433_28.
LibreCat: /record/3225
DOI: 10.1007/11901433_28

Gorrieri, Roberto, and Heike Wehrheim, editors. 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, doi:10.1007/11768869.
LibreCat: /record/3226
DOI: 10.1007/11768869

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in CSP-OZ.”10.1016/j.scico.2004.05.017__Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.
LibreCat: /record/3227
DOI: 10.1016/j.scico.2004.05.017

Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.”10.1016/j.tcs.2005.06.020__Theor. Comput. Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020

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

Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.”10.1007/11576280_25__Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung-Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:10.1007/11576280_25.
LibreCat: /record/3230
DOI: 10.1007/11576280_25

Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in Z and CSP.”10.1007/11415787_3__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, edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.
LibreCat: /record/3231
DOI: 10.1007/11415787_3

Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”10.1007/11415787_24__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, edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.
LibreCat: /record/3232
DOI: 10.1007/11415787_24

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

Möller, Michael, et al. “Linking CSP-OZ with UML and Java: A Case Study.”10.1007/978-3-540-24756-2_15__Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004, pp. 267--286, doi:10.1007/978-3-540-24756-2_15.
LibreCat: /record/3234
DOI: 10.1007/978-3-540-24756-2_15

Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B\rquote ezivin and Reiko Heckel, 2004.
LibreCat: /record/3235

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

Wehrheim, Heike. “Preserving Properties Under Change.”10.1007/978-3-540-30101-1_16__Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

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

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

Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.”10.1007/3-540-44880-2_10__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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.
LibreCat: /record/3240
DOI: 10.1007/3-540-44880-2_10

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

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in CSP-OZ.”10.1007/978-3-540-39656-7_15__Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” 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, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.
LibreCat: /record/3243

Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”10.1007/s002360100070__Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.
LibreCat: /record/3244
DOI: 10.1007/s002360100070

Bartetzko, Detlef, et al. “Jass - Java with Assertions.”10.1016/S1571-0661(04)00247-6__Electr. Notes Theor. Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.
LibreCat: /record/3245
DOI: 10.1016/S1571-0661(04)00247-6

Fischer, Clemens, et al. “A CSP View on UML-RT Structure Diagrams.”10.1007/3-540-45314-8_8__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, edited by Heinrich Hu\'73smann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.
LibreCat: /record/3246
DOI: 10.1007/3-540-45314-8_8

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

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