Publications Heike Wehrheim


2017

M. - C. Jakobs, H. Wehrheim: Compact Proof Witnesses. In: Barrett, Clark and Davies, Misty and Kahsai, Temesghen (eds.): "NASA Formal Methods: 9th International Symposium. Springer International Publishing, Lecture Notes in Computer Science, vol. 10227, pp. 389-403 (2017)

[Show BibTeX] [DOI]
M. Czech, E. Hüllermeier, M. - C. Jakobs, H. Wehrheim: Predicting Rankings of Software Verification Competitions. arXiv, presented at 1st Workshop on Learning in Verification (LiVe) (2017)

[Show BibTeX] [URL]
M. Czech, E. Hüllermeier, M. - C. Jakobs, H. Wehrheim: Predicting Rankings of Software Verification Tools. In: Proceedings of the 3rd International Workshop on Software. ACM, SWAN'17, pp. 23-26 (2017)

[Show BibTeX] [DOI]
M. - C. Jakobs, H. Wehrheim: Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. In: ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 39, no. 2, pp. 7:1-7:56. ACM (2017)

[Show BibTeX] [DOI]

2016

M. Czech, M. - C. Jakobs, H. Wehrheim: Just test what you cannot verify!. In: Jens Knoop, Uwe Zdun (eds.): Software Engineering 2016. Gesellschaft für Informatik, Lecture Notes in Informatics, vol. P-252, pp. 17-18 (2016)

[Show BibTeX]
S. Walther, H. Wehrheim: On-the-fly construction of provably correct service compositions – templates and proofs. In: Science of Computer Programming (to appear). (2016)

[Show Abstract] [Show BibTeX] [DOI] [URL]
G. Schellhorn, O. Travkin, H. Wehrheim: Towards a Thread-Local Proof Technique for Starvation Freedom. In: Erika Ábrahám and Marieke Huisman (eds.): Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. , LNCS, vol. 9681 (2016)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
O. Travkin, H. Wehrheim: Verification of Concurrent Programs on Weak Memory Models. In: Augusto Sampaio and Farn Wang (eds.): Theoretical Aspects of Computing - ICTAC 2016 - 13 th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. , Lecture Notes in Computer Science, vol. 9965, pp. 3 - 24 (2016)

[PDF] [Show BibTeX] [DOI] [URL]

2015

M. Czech, M. - C. Jakobs, H. Wehrheim: Just test what you cannot verify!. In: Egyed, Alexander and Schaefer, Ina (eds.): Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 9033, pp. 100-114 (2015)

[Show BibTeX] [DOI]
M. - C. Jakobs, H. Wehrheim: Programs from Proofs of Predicated Dataflow Analyses. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, SAC '15, pp. 1729-1736 (2015)

[Show Abstract] [Show BibTeX] [DOI]
S. Ziegert, H. Wehrheim: Temporal Plans for Software Architecture Reconfiguration. In: Computer Science - Research and Development, vol. 30, no. 3-4, pp. 303-320. Springer (2015)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim, O. Travkin: TSO to SC via Symbolic Execution. In: Nir Piterman (eds.): Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel. , LNCS, vol. 9434, pp. 104 - 119 (2015)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
S. Walther, H. Wehrheim: Verified Service Compositions by Template-Based Construction. In: Lanese, Ivan and Madelaine, Eric (eds.): Formal Aspects of Component Software. Springer, LNCS, pp. 31-48 (2015)

[PDF] [Show BibTeX] [DOI]
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim: Verifying Opacity of a Transactional Mutex Lock. In: Nikolaj Bjørner and Frank S. de Boer (eds.): FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway. , LNCS, vol. 9109, pp. 161 - 177 (2015)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

2014

G. Schellhorn, J. Derrick, H. Wehrheim: A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. In: ACM Transactions on Computational Logic. , vol. 15, no. 31 (2014)

[Show Abstract] [Show BibTeX] [DOI]
M. - C. Jakobs, H. Wehrheim: Certification for Configurable Program Analysis. In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. ACM, pp. 30-39 (2014)

