Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

208 Publications


2014 | Conference Paper | LibreCat-ID: 353
Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.” In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014. https://doi.org/10.1007/978-3-319-14130-5_14.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 383
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.
LibreCat | Files available | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 3167
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural Semantics of Event-B Refinement.” Formal Asp. Comput., no. 2 (2014): 251--280. https://doi.org/10.1007/s00165-012-0265-0.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3168
Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.” Sci. Comput. Program., 2014, 297--314. https://doi.org/10.1016/j.scico.2014.04.001.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3169
Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” {ACM} Trans. Comput. Log., no. 4 (2014): 31:1--31:37. https://doi.org/10.1145/2629496.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3170
Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” In {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-06410-9_15.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” In Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-13338-6_11.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” In 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, 203--218. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-11737-9_14.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” In Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-10181-1_14.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3174
Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 3175
Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” CoRR, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 450
Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.” In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014. https://doi.org/10.1145/2632362.2632372.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.” In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014. https://doi.org/10.1007/978-3-319-10181-1_19.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 418 | OA
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, Tobias, Dominik Steenken, and Heike 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, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-38592-6_13.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, Annika Mütze, and Heike 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, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-319-03077-7_21.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike 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, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-39718-9_11.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” In Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 271--284. {LNI}, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 469
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.” In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013. https://doi.org/10.1007/978-3-642-40561-7_17.
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 498
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.” In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013. https://doi.org/10.1007/978-3-642-39799-8_65.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 517
Walther, Sven, and Heike 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), 24–32, 2013. https://doi.org/10.1109/ICECCS.2013.14.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 3180
Travkin, Oleg, Heike Wehrheim, and Gerhard Schellhorn. “Proving Linearizability of Multiset with Local Proof Obligations.” {ECEASST}, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.” Sci. Comput. Program., no. 3 (2012): 270--289. https://doi.org/10.1016/j.scico.2011.04.007.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, Gerhard, Heike Wehrheim, and John Derrick. “How to Prove Algorithms Linearisable.” In Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 243--259. Lecture Notes in Computer Science, 2012. https://doi.org/10.1007/978-3-642-31424-7_21.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 590
Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.” In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 332–47. LNCS, 2012. https://doi.org/10.1007/978-3-642-34281-3_24.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 608
Timm, Nils, Heike Wehrheim, and Mike Czech. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.” In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 348–63. LNCS, 2012. https://doi.org/10.1007/978-3-642-34281-3_25.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 627
Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.” In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 531–33. LNCS, 2012. https://doi.org/10.1007/978-3-642-28756-5_41.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 565
Besova, Galina, Sven Walther, Heike Wehrheim, and Steffen 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), 776–92. LNCS, 2012. https://doi.org/10.1007/978-3-642-33666-9_49.
LibreCat | Files available | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, 69--80. https://doi.org/10.1016/j.entcs.2011.11.019.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1 (2011): 4:1--4:43. https://doi.org/10.1145/1889997.1890001.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, Heike Wehrheim, and Steffen 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, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, Gerhard Schellhorn, and Heike 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, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.” In Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 647
Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” Science of Computer Programming, no. 10 (2011): 835--836. https://doi.org/10.1016/j.scico.2011.01.009.
LibreCat | Files available | DOI
 

2011 | Journal Article | LibreCat-ID: 649
Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability Prediction of Service Compositions.” Electronic Notes in Theoretical Computer Science, no. 2 (2011): 3–16. https://doi.org/10.1016/j.entcs.2011.11.008.
LibreCat | Files available | DOI
 

2011 | Mastersthesis | LibreCat-ID: 658
Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3195
Schneider, Steve, Helen Treharne, and Heike 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, edited by Dominique M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_19.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike 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, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3198
Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 3189
Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3 (2010): 192--210. https://doi.org/10.1016/j.scico.2009.11.004.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike 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, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-17322-6_23.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike 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, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike 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, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 3199
Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 3200
Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” Electr. Notes Theor. Comput. Sci., 2009, 193--205. https://doi.org/10.1016/j.entcs.2009.12.025.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth, Thomas, Hendrik Voigt, and Heike 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, 360--367, 2009. https://doi.org/10.1109/SEAA.2009.39.
LibreCat | DOI
 

