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:

Formal Methods in general, and in particular currently

  • Verification of parallel programs
  • Semantics and analysis of weak memory models
  • Validation techniques for learned software
  • Cooperative software verification

 

Courses

Publications

  • 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
  • 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
  • [inproceedings] bibtex | Go to document 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 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 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 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 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
  • L. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967.
    doi: 10.48550/ARXIV.2301.07967
  • 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
  • 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
  • C. Janßen, C. Richter, and H. Wehrheim, "Can ChatGPT support software verification?" CoRR, vol. abs/2311.02433.
    doi: 10.48550/ARXIV.2311.02433
  • [inproceedings] bibtex | Go to document 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 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 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 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 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 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 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 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 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 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 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 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
  • C. Richter and H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" CoRR, vol. abs/2201.12046.
  • 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 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 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 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 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 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
  • 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
  • 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
  • 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
  • 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 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
  • [inproceedings] bibtex | Go to document 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 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 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
  • 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
  • A. Sharma, C. Demir, A. -, and H. Wehrheim, "MLCheck- Property-Driven Testing of Machine Learning Models" CoRR, vol. abs/2105.00741.
  • H. Wehrheim, "On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs" CoRR, vol. abs/2107.00271.
  • C. Richter and H. Wehrheim, "DeepMutants: Training neural bug detectors with contextual mutations" CoRR, vol. abs/2107.06657.
  • 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 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
  • 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
  • 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
  • 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 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
  • [inproceedings] bibtex | Go to document 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 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 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 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
  • A. Sharma and H. Wehrheim, "Testing Monotonicity of Machine Learning Models" CoRR, vol. abs/2002.12278.
  • 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.
  • J. Haltermann and H. Wehrheim, "Cooperative Verification via Collective Invariant Generation" CoRR, vol. abs/2008.04551.
  • 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 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
  • 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
  • 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
  • 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 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 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 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 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 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 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 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 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 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
  • 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 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 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.
  • 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
  • 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 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 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 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 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 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 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 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 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
  • S. Doherty, J. Derrick, B. Dongol, and H. Wehrheim, "Causal Linearizability: Compositionality for Partially Ordered Executions" CoRR, vol. abs/1802.01866.
  • S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007.
  • F. Pauck, E. Bodden, and H. Wehrheim, "Do Android Taint Analysis Tools Keep their Promises?" CoRR, vol. abs/1804.02903.
  • S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, "Verifying C11 Programs Operationally" CoRR, vol. abs/1811.09143.
  • 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
  • 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 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 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
  • [inproceedings] bibtex | Go to document 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 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 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 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 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
  • M. Czech, E. Hüllermeier, M. -, and H. Wehrheim, "Predicting Rankings of Software Verification Competitions" CoRR, vol. abs/1703.00757.
  • 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
  • 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 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 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 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 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 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
  • T. Isenberg, M. -, F. Pauck, and H. Wehrheim, "Deriving approximation tolerance constraints from verification runs" CoRR, vol. abs/1604.08784.
  • 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 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 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 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 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 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 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 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 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
  • 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
  • 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 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 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 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 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 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 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
  • T. Isenberg and H. Wehrheim, "Proof-Carrying Hardware via IC3" CoRR, vol. abs/1410.4507.
  • S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, "Managing LTL properties in Event-B refinement" CoRR, vol. abs/1406.6622.
  • 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
  • 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
  • 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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
  • 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
  • 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 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 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 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 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 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
  • 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
  • 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 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 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 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 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 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
  • D. Steenken, H. Wehrheim, and D. Wonisch, "Towards A Shape Analysis for Graph Transformation Systems" CoRR, vol. abs/1010.4423.
  • 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 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 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 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 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 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 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 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 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 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 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
  • I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, "Slicing Abstractions" Fundam. Informaticae, vol. 89, iss. 4.
  • 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 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 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 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 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 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 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
  • 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 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 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 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 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 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 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 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 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 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 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 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 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
  • 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
  • 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 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 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 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 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 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 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 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
  • 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 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 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 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 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 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
  • 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 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 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.
  • 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 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 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 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 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 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 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 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 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 Go to document
    H. Wehrheim, "Specifying reactive systems with action dependencies: modelling and hierarchical design" PhD Thesis , 1996.
  • 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 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 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
(Changed: 29 May 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page