[Show Abstract] [Show BibTeX] [DOI]
G. Besova, D. Steenken, H. Wehrheim: Grammar-Based Model Transformations. In: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw. , pp. 1601-1610 (2014)

[Show Abstract] [Show BibTeX]
O. Travkin, H. Wehrheim: Handling TSO in Mechanized Linearizability Proofs. In: Eran Yahaf (eds.): Hardware and Software: Verification and Testing. Springer, LNCS, vol. 8855, pp. 132-147 (2014)

[Show Abstract] [Show BibTeX] [DOI]
M. - C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim: Integrating Software and Hardware Verification. In: Albert, Elvira and Sekerinski, Emil (eds.): Integrated Formal Methods, pp. 307-322. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
S. Schneider, H. Treharne, H. Wehrheim, D. Williams: Managing LTL Properties in Event-B Refinement. In: Integrated Formal Methods. Springer, LNCS, vol. 8379, pp. 221-237 (2014)

[Show Abstract] [Show BibTeX]
D. Wonisch, A. Schremmer, H. Wehrheim: Programs from Proofs- Approach and Applications. In: W. Hasselbring, N.C. Ehmke (eds.): In Proceedings fo the Software Engineering Conference (SE). , LNI, vol. 227, pp. 67-68 (2014)

[Show Abstract] [PDF] [Show BibTeX]
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim: Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: FM 2014: Formal Methods. Springer, LNCS, vol. 8442, pp. 200-214 (2014)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
S. Schneider, H. Treharne, H. Wehrheim: The behavioural semantics of Event-B refinement. In: . Formal Aspects of Computing, vol. 26, no. 2, pp. 251-280 (2014)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
T. Isenberg, H. Wehrheim: Timed Automata Verification via IC3 with Zones. In: Merz, Stephan and Pang, Jun (eds.): Formal Methods and Software Engineering. Springer, LNCS, vol. 8829, pp. 203-218 (2014)

[Show Abstract] [Show BibTeX] [DOI] [URL]
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim: Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). IEEE (2014)

[PDF] [Show BibTeX]
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim: Two approaches for proving linearizability of multiset. In: . Science of Computer Programming, vol. 96, pp. 297-314 (2014)

[Show Abstract] [Show BibTeX]

2013

B. Dongol, O. Travkin, J. Derrick, H. Wehrheim: A High-Level Semantics for Program Execution under Total Store Order Memory. In: Z. Liu, J. Woodcock, H. Zhu (eds.): Theoretical Aspects of Computing – ICTAC 2013. Springer Berlin/Heidelberg, LNCS, vol. 8049, pp. 177-194 (2013)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
T. Isenberg, D. Steenken, H. Wehrheim: Bounded Model Checking of Graph Transformation Systems via SMT Solving. In: D. Beyer, M. Boreale (eds.): Formal Techniques for Distributed Systems. Springer Berlin/Heidelberg, LNCS, vol. 7892, pp. 178-192 (2013)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
S. Walther, H. Wehrheim: Knowledge-Based Verification of Service Compositions - An SMT approach. In: Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference. , pp. 24-32 (2013)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
D. Wonisch, A. Schremmer, H. Wehrheim: Programs from Proofs – A PCC Alternative. In: N. Sharygina, H. Veith (eds.): Computer Aided Verification. Springer Berlin/Heidelberg, LNCS, vol. 8044, pp. 912-927 (2013)

[PDF] [Show BibTeX] [DOI]
O. Travkin, A. Mütze, H. Wehrheim: SPIN as a Linearizability Checker under Weak Memory Models. In: Valeria Bertacco, Alex Legay (eds.): Hardware and Software: Verification and Testing. Springer International Publishing, Lecture Notes in Computer Science, vol. 8244, pp. 311-326 (2013)

[PDF] [Show BibTeX] [DOI] [URL]
S. Ziegert, H. Wehrheim: Temporal Reconfiguration Plans for Self-Adaptive Systems. In: S. Kowalewski, B. Rumpe (eds.): Software Engineering. Gesellschaft für Informatik e. V., LNI, vol. 213, pp. 271-284 (2013)

[Show BibTeX]
D. Wonisch, A. Schremmer, H. Wehrheim: Zero Overhead Runtime Monitoring. In: Software Engineering and Formal Methods. Springer Berlin/Heidelberg, LNCS, vol. 8137, pp. 244-258 (2013)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

2012

N. Timm, H. Wehrheim, M. Czech: Heuristic-Guided Abstraction Refinement for Concurrent Systems. In: T. Aoki and K. Tagushi (eds.): Proceedings of the 14th International Conference on Formal Engineering Methods and Software Engineering ICFEM'12. Springer Berlin/Heidelberg, pp. 348-363 (2012)

[Show Abstract] [Show BibTeX]
G. Schellhorn, H. Wehrheim, J. Derrick: How to Prove Algorithms Linearisable. In: Computer Aided Verification. Springer Berlin/Heidelberg, LNCS, vol. 7358/2012, pp. 243-259 (2012)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
T. Ruhroth, H. Wehrheim: Model evolution and refinement. In: . Science of Computer Programming, vol. 77, no. 3, pp. 270 - 289 (2012)

[Show Abstract] [Show BibTeX] [DOI]
D. Wonisch, H. Wehrheim: Predicate Abstraction with Block Abstraction Memoization. Technical Report. University of Paderborn, (2012)

[PDF] [Show BibTeX]
D. Wonisch, H. Wehrheim: Predicate Analysis with Block-Abstraction Memoization. In: T. Aoki, K. Taguchi (eds.): Formal Methods and Software Engineering. Springer Berlin/Heidelberg, vol. 7635, pp. 332-347 (2012)

[Show Abstract] [Show BibTeX] [DOI]
O. Travkin, G. Schellhorn, H. Wehrheim: Proving Linearizability of Multiset with Local Proof Obligations. In: G. Lüttgen, S. Merz (eds.): Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012). ECEASST, vol. 53 (2012)

[Show Abstract] [Show BibTeX]
G. Besova, S. Walther, H. Wehrheim, S. Becker: Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. In: R. B. France, J. Kazmeier, R. Breu, C. Atkinson (eds.): Model Driven Engineering Languages and Systems. Springer Berlin/Heidelberg, LNCS, vol. 7590, pp. 776-792 (2012)

[Show Abstract] [Show BibTeX] [DOI] [URL]

2011

S. Schneider, H. Treharne, H. Wehrheim: A CSP Account of Event-B Refinement. In: J. Derrick, E. Boiten, St. Reeves (eds.): Proceedings 15th International Refinement Workshop. , Electronic Proceedings in Theoretical Computer Science, vol. 55, pp. 139-154 (2011)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
H. Estler, H. Wehrheim: Heuristic Search-Based Planning for Graph Transformation Systems. In: Proceedings: Workshop on Knowledge Engineering for Planning and Scheduling, Freiburg. (2011)

[Show Abstract] [PDF] [Show BibTeX] [URL]
J. Derrick, G. Schellhorn, H. Wehrheim: Mechanically verified proof obligations for linearizability. In: ACM Transactions on Programming Languages and Systems (TOPLAS). , vol. 33, no. 1, pp. 4 (2011)

[Show Abstract] [Show BibTeX] [DOI] [URL]
T. Ruhroth, H. Wehrheim, S. Ziegert: ReL: A Generic Refactoring Language for Specification and Execution. In: 37th EUROMICRO Conference on Software Engineering and Advanced Application (SEAA 2011). IEEE Computer Society (2011)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
G. Besova, H. Wehrheim, A. Wagner: Reputation-based reliability prediction of service compositions. In: Proceedings 8th Internationa Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2011), European Joint Conferences on Theory and Practice of Software. (2011)

[Show BibTeX]
M. Leuschel, H. Wehrheim: Selected Papers on Integrated Formal Methods. In: Special issue on iFM09, Science of Computer Programming. , vol. 76, no. 10, pp. 835-836 (2011)

[PDF] [Show BibTeX] [DOI] [URL]
D. Steenken, H. Wehrheim, D. Wonisch: Sound and Complete Abstract Graph Transformation. In: Simao, Adenilso and Morgan, Carroll (eds.): 14th Brazilian Symposium on Formal Methods (SBMF 2011). Springer Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 7021, pp. 92-107 (2011)

[Show Abstract] [Show BibTeX] [DOI]
J. Derrick, G. Schellhorn, H. Wehrheim: Verifying Linearisability with Potential Linearisation Points. In: Michael Butler, Wolfram Schulte (eds.): . Springer Berlin/Heidelberg, LNCS, vol. 6664/2011, pp. 323-327 (2011)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

2010

S. Schneider, H. Treharne, H. Wehrheim: A CSP Approach to Control in Event-B. In: D. Méry, S. Merz (eds.): IFM 2010. Springer Verlag Berlin-Heidelberg, LNCS, vol. 6396, pp. 260-274 (2010)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
J. Derrick, H. Wehrheim: Model transformations across views. In: Science of Computer Programming, vol. 75, no. 3, pp. 192-210. Elsevier B. V. (2010)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
W. Schäfer, H. Wehrheim: Model-Driven Development with Mechatronic UML. In: W.Schäfer, H.Wehrheim (eds.): Graph Transformations and Model-Driven Engineering. Springer Verlag Berlin-Heidelberg, LNCS, pp. 533-554 (2010)

[Show Abstract] [Show BibTeX] [DOI] [URL]
N. Timm, H. Wehrheim: On Symmetries and Spotlights - Verifying Parameterised Systems. In: J.S. Dong, H.Zhu (eds.): Proceedings of the 12th International Conference on Formal Engineering Methods and Software Engineering ICFEM'10. Springer Verlag Berlin-Heidelberg, LNCS, vol. 6447, pp. 534-548 (2010)

[Show Abstract] [PDF] [Show BibTeX]
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim: Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: D. Méry, S. Merz (eds.): IFM 2010. Springer Verlag Berlin-Heidelberg, LNCS, vol. 6396, pp. 183-198 (2010)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
M. Röhs, H. Wehrheim: Sichere Konfigurationsplanung selbst-adaptierender Systeme durch Model Checking. In: J. Gausemeier, F. Rammig, W. Schäfer, A. Trächtler (eds.): Entwurf mechatronischer Systeme. , HNI-Verlagsschriftenreihe, vol. 272, pp. 253-265 (2010)

[Show Abstract] [Show BibTeX]
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim: SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. In: Javier Esparza, Rupak Majumdar (eds.): Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, LNCS, vol. 6015, pp. 271-274 (2010)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
H. Wehrheim, D. Steenken, D. Wonisch: Towards A Shape Analysis for Graph Transformation Systems. In: ArXiv e-prints. (2010)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
D. Steenken, H. Wehrheim, D. Wonisch: Towards a Shape Analysis for Graph Transformation Systems. In: Proceedings Nordic Workshop on Programming Theory. (2010)

[Show Abstract] [Show BibTeX]

2009

H. Wehrheim, D. Wonisch: Compositional CSP traces refinement checking. In: A. Miller and M. Calder (eds.): Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS 2008). Elsevier B.V., Electronic Notes in Theoretical Computer Science, vol. 250, Issue 2, pp. 135-151 (2009)

[Show Abstract] [Show BibTeX] [DOI]
H. Voigt, T. Ruhroth, H. Wehrheim: Measure, diagnose, refactor: A formal quality cycle for software models. In: 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE Computer Society, pp. 360-367 (2009)

[PDF] [Show BibTeX]
M. Leuschel, H. Wehrheim (eds.): Proceedings of iFM09: Integrated Formal Methods. Springer (2009)

[Show BibTeX]
T. Ruhroth, H. Wehrheim: Refinement-Preserving Co-evolution. In: Karin Breitman and Ana Cavalcanti (eds.): Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009.. Springer, LNCS, vol. 5885, pp. 620-638 (2009)