2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009. https://doi.org/10.1007/978-3-642-00255-7.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes Theor. Comput. Sci., 2008, 255--264. https://doi.org/10.1016/j.entcs.2008.02.023.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, 331--357. https://doi.org/10.1016/j.entcs.2008.06.015.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2 (2008): 161--204. https://doi.org/10.1007/s00165-007-0042-7.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike 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, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick, John, Gerhard Schellhorn, and Heike 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, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Metzler, Björn, Heike Wehrheim, and Daniel 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, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-88194-0_9.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3211
Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3212
Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” Electr. Notes Theor. Comput. Sci., no. 2 (2007): 47--67. https://doi.org/10.1016/j.entcs.2006.02.031.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3213
Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking Correctness of Refactorings - Some Experiments.” Electr. Notes Theor. Comput. Sci., 2007, 3--17. https://doi.org/10.1016/j.entcs.2006.08.041.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3214
Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike 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, edited by Andy Sch{\"{u}}rr, Manfred Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-89020-1_2.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3215
Engels, Gregor, Christian Soltenborn, and Heike 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, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, Thomas, and Heike 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, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3221
Schäfer, Wilhelm, and Heike 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}, edited by Lionel C. Briand and Alexander L. Wolf, 72--84, 2007. https://doi.org/10.1109/FOSE.2007.28.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3222
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.” In Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-73210-5_11.
LibreCat | DOI
 

2006 | Journal Article | LibreCat-ID: 3223
Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2 (2006): 22--45.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 3224
Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple Views.” In Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by Michael Johnson and Varmo Vene, 111--126. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11784180_11.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 3225
Wehrheim, Heike. “Incremental Slicing.” In 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, 514--528. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11901433_28.
LibreCat | DOI
 

2006 | Conference (Editor) | LibreCat-ID: 3226
Gorrieri, Roberto, and Heike 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. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11768869.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 3227
Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257. https://doi.org/10.1016/j.scico.2004.05.017.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3229
Rasch, Holger, and Heike 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, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3230
Brückner, Ingo, and Heike 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, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3231
Derrick, John, and Heike 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, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3232
Brückner, Ingo, and Heike 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, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_24.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 3233
Wehrheim, Heike. “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, edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/11786160_5.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 3234
Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike 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, edited by Eerke A. Boiten, John Derrick, and Graeme Smith, 267--286. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/978-3-540-24756-2_15.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 3235
Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” In Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B{\’{e}}zivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 3236
Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “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, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_6.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike 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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike 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, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4 (2002): 405--435.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 3242
Olderog, Ernst-Rüdiger, and Heike 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, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002. https://doi.org/10.1007/978-3-540-39656-7_15.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In 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, edited by Bart Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 3244
Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” Acta Inf., no. 3 (2001): 155--234. https://doi.org/10.1007/s002360100070.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 3245
Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim. “Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2 (2001): 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 3246
Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike 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, edited by Heinrich Hu{\ss}mann, 91--108. Lecture Notes in Computer Science, 2001. https://doi.org/10.1007/3-540-45314-8_8.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 3247
Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, 92--101.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3248
Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike 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, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-45499-3_33.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, Heike. “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, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In 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}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, Heike. “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}, edited by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. https://doi.org/10.1007/3-540-48118-4_5.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 3254
Fischer, Clemens, and Heike 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, edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3255
Gehrke, Thomas, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike Wehrheim. “A Process Algebra Semantics for {MSC} Including Conditions.” In Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer, 185--196, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3256
Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike 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} {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, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18. {IFIP} Conference Proceedings, 1998.
LibreCat
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed