Prof. Dr. Heike Wehrheim

Department of Computing Science  (» Postal address)

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Contact

Ulhornsweg 84 - Raum  A02 3-340

+49  441 798-4624

Prof. Dr. Heike Wehrheim

Research interests:

Heike Wehrheim's research focuses on the development of formal methods for the validation of software. This involves investigating automatic methods as well as developing refinement proofs and proof calculi. One focus is currently on investigating cooperative methods for verification and including weak memory models in the analysis of parallel algorithms.

 

CV

Prof. Dr. rer.nat. Heike Wehrheim has been Professor of Formal Methods at the Carl von Ossietzky University of Oldenburg since 2021. Prior to that, she was Professor of Specification and Modeling of Software Systems at the University of Paderborn since 2004. She habilitated at the University of Oldenburg in 2002 and received her doctorate from the University of Hildesheim in 1996 after studying computer science at the University of Bonn.

Publications

  • [article] bibtex | Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel program analysis on path ranges" Sci. Comput. Program. vol. 238, p. 103154.
    doi: 10.1016/J.SCICO.2024.103154
  • [article] bibtex | Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel Program Analysis on Path Ranges" CoRR, vol. abs/2402.11938.
    doi: 10.48550/ARXIV.2402.11938
  • [article] bibtex | Go to document
    W. Ahrendt, F. Loulergue, and H. Wehrheim, "Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021" Formal Aspects Comput. vol. 36, iss. 1.
    doi: 10.1145/3650092
  • [article] bibtex | Go to document
    J. Haltermann and H. Wehrheim, "Exchanging information in cooperative software validation" Softw. Syst. Model. vol. 23, iss. 3.
    doi: 10.1007/S10270-024-01155-3
  • [inproceedings] bibtex | Go to document
    C. Janßen, C. Richter, and H. Wehrheim, "Can ChatGPT support software verification?" in Proc. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024.
    doi: 10.1007/978-3-031-57259-3_13
  • [inproceedings] bibtex | Go to document
    L. Bargmann, B. Dongol, and H. Wehrheim, "Unifying Weak Memory Verification Using Potentials" in Proc. Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, 2024.
    doi: 10.1007/978-3-031-71162-6_27
  • [inproceedings] bibtex | Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
    doi: 10.18420/SW2024_52
  • [inproceedings] bibtex | Go to document
    C. Richter and H. Wehrheim, "On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
    doi: 10.18420/SW2024_34
  • [inproceedings] bibtex | Go to document
    S. Bodenmüller, J. Derrick, B. Dongol, G. Schellhorn, and H. Wehrheim, "A Fully Verified Persistency Library" in Proc. Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, 2024.
    doi: 10.1007/978-3-031-50521-8_2
  • [inproceedings] bibtex | Go to document
    C. Richter and H. Wehrheim, "How to Train Your Neural Bug Detector: Artificial vs Real Bugs" in Proc. 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023.
    doi: 10.1109/ASE56229.2023.00104
  • [article] bibtex | Go to document
    L. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967.
    doi: 10.48550/ARXIV.2301.07967
  • [article] bibtex | Go to document
    O. Lahav, B. Dongol, and H. Wehrheim, "Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)" CoRR, vol. abs/2305.08486.
    doi: 10.48550/ARXIV.2305.08486
  • [article] bibtex | Go to document
    L. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)" CoRR, vol. abs/2309.01433.
    doi: 10.48550/ARXIV.2309.01433
  • [article] bibtex | Go to document
    C. Janßen, C. Richter, and H. Wehrheim, "Can ChatGPT support software verification?" CoRR, vol. abs/2311.02433.
    doi: 10.48550/ARXIV.2311.02433
  • [misc] bibtex | Go to document
    C. Richter and H. Wehrheim. () How to Train Your Neural Bug Detector: Artificial vs Real Bugs (Version 1). [Online]. Available: https://doi.org/10.5281/zenodo.7900059
    doi: 10.5281/ZENODO.7900059
  • [inproceedings] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and H. Wehrheim, "Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
  • [inproceedings] bibtex | Go to document
    F. Pauck and H. Wehrheim, "Jicer: Slicing Android Apps for Cooperative Analysis" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
  • [inproceedings] bibtex | Go to document
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and H. Wehrheim, "Variable Misuse Detection: Software Developers versus Neural Bug Detectors" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
  • [inproceedings] bibtex | Go to document
    A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, "Property-Driven Black-Box Testing of Numeric Functions" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
  • [inproceedings] bibtex | Go to document
    O. Lahav, B. Dongol, and H. Wehrheim, "Rely-Guarantee Reasoning for Causally Consistent Shared Memory" in Proc. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, 2023.
    doi: 10.1007/978-3-031-37706-8_11
  • [inproceedings] bibtex | Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel Program Analysis via Range Splitting" in Proc. Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-30826-0_11
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning About Promises in Weak Memory Models with Event Structures" in Proc. Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-27481-7_17
  • [inproceedings] bibtex | Go to document
    L. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification" in Proc. iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47705-8_10
  • [inproceedings] bibtex | Go to document
    F. Dyck, C. Richter, and H. Wehrheim, "Robustness Testing of Software Verifiers" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_5
  • [inproceedings] bibtex | Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Ranged Program Analysis via Instrumentation" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_9
  • [inproceedings] bibtex | Go to document
    N. Thoben, J. Haltermann, and H. Wehrheim, "Timeout Prediction for Software Analyses" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_19
  • [inproceedings] bibtex | Go to document
    L. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO" in Proc. Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-35257-7_17
  • [article] bibtex | Go to document
    C. Richter and H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" CoRR, vol. abs/2201.12046.
  • [article] bibtex | Go to document
    E. Bila, J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "Modularising Verification Of Durable Opacity" Log. Methods Comput. Sci. vol. 18, iss. 3.
    doi: 10.46298/LMCS-18(3:7)2022
  • [inproceedings] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and H. Wehrheim, "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR" in Proc. 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022.
    doi: 10.1145/3510003.3510064
  • [inproceedings] bibtex | Go to document
    J. Haltermann and H. Wehrheim, "Machine Learning Based Invariant Generation: A Framework and Reproducibility Study" in Proc. 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, 2022.
    doi: 10.1109/ICST53961.2022.00012
  • [inproceedings] bibtex | Go to document
    C. Richter and H. Wehrheim, "Learning Realistic Mutations: Bug Creation for Neural Bug Detectors" in Proc. 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, 2022.
    doi: 10.1109/ICST53961.2022.00027
  • [inproceedings] bibtex | Go to document
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and H. Wehrheim, "Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?" in Proc. 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022.
    doi: 10.1145/3551349.3561156
  • [inproceedings] bibtex | Go to document
    C. Richter and H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" in Proc. 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, 2022.
    doi: 10.1145/3524842.3528505
  • [article] bibtex | Go to document
    C. Richter and H. Wehrheim, "Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes" CoRR, vol. abs/2207.00301.
    doi: 10.48550/ARXIV.2207.00301
  • [article] bibtex | Go to document
    H. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)" CoRR, vol. abs/2211.16330.
    doi: 10.48550/ARXIV.2211.16330
  • [article] bibtex | Go to document
    S. Dalvandi, B. Dongol, S. Doherty, and H. Wehrheim, "Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL" J. Autom. Reason. vol. 66, iss. 1.
    doi: 10.1007/S10817-021-09610-2
  • [article] bibtex | Go to document
    S. Doherty, S. Dalvandi, B. Dongol, and H. Wehrheim, "Unifying Operational Weak Memory Verification: An Axiomatic Approach" ACM Trans. Comput. Log. vol. 23, iss. 4.
    doi: 10.1145/3545117
  • [inproceedings] bibtex | Go to document
    A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, "Property-Driven Testing of Black-Box Functions" in Proc. 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, 2022.
    doi: 10.1145/3524482.3527657
  • [misc] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and H. Wehrheim. () Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR' (Version CCEGAR-artifact-ICSE22-submission-ae.vm). [Online]. Available: https://doi.org/10.5281/zenodo.5918111
    doi: 10.5281/ZENODO.5918111
  • [misc] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and H. Wehrheim. () Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR' (Version CCEGAR-artifact-ICSE22-submission-ae-rev1.vm). [Online]. Available: https://doi.org/10.5281/zenodo.6062602
    doi: 10.5281/ZENODO.6062602
  • [misc] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, H. Wehrheim, and P. Wendler. () CPAchecker Release 2.1.1 (unix) (Version 2.1.1 (unix)). [Online]. Available: https://doi.org/10.5281/zenodo.5898968
    doi: 10.5281/ZENODO.5898968
  • [inproceedings] bibtex | Go to document
    B. Dongol, G. Schellhorn, and H. Wehrheim, "Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement" in Proc. 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, 2022.
    doi: 10.4230/LIPICS.CONCUR.2022.31
  • [inproceedings] bibtex | Go to document
    J. Haltermann and H. Wehrheim, "CoVEGI: Cooperative Verification via Externally Generated Invariants" in Proc. Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell, 2022.
    doi: 10.18420/SE2022-WS-011
  • [inproceedings] bibtex | Go to document
    J. Haltermann and H. Wehrheim, "Information Exchange Between Over- and Underapproximating Software Analyses" in Proc. Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, 2022.
    doi: 10.1007/978-3-031-17108-6_3
  • [article] bibtex | Go to document
    M. -, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, "Software/Hardware Co-Verification for Custom Instruction Set Processors" IEEE Access, vol. 9.
    doi: 10.1109/ACCESS.2021.3131213
  • [article] bibtex | Go to document
    A. Sharma, C. Demir, A. -, and H. Wehrheim, "MLCheck- Property-Driven Testing of Machine Learning Models" CoRR, vol. abs/2105.00741.
  • [article] bibtex | Go to document
    H. Wehrheim, "On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs" CoRR, vol. abs/2107.00271.
  • [article] bibtex | Go to document
    C. Richter and H. Wehrheim, "DeepMutants: Training neural bug detectors with contextual mutations" CoRR, vol. abs/2107.06657.
  • [article] bibtex | Go to document
    J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "On Strong Observational Refinement and Forward Simulation" CoRR, vol. abs/2107.14509.
  • [inproceedings] bibtex | Go to document
    F. Pauck and H. Wehrheim, "Jicer: Simplifying Cooperative Android App Analysis Tasks" in Proc. 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Luxembourg, September 27-28, 2021, 2021.
    doi: 10.1109/SCAM52516.2021.00031
  • [article] bibtex | Go to document
    W. Ahrendt, S. L. T. Tarifa, and H. Wehrheim, "Editorial" Formal Aspects Comput. vol. 33, iss. 6, p. 827.
    doi: 10.1007/S00165-021-00569-W
  • [article] bibtex | Go to document
    J. Cabot, H. Wehrheim, and E. A. Boiten, "Editorial" Formal Aspects Comput. vol. 33, iss. 6, p. 1037.
    doi: 10.1007/S00165-021-00565-0
  • [article] bibtex | Go to document
    J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "Verifying correctness of persistent concurrent data structures: a sound and complete method" Formal Aspects Comput. vol. 33, iss. 4-5.
    doi: 10.1007/S00165-021-00541-8
  • [inproceedings] bibtex | Go to document
    A. Sharma, C. Demir, A. -, and H. Wehrheim, "MLCHECK- Property-Driven Testing of Machine Learning Classifiers" in Proc. 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021, Pasadena, CA, USA, December 13-16, 2021, 2021.
    doi: 10.1109/ICMLA52953.2021.00123
  • [misc] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and H. Wehrheim. () Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR" (Version CCEGAR-artifact-ICSE22-submission.small). [Online]. Available: https://doi.org/10.5281/zenodo.5301637
    doi: 10.5281/ZENODO.5301637
  • [misc] bibtex | Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and H. Wehrheim. () Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR' (Version CCEGAR-artifact-ICSE22-submission.full). [Online]. Available: https://doi.org/10.5281/zenodo.5443638
    doi: 10.5281/ZENODO.5443638
  • [inproceedings] bibtex | Go to document
    J. Haltermann and H. Wehrheim, "CoVEGI: Cooperative Verification via Externally Generated Invariants" in Proc. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021.
    doi: 10.1007/978-3-030-71500-7_6
  • [inproceedings] bibtex | Go to document
    J. König and H. Wehrheim, "On the Correctness Problem for Serializability" in Proc. Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings, 2021.
    doi: 10.1007/978-3-030-85315-0_4
  • [inproceedings] bibtex | Go to document
    F. Pauck and H. Wehrheim, "Cooperative Android App Analysis with CoDiDroid" in Proc. Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell, 2021.
    doi: 10.18420/SE2021_30
  • [inproceedings] bibtex | Go to document
    J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "Brief Announcement: On Strong Observational Refinement and Forward Simulation" in Proc. 35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference), 2021.
    doi: 10.4230/LIPICS.DISC.2021.55
  • [article] bibtex | Go to document
    A. Sharma and H. Wehrheim, "Testing Monotonicity of Machine Learning Models" CoRR, vol. abs/2002.12278.
  • [article] bibtex | Go to document
    E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, "Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory" CoRR, vol. abs/2004.08200.
  • [article] bibtex | Go to document
    J. Haltermann and H. Wehrheim, "Cooperative Verification via Collective Invariant Generation" CoRR, vol. abs/2008.04551.
  • [article] bibtex | Go to document
    E. Bila, J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "Modularising Verification Of Durable Opacity" CoRR, vol. abs/2011.15013.
  • [inproceedings] bibtex | Go to document
    C. Richter and H. Wehrheim, "Attend and Represent: A Novel View on Algorithm Selection for Software Verification" in Proc. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020.
    doi: 10.1145/3324884.3416633
  • [article] bibtex | Go to document
    C. Richter, E. Hüllermeier, M. -, and H. Wehrheim, "Algorithm selection for software validation based on graph kernels" Autom. Softw. Eng. vol. 27, iss. 1.
    doi: 10.1007/S10515-020-00270-X
  • [article] bibtex | Go to document
    H. Karl, D. Kundisch, F. M. auf der Heide, and H. Wehrheim, "A Case for a New IT Ecosystem: On-The-Fly Computing" Bus. Inf. Syst. Eng. vol. 62, iss. 6.
    doi: 10.1007/S12599-019-00627-X
  • [article] bibtex | Go to document
    S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, "Owicki-Gries Reasoning for C11 RAR (Artifact)" Dagstuhl Artifacts Ser. vol. 6, iss. 2.
    doi: 10.4230/DARTS.6.2.15
  • [inproceedings] bibtex | Go to document
    S. Beringer and H. Wehrheim, "Consistency Analysis of AUTOSAR Timing Requirements" in Proc. Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, 2020.
    doi: 10.5220/0009766600150026
  • [inproceedings] bibtex | Go to document
    A. Sharma and H. Wehrheim, "Higher income, larger loan? monotonicity testing of machine learning models" in Proc. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, 2020.
    doi: 10.1145/3395363.3397352
  • [proceedings] bibtex | Go to document
    Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, ProceedingsSpringer.
    doi: 10.1007/978-3-030-45234-6
  • [proceedings] bibtex | Go to document
    Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]Springer.
    doi: 10.1007/978-3-030-50995-8
  • [inproceedings] bibtex | Go to document
    F. Pauck, E. Bodden, and H. Wehrheim, "Reproducing Taint-Analysis Results with ReproDroid" in Proc. Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020.
  • [inproceedings] bibtex | Go to document
    S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, "Owicki-Gries Reasoning for C11 RAR" in Proc. 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020.
    doi: 10.4230/LIPICS.ECOOP.2020.11
  • [inproceedings] bibtex | Go to document
    E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, "Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory" in Proc. Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, 2020.
    doi: 10.1007/978-3-030-50086-3_3
  • [inproceedings] bibtex | Go to document
    D. Beyer and H. Wehrheim, "Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework" in Proc. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, 2020.
    doi: 10.1007/978-3-030-61362-4_8
  • [inproceedings] bibtex | Go to document
    A. Sharma and H. Wehrheim, "Automatic Fairness Testing of Machine Learning Models" in Proc. Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, 2020.
    doi: 10.1007/978-3-030-64881-7_16
  • [article] bibtex | Go to document
    D. Beyer and H. Wehrheim, "Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework" CoRR, vol. abs/1905.08505.
  • [inproceedings] bibtex | Go to document
    A. Sharma and H. Wehrheim, "Testing Machine Learning Algorithms for Balanced Data Usage" in Proc. 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, 2019.
    doi: 10.1109/ICST.2019.00022
  • [inproceedings] bibtex | Go to document
    S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" in Proc. IFIP/IEEE International Symposium on Integrated Network Management, IM 2019, Washington, DC, USA, April 09-11, 2019, 2019.
  • [article] bibtex | Go to document
    M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, "Editorial" Formal Aspects Comput. vol. 31, iss. 1, p. 1.
    doi: 10.1007/S00165-018-00477-6
  • [article] bibtex | Go to document
    A. Russo, A. Schürr, and H. Wehrheim, "Editorial" Formal Aspects Comput. vol. 31, iss. 5.
    doi: 10.1007/S00165-019-00495-Y
  • [inproceedings] bibtex | Go to document
    S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, "Verifying C11 programs operationally" in Proc. Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019.
    doi: 10.1145/3293883.3295702
  • [inproceedings] bibtex | Go to document
    F. Pauck and H. Wehrheim, "Together strong: cooperative Android app analysis" in Proc. Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019, 2019.
    doi: 10.1145/3338906.3338915
  • [inproceedings] bibtex | Go to document
    J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "Verifying Correctness of Persistent Concurrent Data Structures" in Proc. Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019.
    doi: 10.1007/978-3-030-30942-8_12
  • [inproceedings] bibtex | Go to document
    J. König and H. Wehrheim, "Data Independence for Software Transactional Memory" in Proc. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019.
    doi: 10.1007/978-3-030-20652-9_18
  • [inproceedings] bibtex | Go to document
    D. Beyer, M. -, T. Lemberger, and H. Wehrheim, "Combining Verifiers in Conditional Model Checking via Reducers" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019.
    doi: 10.18420/SE2019-46
  • [inproceedings] bibtex | Go to document
    A. Sharma and H. Wehrheim, "Testing Balancedness of ML Algorithms" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019.
    doi: 10.18420/SE2019-48
  • [inproceedings] bibtex | Go to document
    C. Richter and H. Wehrheim, "PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019.
    doi: 10.1007/978-3-030-17502-3_19
  • [inproceedings] bibtex | Go to document
    T. Isenberg, M. -, F. Pauck, and H. Wehrheim, "When Are Software Verification Results Valid for Approximate Hardware?" in Proc. Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019.
    doi: 10.1007/978-3-030-31157-5_1
  • [article] bibtex | Go to document
    S. Doherty, J. Derrick, B. Dongol, and H. Wehrheim, "Causal Linearizability: Compositionality for Partially Ordered Executions" CoRR, vol. abs/1802.01866.
  • [article] bibtex | Go to document
    S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007.
  • [article] bibtex | Go to document
    F. Pauck, E. Bodden, and H. Wehrheim, "Do Android Taint Analysis Tools Keep their Promises?" CoRR, vol. abs/1804.02903.
  • [article] bibtex | Go to document
    S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, "Verifying C11 Programs Operationally" CoRR, vol. abs/1811.09143.
  • [article] bibtex | Go to document
    T. Isenberg, M. -, F. Pauck, and H. Wehrheim, "Validity of Software Verification Results on Approximate Hardware" IEEE Embed. Syst. Lett. vol. 10, iss. 1.
    doi: 10.1109/LES.2017.2758200
  • [article] bibtex | Go to document
    J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, "Mechanized proofs of opacity: a comparison of two techniques" Formal Aspects Comput. vol. 30, iss. 5.
    doi: 10.1007/S00165-017-0433-3
  • [inproceedings] bibtex | Go to document
    D. Beyer, M. -, T. Lemberger, and H. Wehrheim, "Reducer-based construction of conditional verifiers" in Proc. Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018.
    doi: 10.1145/3180155.3180259
  • [inproceedings] bibtex | Go to document
    F. Pauck, E. Bodden, and H. Wehrheim, "Do Android taint analysis tools keep their promises?" in Proc. Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 2018.
    doi: 10.1145/3236024.3236029
  • [misc] bibtex | Go to document
    D. Beyer, M. -, T. Lemberger, and H. Wehrheim. () Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers' (Version CMC-reducers-ICSE18-proceedings). [Online]. Available: https://doi.org/10.5281/zenodo.1172228
    doi: 10.5281/ZENODO.1172228
  • [inproceedings] bibtex | Go to document
    M. Töws and H. Wehrheim, "Information Flow Certificates" in Proc. Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, 2018.
    doi: 10.1007/978-3-030-02508-3_23
  • [inproceedings] bibtex | Go to document
    S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, "Making Linearizability Compositional for Partially Ordered Executions" in Proc. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018.
    doi: 10.1007/978-3-319-98938-9_7
  • [inproceedings] bibtex | Go to document
    P. Börding, J. Haltermann, M. -, and H. Wehrheim, "JMCTest: Automatically Testing Inter-Method Contracts in Java" in Proc. Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, 2018.
    doi: 10.1007/978-3-319-99927-2_4
  • [inproceedings] bibtex | Go to document
    G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, "FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity" in Proc. Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, 2018.
    doi: 10.1007/978-3-319-92970-5_7
  • [inproceedings] bibtex | Go to document
    S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, "Brief Announcement: Generalising Concurrent Correctness to Weak Memory" in Proc. 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 2018.
    doi: 10.4230/LIPICS.DISC.2018.45
  • [article] bibtex | Go to document
    M. Czech, E. Hüllermeier, M. -, and H. Wehrheim, "Predicting Rankings of Software Verification Competitions" CoRR, vol. abs/1703.00757.
  • [article] bibtex | Go to document
    T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, "Proof-Carrying Hardware via Inductive Invariants" ACM Trans. Design Autom. Electr. Syst. vol. 22, iss. 4.
    doi: 10.1145/3054743
  • [article] bibtex | Go to document
    M. - and H. Wehrheim, "Programs from Proofs: A Framework for the Safe Execution of Untrusted Software" ACM Trans. Program. Lang. Syst. vol. 39, iss. 2.
    doi: 10.1145/3014427
  • [inproceedings] bibtex | Go to document
    M. Czech, E. Hüllermeier, M. -, and H. Wehrheim, "Predicting rankings of software verification tools" in Proc. Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, SWAN@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4, 2017, 2017.
    doi: 10.1145/3121257.3121262
  • [inproceedings] bibtex | Go to document
    M. - and H. Wehrheim, "Compact Proof Witnesses" in Proc. NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, 2017.
    doi: 10.1007/978-3-319-57288-8_28
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Fault Localization in Service Compositions" in Proc. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, 2017.
    doi: 10.1007/978-3-319-68034-7_13
  • [inproceedings] bibtex | Go to document
    M. Töws and H. Wehrheim, "Policy Dependent and Independent Information Flow Analyses" in Proc. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, 2017.
    doi: 10.1007/978-3-319-68690-5_22
  • [inproceedings] bibtex | Go to document
    J. König and H. Wehrheim, "Value-Based or Conflict-Based? Opacity Definitions for STMs" in Proc. Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017.
    doi: 10.1007/978-3-319-67729-3_8
  • [article] bibtex | Go to document
    T. Isenberg, M. -, F. Pauck, and H. Wehrheim, "Deriving approximation tolerance constraints from verification runs" CoRR, vol. abs/1604.08784.
  • [article] bibtex | Go to document
    S. Walther and H. Wehrheim, "On-the-fly construction of provably correct service compositions - templates and proofs" Sci. Comput. Program. vol. 127.
    doi: 10.1016/J.SCICO.2016.04.002
  • [inproceedings] bibtex | Go to document
    M. Töws and H. Wehrheim, "A CEGAR Scheme for Information Flow Analysis" in Proc. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, 2016.
    doi: 10.1007/978-3-319-47846-3_29
  • [inproceedings] bibtex | Go to document
    O. Travkin and H. Wehrheim, "Verification of Concurrent Programs on Weak Memory Models" in Proc. Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016.
    doi: 10.1007/978-3-319-46750-4_1
  • [inproceedings] bibtex | Go to document
    M. Czech, M. -, and H. Wehrheim, "Just test what you cannot verify!" in Proc. Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, 2016.
  • [inproceedings] bibtex | Go to document
    J. Krämer and H. Wehrheim, "A Short Survey on Using Software Error Localization for Service Compositions" in Proc. Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, 2016.
    doi: 10.1007/978-3-319-44482-6_16
  • [inproceedings] bibtex | Go to document
    S. Beringer and H. Wehrheim, "Verification of AUTOSAR Software Architectures with Timed Automata" in Proc. Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016.
    doi: 10.1007/978-3-319-45943-1_13
  • [inproceedings] bibtex | Go to document
    G. Schellhorn, O. Travkin, and H. Wehrheim, "Towards a Thread-Local Proof Technique for Starvation Freedom" in Proc. Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016.
    doi: 10.1007/978-3-319-33693-0_13
  • [inproceedings] bibtex | Go to document
    S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, "Proving Opacity of a Pessimistic STM" in Proc. 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, 2016.
    doi: 10.4230/LIPICS.OPODIS.2016.35
  • [inproceedings] bibtex | Go to document
    J. Krämer and H. Wehrheim, "A Formal Approach to Error Localization and Correction in Service Compositions" in Proc. Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, 2016.
    doi: 10.1007/978-3-319-50230-4_35
  • [article] bibtex | Go to document
    G. Besova, D. Steenken, and H. Wehrheim, "Grammar-based model transformations: Definition, execution, and quality properties" Comput. Lang. Syst. Struct. vol. 43.
    doi: 10.1016/J.CL.2015.05.003
  • [article] bibtex | Go to document
    S. Ziegert and H. Wehrheim, "Temporal plans for software architecture reconfiguration" Comput. Sci. Res. Dev. vol. 30, iss. 3-4.
    doi: 10.1007/S00450-014-0259-7
  • [inproceedings] bibtex | Go to document
    M. - and H. Wehrheim, "Programs from proofs of predicated dataflow analyses" in Proc. Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, 2015.
    doi: 10.1145/2695664.2695690
  • [proceedings] bibtex | Go to document
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. ProceedingsSpringer.
    doi: 10.1007/978-3-319-23506-6
  • [inproceedings] bibtex | Go to document
    R. Meyer and H. Wehrheim, "From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog" in Proc. Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015.
    doi: 10.1007/978-3-319-23506-6_1
  • [inproceedings] bibtex | Go to document
    M. Czech, M. -, and H. Wehrheim, "Just Test What You Cannot Verify!" in Proc. Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015.
    doi: 10.1007/978-3-662-46675-9_7
  • [inproceedings] bibtex | Go to document
    J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, "Verifying Opacity of a Transactional Mutex Lock" in Proc. FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015.
    doi: 10.1007/978-3-319-19249-9_11
  • [inproceedings] bibtex | Go to document
    H. Wehrheim and O. Travkin, "TSO to SC via Symbolic Execution" in Proc. Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015.
    doi: 10.1007/978-3-319-26287-1_7
  • [article] bibtex | Go to document
    T. Isenberg and H. Wehrheim, "Proof-Carrying Hardware via IC3" CoRR, vol. abs/1410.4507.
  • [article] bibtex | Go to document
    S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, "Managing LTL properties in Event-B refinement" CoRR, vol. abs/1406.6622.
  • [article] bibtex | Go to document
    B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, "Two approaches for proving linearizability of multiset" Sci. Comput. Program. vol. 96.
    doi: 10.1016/J.SCICO.2014.04.001
  • [article] bibtex | Go to document
    S. A. Schneider, H. Treharne, and H. Wehrheim, "The behavioural semantics of Event-B refinement" Formal Aspects Comput. vol. 26, iss. 2.
    doi: 10.1007/S00165-012-0265-0
  • [article] bibtex | Go to document
    G. Schellhorn, J. Derrick, and H. Wehrheim, "A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures" ACM Trans. Comput. Log. vol. 15, iss. 4.
    doi: 10.1145/2629496
  • [inproceedings] bibtex | Go to document
    M. - and H. Wehrheim, "Certification for configurable program analysis" in Proc. 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, 2014.
    doi: 10.1145/2632362.2632372
  • [inproceedings] bibtex | Go to document
    G. Besova, D. Steenken, and H. Wehrheim, "Grammar-Based Model Transformations" in Proc. Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014, 2014.
    doi: 10.15439/2014F144
  • [inproceedings] bibtex | Go to document
    D. Wonisch, A. Schremmer, and H. Wehrheim, "Programs from Proofs - Approach and Applications" in Proc. Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany, 2014.
  • [inproceedings] bibtex | Go to document
    S. Walther and H. Wehrheim, "Verified Service Compositions by Template-Based Construction" in Proc. Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, 2014.
    doi: 10.1007/978-3-319-15317-9_3
  • [inproceedings] bibtex | Go to document
    J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, "Quiescent Consistency: Defining and Verifying Relaxed Linearizability" in Proc. FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014.
    doi: 10.1007/978-3-319-06410-9_15
  • [inproceedings] bibtex | Go to document
    O. Travkin and H. Wehrheim, "Handling TSO in Mechanized Linearizability Proofs" in Proc. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014.
    doi: 10.1007/978-3-319-13338-6_11
  • [inproceedings] bibtex | Go to document
    T. Isenberg and H. Wehrheim, "Timed Automata Verification via IC3 with Zones" in Proc. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014.
    doi: 10.1007/978-3-319-11737-9_14
  • [inproceedings] bibtex | Go to document
    M. -, M. Platzner, H. Wehrheim, and T. Wiersema, "Integrating Software and Hardware Verification" in Proc. Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014.
    doi: 10.1007/978-3-319-10181-1_19
  • [inproceedings] bibtex | Go to document
    S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, "Managing LTL Properties in Event-B Refinement" in Proc. Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014.
    doi: 10.1007/978-3-319-10181-1_14
  • [inproceedings] bibtex | Go to document
    S. Walther and H. Wehrheim, "Knowledge-Based Verification of Service Compositions - An SMT Approach" in Proc. 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, 2013.
    doi: 10.1109/ICECCS.2013.14
  • [inproceedings] bibtex | Go to document
    S. Ziegert and H. Wehrheim, "Temporal Reconfiguration Plans for Self-Adaptive Systems" in Proc. Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. März 2013 in Aachen, 2013.
  • [inproceedings] bibtex | Go to document
    D. Wonisch, A. Schremmer, and H. Wehrheim, "Programs from Proofs - A PCC Alternative" in Proc. Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013.
    doi: 10.1007/978-3-642-39799-8_65
  • [inproceedings] bibtex | Go to document
    T. Isenberg, D. Steenken, and H. Wehrheim, "Bounded Model Checking of Graph Transformation Systems via SMT Solving" in Proc. Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013.
    doi: 10.1007/978-3-642-38592-6_13
  • [inproceedings] bibtex | Go to document
    O. Travkin, A. Mütze, and H. Wehrheim, "SPIN as a Linearizability Checker under Weak Memory Models" in Proc. Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013.
    doi: 10.1007/978-3-319-03077-7_21
  • [inproceedings] bibtex | Go to document
    B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, "A High-Level Semantics for Program Execution under Total Store Order Memory" in Proc. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013.
    doi: 10.1007/978-3-642-39718-9_11
  • [inproceedings] bibtex | Go to document
    D. Wonisch, A. Schremmer, and H. Wehrheim, "Zero Overhead Runtime Monitoring" in Proc. Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, 2013.
    doi: 10.1007/978-3-642-40561-7_17
  • [article] bibtex | Go to document
    O. Travkin, H. Wehrheim, and G. Schellhorn, "Proving Linearizability of Multiset with Local Proof Obligations" Electron. Commun. Eur. Assoc. Softw. Sci. Technol. vol. 53.
    doi: 10.14279/TUJ.ECEASST.53.795
  • [article] bibtex | Go to document
    T. Ruhroth and H. Wehrheim, "Model evolution and refinement" Sci. Comput. Program. vol. 77, iss. 3.
    doi: 10.1016/J.SCICO.2011.04.007
  • [inproceedings] bibtex | Go to document
    G. Schellhorn, H. Wehrheim, and J. Derrick, "How to Prove Algorithms Linearisable" in Proc. Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012.
    doi: 10.1007/978-3-642-31424-7_21
  • [inproceedings] bibtex | Go to document
    N. Timm, H. Wehrheim, and M. Czech, "Heuristic-Guided Abstraction Refinement for Concurrent Systems" in Proc. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, 2012.
    doi: 10.1007/978-3-642-34281-3_25
  • [inproceedings] bibtex | Go to document
    D. Wonisch and H. Wehrheim, "Predicate Analysis with Block-Abstraction Memoization" in Proc. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, 2012.
    doi: 10.1007/978-3-642-34281-3_24
  • [inproceedings] bibtex | Go to document
    G. Besova, S. Walther, H. Wehrheim, and S. Becker, "Weaving-Based Configuration and Modular Transformation of Multi-layer Systems" in Proc. Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, 2012.
    doi: 10.1007/978-3-642-33666-9_49
  • [inproceedings] bibtex | Go to document
    T. Ruhroth, H. Wehrheim, and S. Ziegert, "ReL: A Generic Refactoring Language for Specification and Execution" in Proc. 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011.
    doi: 10.1109/SEAA.2011.22
  • [article] bibtex | Go to document
    M. Leuschel and H. Wehrheim, "Selected papers on Integrated Formal Methods (iFM09)" Sci. Comput. Program. vol. 76, iss. 10.
    doi: 10.1016/J.SCICO.2011.01.009
  • [article] bibtex | Go to document
    J. Derrick, G. Schellhorn, and H. Wehrheim, "Mechanically verified proof obligations for linearizability" ACM Trans. Program. Lang. Syst. vol. 33, iss. 1.
    doi: 10.1145/1889997.1890001
  • [inproceedings] bibtex | Go to document
    S. A. Schneider, H. Treharne, and H. Wehrheim, "A CSP Account of Event-B Refinement" in Proc. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011, 2011.
    doi: 10.4204/EPTCS.55.9
  • [inproceedings] bibtex | Go to document
    J. Derrick, G. Schellhorn, and H. Wehrheim, "Verifying Linearisability with Potential Linearisation Points" in Proc. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011.
    doi: 10.1007/978-3-642-21437-0_25
  • [inproceedings] bibtex | Go to document
    D. Steenken, H. Wehrheim, and D. Wonisch, "Sound and Complete Abstract Graph Transformation" in Proc. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011.
    doi: 10.1007/978-3-642-25032-3_7
  • [inproceedings] bibtex | Go to document
    S. A. Schneider, H. Treharne, and H. Wehrheim, "Bounded Retransmission in Event-B\(\parallel\)CSP: a Case Study" in Proc. Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011, 2011.
    doi: 10.1016/J.ENTCS.2011.11.019
  • [inproceedings] bibtex | Go to document
    G. Besova, H. Wehrheim, and A. Wagner, "Reputation-based Reliability Prediction of Service Compositions" in Proc. Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbrücken, Germany, April 2, 2011, 2011.
    doi: 10.1016/J.ENTCS.2011.11.008
  • [article] bibtex | Go to document
    D. Steenken, H. Wehrheim, and D. Wonisch, "Towards A Shape Analysis for Graph Transformation Systems" CoRR, vol. abs/1010.4423.
  • [article] bibtex | Go to document
    J. Derrick and H. Wehrheim, "Model transformations across views" Sci. Comput. Program. vol. 75, iss. 3.
    doi: 10.1016/J.SCICO.2009.11.004
  • [inproceedings] bibtex | Go to document
    W. Schäfer and H. Wehrheim, "Model-Driven Development with Mechatronic UML" in Proc. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010.
    doi: 10.1007/978-3-642-17322-6_23
  • [inproceedings] bibtex | Go to document
    N. Timm and H. Wehrheim, "On Symmetries and Spotlights - Verifying Parameterised Systems" in Proc. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010.
    doi: 10.1007/978-3-642-16901-4_35
  • [inproceedings] bibtex | Go to document
    M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, "Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques" in Proc. Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010.
    doi: 10.1007/978-3-642-16265-7_14
  • [inproceedings] bibtex | Go to document
    S. A. Schneider, H. Treharne, and H. Wehrheim, "A CSP Approach to Control in Event-B" in Proc. Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010.
    doi: 10.1007/978-3-642-16265-7_19
  • [inproceedings] bibtex | Go to document
    K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, "SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems" in Proc. Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010.
    doi: 10.1007/978-3-642-12002-2_22
  • [inproceedings] bibtex | Go to document
    T. Ruhroth, H. Voigt, and H. Wehrheim, "Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models" in Proc. 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009.
    doi: 10.1109/SEAA.2009.39
  • [proceedings] bibtex | Go to document
    Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. ProceedingsSpringer.
    doi: 10.1007/978-3-642-00255-7
  • [inproceedings] bibtex | Go to document
    J. Schrieb, H. Wehrheim, and D. Wonisch, "Three-Valued Spotlight Abstractions" in Proc. FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, 2009.
    doi: 10.1007/978-3-642-05089-3_8
  • [inproceedings] bibtex | Go to document
    T. Ruhroth and H. Wehrheim, "Refinement-Preserving Co-evolution" in Proc. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, 2009.
    doi: 10.1007/978-3-642-10373-5_32
  • [inproceedings] bibtex | Go to document
    T. Ruhroth and H. Wehrheim, "Static Class Elements for Object-Z" in Proc. Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, 2009.
    doi: 10.1016/J.ENTCS.2009.12.025
  • [article] bibtex | Go to document
    I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, "Slicing Abstractions" Fundam. Informaticae, vol. 89, iss. 4.
  • [article] bibtex | Go to document
    M. Möller, E. -, H. Rasch, and H. Wehrheim, "Integrating a formal method into a software engineering process with UML and Java" Formal Aspects Comput. vol. 20, iss. 2.
    doi: 10.1007/S00165-007-0042-7
  • [inproceedings] bibtex | Go to document
    G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, "From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations" in Proc. Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008.
    doi: 10.1007/978-3-540-69100-6_7
  • [inproceedings] bibtex | Go to document
    J. Derrick, G. Schellhorn, and H. Wehrheim, "Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack" in Proc. Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008.
    doi: 10.1007/978-3-540-68863-1_6
  • [inproceedings] bibtex | Go to document
    B. Metzler, H. Wehrheim, and D. Wonisch, "Decomposition for Compositional Verification" in Proc. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008.
    doi: 10.1007/978-3-540-88194-0_9
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Bounded Model Checking for Partial Kripke Structures" in Proc. Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008.
    doi: 10.1007/978-3-540-85762-4_26
  • [inproceedings] bibtex | Go to document
    H. - and H. Wehrheim, "Alloy as a Refactoring Checker?" in Proc. Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, 2008.
    doi: 10.1016/J.ENTCS.2008.06.015
  • [inproceedings] bibtex | Go to document
    H. Wehrheim and D. Wonisch, "Compositional CSP Traces Refinement Checking" in Proc. Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, 2008.
    doi: 10.1016/J.ENTCS.2009.08.022
  • [article] bibtex | Go to document
    J. Derrick and H. Wehrheim, "On using data abstractions for model checking refinements" Acta Informatica, vol. 44, iss. 1.
    doi: 10.1007/S00236-007-0042-3
  • [inproceedings] bibtex | Go to document
    W. Schäfer and H. Wehrheim, "The Challenges of Building Advanced Mechatronic Systems" in Proc. International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, 2007.
    doi: 10.1109/FOSE.2007.28
  • [inproceedings] bibtex | Go to document
    G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, "Assuring Consistency of Business Process Models and Web Services Using Visual Contracts" in Proc. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007.
    doi: 10.1007/978-3-540-89020-1_2
  • [inproceedings] bibtex | Go to document
    G. Engels, C. Soltenborn, and H. Wehrheim, "Analysis of UML Activities Using Dynamic Meta Modeling" in Proc. Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007.
    doi: 10.1007/978-3-540-72952-5_5
  • [inproceedings] bibtex | Go to document
    T. Ruhroth and H. Wehrheim, "Refactoring Object-Oriented Specifications with Data and Processes" in Proc. Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007.
    doi: 10.1007/978-3-540-72952-5_15
  • [inproceedings] bibtex | Go to document
    I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, "Slicing Abstractions" in Proc. International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, 2007.
    doi: 10.1007/978-3-540-75698-9_2
  • [inproceedings] bibtex | Go to document
    J. Derrick, G. Schellhorn, and H. Wehrheim, "Proving Linearizability Via Non-atomic Refinement" in Proc. Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007.
    doi: 10.1007/978-3-540-73210-5_11
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Refinement in the Presence of Unknowns" in Proc. Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, 2007.
    doi: 10.1016/J.ENTCS.2008.02.023
  • [article] bibtex
    I. Brückner, B. Metzler, and H. Wehrheim, "Optimizing Slicing of Formal Specifications by Deductive Verification" Nord. J. Comput. vol. 13, iss. 1-2.
  • [proceedings] bibtex | Go to document
    Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ProceedingsSpringer.
    doi: 10.1007/11768869
  • [inproceedings] bibtex | Go to document
    J. Derrick and H. Wehrheim, "Model Transformations Incorporating Multiple Views" in Proc. Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006.
    doi: 10.1007/11784180_11
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Incremental Slicing" in Proc. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, 2006.
    doi: 10.1007/11901433_28
  • [inproceedings] bibtex | Go to document
    H. -, T. Ruhroth, and H. Wehrheim, "Modelchecking Correctness of Refactorings - Some Experiments" in Proc. Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, 2006.
    doi: 10.1016/J.ENTCS.2006.08.041
  • [inproceedings] bibtex | Go to document
    B. Metzler and H. Wehrheim, "Extending a Component Specification Language with Time" in Proc. Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006, 2006.
    doi: 10.1016/J.ENTCS.2006.02.031
  • [article] bibtex | Go to document
    E. - and H. Wehrheim, "Specification and (property) inheritance in CSP-OZ" Sci. Comput. Program. vol. 55, iss. 1-3.
    doi: 10.1016/J.SCICO.2004.05.017
  • [article] bibtex | Go to document
    H. Wehrheim, "Slicing techniques for verification re-use" Theor. Comput. Sci. vol. 343, iss. 3.
    doi: 10.1016/J.TCS.2005.06.020
  • [inproceedings] bibtex | Go to document
    H. Rasch and H. Wehrheim, "Checking the Validity of Scenarios in UML Models" in Proc. Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005.
    doi: 10.1007/11494881_5
  • [inproceedings] bibtex | Go to document
    I. Brückner and H. Wehrheim, "Slicing an Integrated Formal Method for Verification" in Proc. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005.
    doi: 10.1007/11576280_25
  • [inproceedings] bibtex | Go to document
    I. Brückner and H. Wehrheim, "Slicing Object-Z Specifications for Verification" in Proc. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005.
    doi: 10.1007/11415787_24
  • [inproceedings] bibtex | Go to document
    J. Derrick and H. Wehrheim, "Non-atomic Refinement in Z and CSP" in Proc. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005.
    doi: 10.1007/11415787_3
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Refinement and Consistency in Multiview Models" in Proc. Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Refinement and Consistency in Component Models with Multiple Views" in Proc. Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004.
    doi: 10.1007/11786160_5
  • [inproceedings] bibtex | Go to document
    M. Möller, E. -, H. Rasch, and H. Wehrheim, "Linking CSP-OZ with UML and Java: A Case Study" in Proc. Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004.
    doi: 10.1007/978-3-540-24756-2_15
  • [article] bibtex | Go to document
    H. Wehrheim, "Behavioral Subtyping Relations for Active Objects" Formal Methods Syst. Des. vol. 23, iss. 2.
    doi: 10.1023/A:1024764232069
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Preserving Properties Under Change" in Proc. Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003.
    doi: 10.1007/978-3-540-30101-1_16
  • [inproceedings] bibtex | Go to document
    H. Rasch and H. Wehrheim, "Checking Consistency in UML Diagramms: Classes and State Machines" in Proc. Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003.
    doi: 10.1007/978-3-540-39958-2_16
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Inheritance of Temporal Logic Properties" in Proc. Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003.
    doi: 10.1007/978-3-540-39958-2_6
  • [inproceedings] bibtex | Go to document
    J. Derrick and H. Wehrheim, "Using Coupled Simulations in Non-atomic Refinement" in Proc. ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003.
    doi: 10.1007/3-540-44880-2_10
  • [article] bibtex
    H. Wehrheim, "Relating State-based and Behaviour-oriented Subtyping" Nord. J. Comput. vol. 9, iss. 4.
  • [inproceedings] bibtex
    H. Wehrheim, "Checking Behavioural Subtypes via Refinement" in Proc. 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, 2002.
  • [inproceedings] bibtex | Go to document
    E. - and H. Wehrheim, "Specification and Inheritance in CSP-OZ" in Proc. Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002.
    doi: 10.1007/978-3-540-39656-7_15
  • [article] bibtex | Go to document
    A. Rensink and H. Wehrheim, "Process algebra with action dependencies" Acta Informatica, vol. 38, iss. 3.
    doi: 10.1007/S002360100070
  • [inproceedings] bibtex
    H. Wehrheim, "Patterns and Rules for Behavioural Subtyping" in Proc. 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, August 28-31, 2001, Cheju Island, Korea, 2001.
  • [inproceedings] bibtex | Go to document
    C. Fischer, E. -, and H. Wehrheim, "A CSP View on UML-RT Structure Diagrams" in Proc. Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001.
    doi: 10.1007/3-540-45314-8_8
  • [inproceedings] bibtex | Go to document
    D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, "Jass - Java with Assertions" in Proc. Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, 2001.
    doi: 10.1016/S1571-0661(04)00247-6
  • [article] bibtex
    C. Fischer and H. Wehrheim, "Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method" Bull. EATCS, vol. 71.
  • [article] bibtex | Go to document
    H. Wehrheim, "Data Abstraction Techniques in the Validation of CSP-OZ Specifications" Formal Aspects Comput. vol. 12, iss. 3.
    doi: 10.1007/S001650070026
  • [inproceedings] bibtex | Go to document
    C. Fischer and H. Wehrheim, "Behavioural Subtyping Relations for Object-Oriented Formalisms" in Proc. Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000.
    doi: 10.1007/3-540-45499-3_33
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods" in Proc. Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000.
    doi: 10.1007/3-540-46428-X_23
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Behavioural Subtyping and Property Preservation" in Proc. 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, 2000.
    doi: 10.1007/978-0-387-35520-7_11
  • [inproceedings] bibtex | Go to document
    C. Fischer and H. Wehrheim, "Model-Checking CSP-OZ Specifications with FDR" in Proc. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, 1999.
    doi: 10.1007/978-1-4471-0851-1_17
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Data Abstraction for CSP-OZ" in Proc. FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, 1999.
    doi: 10.1007/3-540-48118-4_5
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Partial order reductions for failures refinement" in Proc. 6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999, 1999.
    doi: 10.1016/S1571-0661(05)80296-8
  • [inproceedings] bibtex
    T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, "A Process Algebra Semantics for MSC Including Conditions" in Proc. Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998, 1998.
  • [inproceedings] bibtex
    T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, "An Algebraic Semantics for Message Sequence Chart Documents" in Proc. 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, 1998.
  • [inproceedings] bibtex | Go to document
    M. Huhn, P. Niebert, and H. Wehrheim, "Partial Order Reductions for Bisimulation Checking" in Proc. Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998.
    doi: 10.1007/978-3-540-49382-2_26
  • [inproceedings] bibtex | Go to document
    A. Rensink and H. Wehrheim, "Dependency-Based Action Refinement" in Proc. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997.
    doi: 10.1007/BFB0029990
  • [phdthesis] bibtex | Go to document
    H. Wehrheim, "Specifying reactive systems with action dependencies: modelling and hierarchical design" PhD Thesis , 1996.
  • [article] bibtex | Go to document
    U. Goltz and H. Wehrheim, "Modelling Causality via Action Dependencies in Branching Time Semantics" Inf. Process. Lett. vol. 59, iss. 4.
    doi: 10.1016/0020-0190(96)00111-1
  • [inproceedings] bibtex | Go to document
    U. Goltz and H. Wehrheim, "Causal Testing" in Proc. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996.
    doi: 10.1007/3-540-61550-4_165
  • [inproceedings] bibtex
    H. Wehrheim, "Parametric Action Refinement" in Proc. 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) San Miniato, Italy, 6-10 June, 1994, 1994.
  • [inproceedings] bibtex | Go to document
    A. Rensink and H. Wehrheim, "Weak Sequential Composition in Process Algebras" in Proc. CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994.
    doi: 10.1007/978-3-540-48654-1_20
Webmaster (Changed: 08 Aug 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page