[PDF] [Show BibTeX] [DOI]
T. Ruhroth, H. Wehrheim: Static Class Elements for Object-Z. In: Proceedings fo the 14th BCS-FACS Refinement Workshop (REFINE 2009). Elsevier, Electronic Notes in Theoretical Computer Science, vol. 259, pp. 193-205 (2009)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
J. Schrieb, H. Wehrheim, D. Wonisch: Three-Valued Spotlight Abstractions. In: Ana Cavalcanti and Dennis Dams (eds.): FM 2009: Formal Methods. Springer, LNCS, vol. 5850, pp. 106-122 (2009)

[PDF] [Show BibTeX] [DOI]

2008

H. Estler, H. Wehrheim: Alloy as a Refactoring Checker?. In: E. Boiten, J. Derrick and G. Schellhorn (eds.): Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008). Elsevier, ENTCS, vol. 214, pp. 331-357 (2008)

[Show Abstract] [Show BibTeX] [DOI]
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim: Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Schürr, Andy and Nagl, Manfred and Zündorf, Albert (eds.): Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007). Springer Verlag Berlin-Heidelberg, LNCS, vol. Volume 5088/2008, pp. 17 - 31 (2008)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim: Bounded Model Checking for Partial Kripke Structures. In: Fitzgerald, John S.; Haxthausen, Anne E.; Yenigun, Husnu (eds.): Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium. Springer, LNCS, vol. 5160 , pp. 380-394 (2008)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
B. Metzler, H. Wehrheim, D. Wonisch: Decomposition for Compositional Verification. In: Liu, Shaoying; Maibaum, Tom; Araki, Keijiro (eds.): Proceedings International Conference on Formal Engineering Methods (ICFEM 2008). Springer, LNCS, vol. 5256, pp. 105-125 (2008)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim: From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker, Ina; Hartman, Alan (eds.): Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008. Springer, LNCS, vol. 5095 , pp. 94-109 (2008)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
M. Möller, E. Olderog, H. Rasch, H. Wehrheim: Integrating a formal method into a software engineering process with UML and Java. In: Formal Aspects of Computing, vol. 20, no. 2, pp. 161-204. Springer (2008)

[Show Abstract] [Show BibTeX] [DOI]
J. Derrick, G. Schellhorn, H. Wehrheim: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Gilles Barthe and Frank S. de Boer (eds.): Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008. Springer, Lecture Notes in Computer Science, vol. 5051, pp. 78-95 (2008)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim: Refinement in the Presence of Unknowns. In: E. Boiten, J. Derrick and G. Smith (eds.): Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Elsevier, ENTCS, vol. 201, pp. 255-264 (2008)

[Show Abstract] [Show BibTeX] [DOI]
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim: Slicing Abstractions. In: Fundamenta Informaticae, vol. 89(4), pp. 369-392. IOS Press (2008)

[Show Abstract] [Show BibTeX]

2007

G. Engels, C. Soltenborn, H. Wehrheim: Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, Marcello M.; Johnsen, Einar Broch (eds.): Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007. Springer, LNCS, vol. 4468 , pp. 76-90 (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
B. Metzler, H. Wehrheim: Extending a Component Specification Language with Time. In: J.K.F. Bowles, I. Poernomo and R. Reussner (eds.): Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006). Elsevier, ENTCS, vol. 176, no. 2, pp. 47-67 (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Estler, T. Ruhroth, H. Wehrheim: Modelchecking Correctness of Refactorings - Some Experiments. In: B. Aichernig, E. Boiten, J. Derrick, L. Groves (eds.): Proceedings REFINE 2006. Elsevier, ENTCS, vol. 187, pp. 3-17 (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
J. Derrick, H. Wehrheim: On using data abstractions for model checking refinements. In: Acta Informatica, vol. 44, no. 1, pp. 41-71. Springer (2007)

[Show Abstract] [Show BibTeX] [DOI]
J. Derrick, G. Schellhorn, H. Wehrheim: Proving Linearizability Via Non-atomic Refinement. In: Jim Davies and Jeremy Gibbons (eds.): Integrated Formal Methods, 6th International Conference, IFM 2007. Springer, LNCS, pp. 195-214 (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
T. Ruhroth, H. Wehrheim: Refactoring Object-Oriented Specifications with Data and Processes. In: Bonsangue, Marcello M.; Johnsen, Einar Broch (eds.): Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007. Springer, LNCS, vol. 4468, pp. 236-251 (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim: Slicing Abstractions. In: Farhad Arbab and Marjan Sirjani (eds.): International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007. Springer, Lecture Notes in Computer Science, vol. 4767, pp. 17-32 (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
W. Schäfer, H. Wehrheim: The challenges of building advanced mechatronic systems. In: FOSE 2007: The Future of Software Engineering. IEEE Computer Society (2007)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

2006

H. Wehrheim: Incremental Slicing. In: Liu, Zhiming and He, Jifeng (eds.): Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006. Springer, LNCS, vol. 4260, pp. 514-528 (2006)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
J. Derrick, H. Wehrheim: Model Transformations Incorporating Multiple Views, Proceedings. In: Johnson, Michael; Vene, Varmo (eds.): Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006. Springer, LNCS, vol. 4019 , pp. 111-126 (2006)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
I. Brückner, B. Metzler, H. Wehrheim: Optimizing Slicing of Formal Specifications by Deductive Verification. In: Nordic Journal of Computing, vol. 13, no. 1-2, pp. 22-45. Publishing Association Nordic Journal of Computing (2006)

[Show Abstract] [PDF] [Show BibTeX] [URL]
R. Gorrieri, H. Wehrheim (eds.): Proceedings of FMOODS 2006: Formal Methods for Open Object-Based Distributed Systems. Springer (2006)

[Show BibTeX]
H. Wehrheim: Refinement and Consistency in Component Models with Multiple Views. In: R. H. Reussner and J. A. Stafford and C. A. Szyperski (eds.): Architecting Systems with Trustworthy Components, International Seminar. Springer, LNCS, vol. 3938, pp. 84-102 (2006)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

2005

H. Rasch, H. Wehrheim: Checking the validity of scenarios in UML models. In: M. Steffen, G. Zavatarro (eds.): FMOODS 2005: Formal Methods for Open Object-based Distributed Systems. Springer, LNCS, vol. 3535, pp. 67-82 (2005)

[Show Abstract] [PDF] [Show BibTeX]
J. Derrick, H. Wehrheim: Non-atomic Refinement in Z and CSP. In: Treharne, H.; King, S.; Henson, M.; Schneider, S. (eds.): ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users. Springer, LNCS, vol. 3455 , pp. 24-44 (2005)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim, I. Brückner: Slicing an Integrated Formal Method for Verification. In: Kung-Kiu Lau and Richard Banach (eds.): Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005. Springer, Lecture Notes in Computer Science, vol. 3785, pp. 360-374 (2005)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim, I. Brückner: Slicing Object-Z Specifications for Verification. In: Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider (eds.): ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users. Springer, Lecture Notes in Computer Science, vol. 3455, pp. 414-433 (2005)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim: Slicing techniques for verification re-use. In: Theoretical Computer Science, vol. 343, no. 3, pp. 509-528. Elsevier (2005)

[Show Abstract] [Show BibTeX] [DOI]
E. Olderog, H. Wehrheim: Specification and (property) inheritance in CSP-OZ. In: Science of Computer Programming, vol. 55, no. 1-3, pp. 227-257. Elsevier (2005)

[Show Abstract] [Show BibTeX] [DOI]

2004

C. Fischer, H. Wehrheim: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. In: G. Paun, G. Rozenberg, and A. Salomaa (eds.): Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol 2: Formal Models and Semantics. World Scientific, vol. 2 (2004)

[Show Abstract] [PDF] [Show BibTeX]
M. Möller, E. Olderog, H. Rasch, H. Wehrheim: Linking CSP-OZ with UML and Java: A Case Study. In: Boiten, Eerke; Derrick, John; Smith, Graeme (eds.): Integrated Formal Methods, 4th International Conference, IFM 2004. Springer, LNCS, no. 2999, pp. 267-286 (2004)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
H. Wehrheim: Refinement and Consistency in Multiview Models. In: Language Engineering for Model-Driven Software Development. (2004)

[Show Abstract] [Show BibTeX] [URL]

2003

H. Wehrheim: Behavioral Subtyping Relations for Active Objects. In: Formal Methods in System Design, vol. 23, no. 2, pp. 143-170. Springer (2003)

[Show Abstract] [Show BibTeX] [DOI]
H. Rasch, 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. Springer, LNCS, no. 2884, pp. 229-243 (2003)

[Show Abstract] [PDF] [Show BibTeX] [URL]
H. Wehrheim: Inheritance of Temporal Logic Properties. In: Najm, Elie; Nestmann, Uwe; Stevens, Perdita (eds.): Formal Methods for Open Object-based Distributed Systems. Springer, LNCS, no. 2884, pp. 79-93 (2003)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
H. Wehrheim: Preserving Properties Under Change. In: Boer, F.S. de; Bonsangue, M.M.; Graf, S.; de Roever, W.-P (eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003. Springer, LNCS, vol. 3188 , pp. 330-343 (2003)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
J. Derrick, H. Wehrheim: Using Coupled Simulations in Non-atomic Refinement. In: Bert, D.; Bowen, J.P.; King, S.; Waldén, M. (eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003. Springer, LNCS, vol. 2651, pp. 127-147 (2003)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]

2002

H. Wehrheim: Checking Behavioural Subtypes via Refinement. In: B. Jacobs and A. Rensink (eds.): 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). Kluwer, pp. 79-93 (2002)

[Show Abstract] [PDF] [Show BibTeX]
H. Wehrheim: Relating State-based and Behaviour-oriented Subtyping. In: Nordic Journal of Computing, vol. 9, no. 4, pp. 405-435. Publishing Association Nordic Journal of Computing (2002)

[Show Abstract] [Show BibTeX] [URL]
E. Olderog, H. Wehrheim: Specification and Inheritance in CSP-OZ. In: F.S. de Boer and M.M. Bonsangue (eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002. Elsevier, Science of Computer Programming , pp. 361-379 (2002)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]

2001

C. Fischer, E. Olderog, H. Wehrheim: A CSP View on UML-RT Structure Diagrams. In: H. Husmann (eds.): 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. Springer, LNCS, vol. 2029, pp. 91-108 (2001)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim: Jass - Java with Assertions. In: Klaus Havelund and Grigore Rosu (eds.): Electr. Notes Theor. Comput. Sci., vol. 55, no. 2. Elsevier Science (2001)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
H. Wehrheim: Patterns and Rules for Behavioural Subtyping. In: M. Kim, B. Chin, S. Kang, and D. Lee (eds.): Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21$^\mboxst$ International Conference on Formal Techniques for Networked and Distributed Systems. Kluwer, pp. 335-352 (2001)

[Show Abstract] [PDF] [Show BibTeX]
A. Rensink, H. Wehrheim: Process algebra with action dependencies. In: Acta Informatica, vol. 38, no. 3, pp. 155-234. Springer (2001)

[Show Abstract] [Show BibTeX] [URL]

2000

H. Wehrheim: Behavioural Subtyping and Property Preservation. In: S. Smith and C. Talcott (eds.): 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). Kluwer, pp. 213-232 (2000)

[Show Abstract] [PDF] [Show BibTeX]
C. Fischer, H. Wehrheim: Behavioural Subtyping Relations for Object-Oriented Formalisms. In: T. Rus (eds.): Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000. Springer, LNCS, vol. 1816, pp. 469-483 (2000)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]
H. Wehrheim: Data Abstraction Techniques in the Validation of CSP-OZ Specifications. In: Formal Aspects of Computing, vol. 12, no. 3, pp. 147-164. Springer (2000)

[Show Abstract] [Show BibTeX] [DOI]
C. Fischer, H. Wehrheim: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. In: Bulletin of the EATCS, vol. 71, pp. 92-101. (2000)

[Show Abstract] [PDF] [Show BibTeX]
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. Springer, LNCS, no. 1783, pp. 334-348 (2000)

[Show Abstract] [PDF] [Show BibTeX] [URL]
H. Wehrheim: Subtyping patterns for active objects. In: H. Giese and S. Philippi (eds.): Proceedings 8ter Workshop des GI-Arbeitskreises GROOM: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme. Universität Münster, no. 24/00-I (2000)

[Show Abstract] [PDF] [Show BibTeX]

1999

H. Wehrheim: Data Abstraction for CSP-OZ. In: Wing, Jeannette M.; Woodcook, Jim; Davies, Jim (eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems. Springer, LNCS, vol. II, no. 1709, pp. 1028-1047 (1999)

[Show Abstract] [PDF] [Show BibTeX] [URL]
C. Fischer, H. Wehrheim: Model-Checking CSP-OZ Specifications with FDR. In: K. Araki, A. Galloway, and K. Taguchi (eds.): Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99. Springer, pp. 315-334 (1999)

[Show Abstract] [PDF] [Show BibTeX]
H. Wehrheim: Partial order reductions for failures refinement. In: Ilaria Castellani and Björn Victor (eds.): EXPRESS'99, the 6th International Workshop on Expressiveness in Concurrency. Elsevier, ENTCS, vol. 27 (1999)

[Show Abstract] [PDF] [Show BibTeX] [DOI] [URL]

1998

T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim: A Process Algebra Semantics for MSC Including Conditions. In: Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, pp. 185-196. (1998)

[Show BibTeX]
T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. In: S. Budkowski, A. Cavalle, and E. Najm (eds.): 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). Kluwer Academic Publishers, pp. 3-18 (1998)

[Show Abstract] [PDF] [Show BibTeX]
M. Huhn, P. Niebert, H. Wehrheim: Partial Order Reductions for Bisimulation Checking. In: Klaus Havelund, Grigore Rosu (eds.): Foundations of Software Technology and Theoretical Computer Science, 18th Conference. Elsevier, ENTCS, pp. 271-282 (1998)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

1997

A. Rensink, H. Wehrheim: Dependency-Based Action Refinement. In: P. Ruzicka (eds.): Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97. Springer, LNCS, no. 1295, pp. 468-477 (1997)

[Show Abstract] [PDF] [Show BibTeX]

1996

M. Huhn, H. Wehrheim, G. Denker: Action refinement - an application of process theory on object-oriented specification. In: 6. GI/ITG-Fachgespräch ''Formale Beschreibungstechniken für verteilte Systeme'' Arbeitsbericht des IMMD 1996. Springer (1996)

[Show BibTeX]
U. Goltz, H. Wehrheim: Causal Testing. In: Wojciech Penczek and Andrzej Szalas (eds.): Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96. Springer, LNCS, vol. 1113, pp. 394-406 (1996)

[Show Abstract] [PDF] [Show BibTeX]
U. Goltz, H. Wehrheim: Modelling Causality via Action Dependencies in Branching Time Semantics. In: Information Processing Letters, vol. 59, no. 4, pp. 179-184. Elsevier (1996)

[Show Abstract] [PDF] [Show BibTeX] [DOI]
H. Wehrheim: Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. PhD thesis, University of Hildesheim (1996)

[Show BibTeX]

1994

H. Wehrheim: Parametric Action Refinement. In: Ernst-Rüdiger Olderog (eds.): Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94). North-Holland, IFIP Transactions, vol. A-56, pp. 247-266 (1994)

[Show BibTeX]
A. Rensink, H. Wehrheim: Weak Sequential Composition in Process Algebras. In: Jonsson, Bengt; Parrow, Joachim (eds.): CONCUR '94, Concurrency Theory, 5th International Conference. Springer, LNCS, vol. 836 , pp. 226-241 (1994)

[Show Abstract] [PDF] [Show BibTeX] [DOI]

Impressum | Webmaster | Letzte Änderungen am : 16.10.2013