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.
L. Bargmann and H. Wehrheim, "View-based axiomatic reasoning for the weak memory models PSO and SRA" Sci. Comput. Program. vol. 240, p. 103225.
2025.
doi: 10.1016/J.SCICO.2024.103225
@article{DBLP:journals/scp/BargmannW25,
author = {Lara Bargmann and Heike Wehrheim},
title = {View-based axiomatic reasoning for the weak memory models {PSO} and {SRA}},
journal = {Sci. Comput. Program.},
volume = {240},
pages = {103225},
year = {2025},
url = {https://doi.org/10.1016/j.scico.2024.103225},
doi = {10.1016/J.SCICO.2024.103225},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BargmannW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
G. Schellhorn, S. Bodenmüller, B. Dongol, and H. Wehrheim, "Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV" in Proc. Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday, 2025.
doi: 10.1007/978-3-031-92196-4_16
@inproceedings{DBLP:conf/birthday/SchellhornBDW25,
author = {Gerhard Schellhorn and Stefan Bodenm{\"{u}}ller and Brijesh Dongol and Heike Wehrheim},
editor = {Gidon Ernst and Matthias G{\"{u}}demann and Alexander Knapp and Florian Nafz and Frank Ortmeier and Hella Ponsar and Gerhard Schellhorn and Alexander Schiendorfer},
title = {Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in {KIV}},
booktitle = {Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {15765},
pages = {325--355},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-92196-4\_16},
doi = {10.1007/978-3-031-92196-4\_16},
timestamp = {Sun, 06 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchellhornBDW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, M. Chalupa, M. -, and H. Wehrheim, "Cooperative Software Verification via Dynamic Program Splitting" in Proc. 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025, 2025.
doi: 10.1109/ICSE55347.2025.00092
@inproceedings{DBLP:conf/icse/RichterCJW25,
author = {Cedric Richter and Marek Chalupa and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Cooperative Software Verification via Dynamic Program Splitting},
booktitle = {47th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2025, Ottawa, ON, Canada, April 26 - May 6, 2025},
pages = {2087--2099},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/ICSE55347.2025.00092},
doi = {10.1109/ICSE55347.2025.00092},
timestamp = {Tue, 05 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/RichterCJW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
N. Thoben and H. Wehrheim, "Detecting Redundant Preconditions" in Proc. 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, 2025.
doi: 10.1109/FORMALISE66629.2025.00015
@inproceedings{DBLP:conf/icse-formalise/ThobenW25,
author = {Nicola Thoben and Heike Wehrheim},
title = {Detecting Redundant Preconditions},
booktitle = {13th {IEEE/ACM} International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025},
pages = {86--95},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/FormaliSE66629.2025.00015},
doi = {10.1109/FORMALISE66629.2025.00015},
timestamp = {Mon, 30 Jun 2025 22:10:27 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/ThobenW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Edmonds, B. Dongol, J. Derrick, H. Wehrheim, and G. Schellhorn. () CSP Artifact for Model Checking Buffered Durable Linearizability (Version 1.0). [Online]. Available: https://doi.org/10.5281/zenodo.14902056
doi: 10.5281/ZENODO.14902056
@misc{DBLP:data/11/EdmondsDDWS25,
author = {Chelsea Edmonds and Brijesh Dongol and John Derrick and Heike Wehrheim and Gerhard Schellhorn},
title = {{CSP} Artifact for Model Checking Buffered Durable Linearizability (Version 1.0)},
publisher = {Zenodo},
year = {2025},
month = feb, howpublished = {\url{https://doi.org/10.5281/zenodo.14902056}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.14902056},
doi = {10.5281/ZENODO.14902056},
timestamp = {Mon, 25 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/EdmondsDDWS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Edmonds, B. Dongol, J. Derrick, H. Wehrheim, and G. Schellhorn. () CSP Artifact for Model Checking Buffered Durable Linearizability (Version 1.1). [Online]. Available: https://doi.org/10.5281/zenodo.14946061
doi: 10.5281/ZENODO.14946061
@misc{DBLP:data/11/EdmondsDDWS25a,
author = {Chelsea Edmonds and Brijesh Dongol and John Derrick and Heike Wehrheim and Gerhard Schellhorn},
title = {{CSP} Artifact for Model Checking Buffered Durable Linearizability (Version 1.1)},
publisher = {Zenodo},
year = {2025},
month = feb, howpublished = {\url{https://doi.org/10.5281/zenodo.14946061}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.14946061},
doi = {10.5281/ZENODO.14946061},
timestamp = {Mon, 25 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/EdmondsDDWS25a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Edmonds, B. Dongol, J. Derrick, H. Wehrheim, and G. Schellhorn. () CSP Artifact for Model Checking Buffered Durable Linearizability (Version 1.2). [Online]. Available: https://doi.org/10.5281/zenodo.15041794
doi: 10.5281/ZENODO.15041794
@misc{DBLP:data/11/EdmondsDDWS25c,
author = {Chelsea Edmonds and Brijesh Dongol and John Derrick and Heike Wehrheim and Gerhard Schellhorn},
title = {{CSP} Artifact for Model Checking Buffered Durable Linearizability (Version 1.2)},
publisher = {Zenodo},
year = {2025},
month = mar, howpublished = {\url{https://doi.org/10.5281/zenodo.15041794}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.15041794},
doi = {10.5281/ZENODO.15041794},
timestamp = {Wed, 27 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/EdmondsDDWS25c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, M. Chalupa, M. -, and H. Wehrheim. () Cooperative Software Verification via Dynamic Program Splitting (Version 2). [Online]. Available: https://doi.org/10.5281/zenodo.14726201
doi: 10.5281/ZENODO.14726201
@misc{DBLP:data/11/RichterCJW25,
author = {Cedric Richter and Marek Chalupa and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Cooperative Software Verification via Dynamic Program Splitting (Version 2)},
publisher = {Zenodo},
year = {2025},
month = jan, howpublished = {\url{https://doi.org/10.5281/zenodo.14726201}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.14726201},
doi = {10.5281/ZENODO.14726201},
timestamp = {Wed, 20 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/RichterCJW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, M. Chalupa, M. -, and H. Wehrheim. () Cooperative Software Verification via Dynamic Program Splitting (Version 3). [Online]. Available: https://doi.org/10.5281/zenodo.14738651
doi: 10.5281/ZENODO.14738651
@misc{DBLP:data/11/RichterCJW25a,
author = {Cedric Richter and Marek Chalupa and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Cooperative Software Verification via Dynamic Program Splitting (Version 3)},
publisher = {Zenodo},
year = {2025},
month = jan, howpublished = {\url{https://doi.org/10.5281/zenodo.14738651}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.14738651},
doi = {10.5281/ZENODO.14738651},
timestamp = {Wed, 20 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/RichterCJW25a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, M. Chalupa, M. -, and H. Wehrheim. () Cooperative Software Verification via Dynamic Program Splitting (Version 4). [Online]. Available: https://doi.org/10.5281/zenodo.14859021
doi: 10.5281/ZENODO.14859021
@misc{DBLP:data/11/RichterCJW25b,
author = {Cedric Richter and Marek Chalupa and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Cooperative Software Verification via Dynamic Program Splitting (Version 4)},
publisher = {Zenodo},
year = {2025},
month = feb, howpublished = {\url{https://doi.org/10.5281/zenodo.14859021}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.14859021},
doi = {10.5281/ZENODO.14859021},
timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/RichterCJW25b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2024.
doi: 10.1145/3650092
@article{DBLP:journals/fac/AhrendtLW24,
author = {Wolfgang Ahrendt and Fr{\'{e}}d{\'{e}}ric Loulergue and Heike Wehrheim},
title = {Introduction to the Special Collection from the International Conference on Tests and Proofs {(TAP)} 2020 and 2021},
journal = {Formal Aspects Comput.},
volume = {36},
number = {1},
pages = {1:1--1:2},
year = {2024},
url = {https://doi.org/10.1145/3650092},
doi = {10.1145/3650092},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AhrendtLW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel program analysis on path ranges" Sci. Comput. Program. vol. 238, p. 103154.
2024.
doi: 10.1016/J.SCICO.2024.103154
@article{DBLP:journals/scp/HaltermannJRW24,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
title = {Parallel program analysis on path ranges},
journal = {Sci. Comput. Program.},
volume = {238},
pages = {103154},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2024.103154},
doi = {10.1016/J.SCICO.2024.103154},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HaltermannJRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann and H. Wehrheim, "Exchanging information in cooperative software validation" Softw. Syst. Model. vol. 23, iss. 3.
2024.
doi: 10.1007/S10270-024-01155-3
@article{DBLP:journals/sosym/HaltermannW24,
author = {Jan Haltermann and Heike Wehrheim},
title = {Exchanging information in cooperative software validation},
journal = {Softw. Syst. Model.},
volume = {23},
number = {3},
pages = {695--719},
year = {2024},
url = {https://doi.org/10.1007/s10270-024-01155-3},
doi = {10.1007/S10270-024-01155-3},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HaltermannW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/JanssenRW24,
author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim},
editor = {Dirk Beyer and Ana Cavalcanti},
title = {Can ChatGPT support software verification?},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {14573},
pages = {266--279},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57259-3\_13},
doi = {10.1007/978-3-031-57259-3\_13},
timestamp = {Sat, 08 Jun 2024 13:13:51 +0200},
biburl = {https://dblp.org/rec/conf/fase/JanssenRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/BargmannDW24,
author = {Lara Bargmann and Brijesh Dongol and Heike Wehrheim},
editor = {Andr{\'{e}} Platzer and Kristin Yvonne Rozier and Matteo Pradella and Matteo Rossi},
title = {Unifying Weak Memory Verification Using Potentials},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {519--537},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_27},
doi = {10.1007/978-3-031-71162-6\_27},
timestamp = {Mon, 09 Dec 2024 22:46:03 +0100},
biburl = {https://dblp.org/rec/conf/fm/BargmannDW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/RichterW24,
author = {Cedric Richter and Heike Wehrheim},
editor = {Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann and Bianca Wiesmayr},
title = {On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {111--112},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_34},
doi = {10.18420/SW2024\_34},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/RichterW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/HaltermannJRW24,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
editor = {Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann and Bianca Wiesmayr},
title = {Ranged Program Analysis: {A} Parallel Divide-and-Conquer Approach for Software Verification},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {157--158},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_52},
doi = {10.18420/SW2024\_52},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/HaltermannJRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/vmcai/BodenmullerDDSW24,
author = {Stefan Bodenm{\"{u}}ller and John Derrick and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
editor = {Rayna Dimitrova and Ori Lahav and Sebastian Wolff},
title = {A Fully Verified Persistency Library},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14500},
pages = {26--47},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50521-8\_2},
doi = {10.1007/978-3-031-50521-8\_2},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BodenmullerDDSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. Dongol, O. Lahav, and H. Wehrheim, A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal ConsistencySpringer.
2024.
doi: 10.1007/978-3-031-66676-6_5
@incollection{DBLP:series/lncs/Dongol0W24,
author = {Brijesh Dongol and Ori Lahav and Heike Wehrheim},
editor = {Ana Cavalcanti and James Baxter},
title = {A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency},
booktitle = {The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14780},
pages = {88--108},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-66676-6\_5},
doi = {10.1007/978-3-031-66676-6\_5},
timestamp = {Tue, 08 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Dongol0W24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim. () Replication package for article 'Parallel Program Analysis on Path Ranges' (Version 2.0). [Online]. Available: https://doi.org/10.5281/zenodo.10854172
doi: 10.5281/ZENODO.10854172
@misc{DBLP:data/11/HaltermannJRW24,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
title = {Replication package for article 'Parallel Program Analysis on Path Ranges' (Version 2.0)},
publisher = {Zenodo},
year = {2024},
month = mar, howpublished = {\url{https://doi.org/10.5281/zenodo.10854172}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10854172},
doi = {10.5281/ZENODO.10854172},
timestamp = {Fri, 24 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/11/HaltermannJRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim. () Artifact for research regarding Ranged Program Analysis (Version 1.0). [Online]. Available: https://doi.org/10.5281/zenodo.12532813
doi: 10.5281/ZENODO.12532813
@misc{DBLP:data/11/HaltermannJRW24a,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
title = {Artifact for research regarding Ranged Program Analysis (Version 1.0)},
publisher = {Zenodo},
year = {2024},
month = jun, howpublished = {\url{https://doi.org/10.5281/zenodo.12532813}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.12532813},
doi = {10.5281/ZENODO.12532813},
timestamp = {Mon, 17 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/11/HaltermannJRW24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, M. Chalupa, M. -, and H. Wehrheim. () Cooperative Software Verification via Dynamic Program Splitting (Version 1). [Online]. Available: https://doi.org/10.5281/zenodo.13142908
doi: 10.5281/ZENODO.13142908
@misc{DBLP:data/11/RichterCJW24,
author = {Cedric Richter and Marek Chalupa and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Cooperative Software Verification via Dynamic Program Splitting (Version 1)},
publisher = {Zenodo},
year = {2024},
month = aug, howpublished = {\url{https://doi.org/10.5281/zenodo.13142908}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.13142908},
doi = {10.5281/ZENODO.13142908},
timestamp = {Wed, 20 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/RichterCJW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel Program Analysis on Path Ranges" CoRR, vol. abs/2402.11938.
2024.
doi: 10.48550/ARXIV.2402.11938
@article{DBLP:journals/corr/abs-2402-11938,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
title = {Parallel Program Analysis on Path Ranges},
journal = {CoRR},
volume = {abs/2402.11938},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.11938},
doi = {10.48550/ARXIV.2402.11938},
eprinttype = {arXiv},
eprint = {2402.11938},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-11938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/cav/LahavDW23,
author = {Ori Lahav and Brijesh Dongol and Heike Wehrheim},
editor = {Constantin Enea and Akash Lal},
title = {Rely-Guarantee Reasoning for Causally Consistent Shared Memory},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {206--229},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_11},
doi = {10.1007/978-3-031-37706-8\_11},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahavDW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/HaltermannJRW23,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
editor = {Leen Lambers and Sebasti{\'{a}}n Uchitel},
title = {Parallel Program Analysis via Range Splitting},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {195--219},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_11},
doi = {10.1007/978-3-031-30826-0\_11},
timestamp = {Sat, 13 May 2023 01:07:19 +0200},
biburl = {https://dblp.org/rec/conf/fase/HaltermannJRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/WehrheimBD23,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker},
title = {Reasoning About Promises in Weak Memory Models with Event Structures},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {282--300},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_17},
doi = {10.1007/978-3-031-27481-7\_17},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WehrheimBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Paula Herber and Anton Wijs},
title = {Lifting the Reasoning Level in Generic Weak Memory Verification},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {175--192},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_10},
doi = {10.1007/978-3-031-47705-8\_10},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/kbse/RichterW23,
author = {Cedric Richter and Heike Wehrheim},
title = {How to Train Your Neural Bug Detector: Artificial vs Real Bugs},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1036--1048},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00104},
doi = {10.1109/ASE56229.2023.00104},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/0001H0W23,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
title = {Component-based {CEGAR} - Building Software Verifiers from Off-the-Shelf Components},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {37--38},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40128},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/0001H0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/PauckW23,
author = {Felix Pauck and Heike Wehrheim},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
title = {Jicer: Slicing Android Apps for Cooperative Analysis},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {101--102},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40104},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PauckW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/RichterHJPSW23,
author = {Cedric Richter and Jan Haltermann and Marie{-}Christine Jakobs and Felix Pauck and Stefan Schott and Heike Wehrheim},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
title = {Variable Misuse Detection: Software Developers versus Neural Bug Detectors},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {103--104},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40105},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/RichterHJPSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/SharmaMHW23,
author = {Arnab Sharma and Vitalik Melnikov and Eyke H{\"{u}}llermeier and Heike Wehrheim},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
title = {Property-Driven Black-Box Testing of Numeric Functions},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {111--112},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40109},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SharmaMHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sefm/DyckRW23,
author = {Florian Dyck and Cedric Richter and Heike Wehrheim},
editor = {Carla Ferreira and Tim A. C. Willemse},
title = {Robustness Testing of Software Verifiers},
booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {66--84},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_5},
doi = {10.1007/978-3-031-47115-5\_5},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DyckRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sefm/HaltermannJRW23,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
editor = {Carla Ferreira and Tim A. C. Willemse},
title = {Ranged Program Analysis via Instrumentation},
booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {145--164},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_9},
doi = {10.1007/978-3-031-47115-5\_9},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HaltermannJRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sefm/ThobenHW23,
author = {Nicola Thoben and Jan Haltermann and Heike Wehrheim},
editor = {Carla Ferreira and Tim A. C. Willemse},
title = {Timeout Prediction for Software Analyses},
booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {340--358},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_19},
doi = {10.1007/978-3-031-47115-5\_19},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ThobenHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/tase/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Cristina David and Meng Sun},
title = {View-Based Axiomatic Reasoning for {PSO}},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium, {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {286--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_17},
doi = {10.1007/978-3-031-35257-7\_17},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Janßen, C. Richter, and H. Wehrheim. () PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 1). [Online]. Available: https://doi.org/10.5281/zenodo.10063837
doi: 10.5281/ZENODO.10063837
@misc{DBLP:data/10/JanssenRW23,
author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim},
title = {PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 1)},
publisher = {Zenodo},
year = {2023},
month = nov, howpublished = {\url{https://doi.org/10.5281/zenodo.10063837}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10063837},
doi = {10.5281/ZENODO.10063837},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/JanssenRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Janßen, C. Richter, and H. Wehrheim. () PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 2). [Online]. Available: https://doi.org/10.5281/zenodo.10157071
doi: 10.5281/ZENODO.10157071
@misc{DBLP:data/10/JanssenRW23a,
author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim},
title = {PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 2)},
publisher = {Zenodo},
year = {2023},
month = nov, howpublished = {\url{https://doi.org/10.5281/zenodo.10157071}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10157071},
doi = {10.5281/ZENODO.10157071},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/JanssenRW23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Janßen, C. Richter, and H. Wehrheim. () PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 3). [Online]. Available: https://doi.org/10.5281/zenodo.10184816
doi: 10.5281/ZENODO.10184816
@misc{DBLP:data/10/JanssenRW23b,
author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim},
title = {PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 3)},
publisher = {Zenodo},
year = {2023},
month = nov, howpublished = {\url{https://doi.org/10.5281/zenodo.10184816}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10184816},
doi = {10.5281/ZENODO.10184816},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/JanssenRW23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Janßen, C. Richter, and H. Wehrheim. () PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 4). [Online]. Available: https://doi.org/10.5281/zenodo.10203346
doi: 10.5281/ZENODO.10203346
@misc{DBLP:data/10/JanssenRW23c,
author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim},
title = {PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution) (Version 4)},
publisher = {Zenodo},
year = {2023},
month = nov, howpublished = {\url{https://doi.org/10.5281/zenodo.10203346}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10203346},
doi = {10.5281/ZENODO.10203346},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/JanssenRW23c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@misc{DBLP:data/10/RichterW23,
author = {Cedric Richter and Heike Wehrheim},
title = {How to Train Your Neural Bug Detector: Artificial vs Real Bugs (Version 1)},
publisher = {Zenodo},
year = {2023},
month = may, howpublished = {\url{https://doi.org/10.5281/zenodo.7900059}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7900059},
doi = {10.5281/ZENODO.7900059},
timestamp = {Tue, 05 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/RichterW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
L. Bargmann and H. Wehrheim, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967.
2023.
doi: 10.48550/ARXIV.2301.07967
@article{DBLP:journals/corr/abs-2301-07967,
author = {Lara Bargmann and Heike Wehrheim},
title = {View-Based Axiomatic Reasoning for {PSO} (Extended Version)},
journal = {CoRR},
volume = {abs/2301.07967},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07967},
doi = {10.48550/ARXIV.2301.07967},
eprinttype = {arXiv},
eprint = {2301.07967},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
O. Lahav, B. Dongol, and H. Wehrheim, "Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)" CoRR, vol. abs/2305.08486.
2023.
doi: 10.48550/ARXIV.2305.08486
@article{DBLP:journals/corr/abs-2305-08486,
author = {Ori Lahav and Brijesh Dongol and Heike Wehrheim},
title = {Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)},
journal = {CoRR},
volume = {abs/2305.08486},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08486},
doi = {10.48550/ARXIV.2305.08486},
eprinttype = {arXiv},
eprint = {2305.08486},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08486.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
L. Bargmann and H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)" CoRR, vol. abs/2309.01433.
2023.
doi: 10.48550/ARXIV.2309.01433
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.
2022.
doi: 10.1007/S10817-021-09610-2
@article{DBLP:journals/jar/DalvandiDDW22,
author = {Sadegh Dalvandi and Brijesh Dongol and Simon Doherty and Heike Wehrheim},
title = {Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {66},
number = {1},
pages = {141--171},
year = {2022},
url = {https://doi.org/10.1007/s10817-021-09610-2},
doi = {10.1007/S10817-021-09610-2},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/DalvandiDDW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2022.
doi: 10.46298/LMCS-18(3:7)2022
@article{DBLP:journals/lmcs/BilaDDDSW22,
author = {Eleni Bila and John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
title = {Modularising Verification Of Durable Opacity},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:7)2022},
doi = {10.46298/LMCS-18(3:7)2022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BilaDDDSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2022.
doi: 10.1145/3545117
@article{DBLP:journals/tocl/DohertyDDW22,
author = {Simon Doherty and Sadegh Dalvandi and Brijesh Dongol and Heike Wehrheim},
title = {Unifying Operational Weak Memory Verification: An Axiomatic Approach},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {4},
pages = {27:1--27:39},
year = {2022},
url = {https://doi.org/10.1145/3545117},
doi = {10.1145/3545117},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DohertyDDW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/concur/DongolSW22,
author = {Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
editor = {Bartek Klin and Slawomir Lasota and Anca Muscholl},
title = {Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022, September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {31:1--31:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.31},
doi = {10.4230/LIPICS.CONCUR.2022.31},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DongolSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icse/00010HW22,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
title = {Decomposing Software Verification into Off-the-Shelf Components: An Application to {CEGAR}},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {536--548},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510064},
doi = {10.1145/3510003.3510064},
timestamp = {Sun, 19 Jan 2025 13:14:40 +0100},
biburl = {https://dblp.org/rec/conf/icse/00010HW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icse-formalise/SharmaMHW22,
author = {Arnab Sharma and Vitalik Melnikov and Eyke H{\"{u}}llermeier and Heike Wehrheim},
editor = {Arnd Hartmanns and Ina Schaefer and Stefania Gnesi and Nico Plat},
title = {Property-Driven Testing of Black-Box Functions},
booktitle = {10th {IEEE/ACM} International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022},
pages = {113--123},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524482.3527657},
doi = {10.1145/3524482.3527657},
timestamp = {Mon, 03 Jul 2023 17:01:01 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/SharmaMHW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icst/HaltermannW22,
author = {Jan Haltermann and Heike Wehrheim},
title = {Machine Learning Based Invariant Generation: {A} Framework and Reproducibility Study},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {12--23},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00012},
doi = {10.1109/ICST53961.2022.00012},
timestamp = {Mon, 13 Jun 2022 16:53:36 +0200},
biburl = {https://dblp.org/rec/conf/icst/HaltermannW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icst/RichterW22,
author = {Cedric Richter and Heike Wehrheim},
title = {Learning Realistic Mutations: Bug Creation for Neural Bug Detectors},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {162--173},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00027},
doi = {10.1109/ICST53961.2022.00027},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/RichterW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/kbse/RichterHJPSW22,
author = {Cedric Richter and Jan Haltermann and Marie{-}Christine Jakobs and Felix Pauck and Stefan Schott and Heike Wehrheim},
title = {Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {9:1--9:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3561156},
doi = {10.1145/3551349.3561156},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterHJPSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/msr/RichterW22,
author = {Cedric Richter and Heike Wehrheim},
title = {{TSSB-3M:} Mining single statement bugs at massive scale},
booktitle = {19th {IEEE/ACM} International Conference on Mining Software Repositories, {MSR} 2022, Pittsburgh, PA, USA, May 23-24, 2022},
pages = {418--422},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524842.3528505},
doi = {10.1145/3524842.3528505},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/msr/RichterW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/HaltermannW22,
author = {Jan Haltermann and Heike Wehrheim},
editor = {Lars Grunske and Janet Siegmund and Andreas Vogelsang},
title = {CoVEGI: Cooperative Verification via Externally Generated Invariants},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {41--42},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-011},
doi = {10.18420/SE2022-WS-011},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/HaltermannW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/sefm/HaltermannW22,
author = {Jan Haltermann and Heike Wehrheim},
editor = {Bernd{-}Holger Schlingloff and Ming Chai},
title = {Information Exchange Between Over- and Underapproximating Software Analyses},
booktitle = {Software Engineering and Formal Methods - 20th International Conference, {SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {37--54},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_3},
doi = {10.1007/978-3-031-17108-6\_3},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HaltermannW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:data/10/BeyerHLW22,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
title = {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)},
publisher = {Zenodo},
year = {2022},
month = jan, howpublished = {\url{https://doi.org/10.5281/zenodo.5918111}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5918111},
doi = {10.5281/ZENODO.5918111},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BeyerHLW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:data/10/BeyerHLW22a,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
title = {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)},
publisher = {Zenodo},
year = {2022},
month = feb, howpublished = {\url{https://doi.org/10.5281/zenodo.6062602}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.6062602},
doi = {10.5281/ZENODO.6062602},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BeyerHLW22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@misc{DBLP:data/10/BeyerHLWW22,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim and Philipp Wendler},
title = {CPAchecker Release 2.1.1 (unix) (Version 2.1.1 (unix))},
publisher = {Zenodo},
year = {2022},
month = jan, howpublished = {\url{https://doi.org/10.5281/zenodo.5898968}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5898968},
doi = {10.5281/ZENODO.5898968},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BeyerHLWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2022.
doi: 10.48550/ARXIV.2207.00301
@article{DBLP:journals/corr/abs-2207-00301,
author = {Cedric Richter and Heike Wehrheim},
title = {Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes},
journal = {CoRR},
volume = {abs/2207.00301},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00301},
doi = {10.48550/ARXIV.2207.00301},
eprinttype = {arXiv},
eprint = {2207.00301},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
H. Wehrheim, L. Bargmann, and B. Dongol, "Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)" CoRR, vol. abs/2211.16330.
2022.
doi: 10.48550/ARXIV.2211.16330
@article{DBLP:journals/corr/abs-2211-16330,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
title = {Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)},
journal = {CoRR},
volume = {abs/2211.16330},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16330},
doi = {10.48550/ARXIV.2211.16330},
eprinttype = {arXiv},
eprint = {2211.16330},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. -, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, "Software/Hardware Co-Verification for Custom Instruction Set Processors" IEEE Access, vol. 9.
2021.
doi: 10.1109/ACCESS.2021.3131213
@article{DBLP:journals/access/JakobsPPWW21,
author = {Marie{-}Christine Jakobs and Felix Pauck and Marco Platzner and Heike Wehrheim and Tobias Wiersema},
title = {Software/Hardware Co-Verification for Custom Instruction Set Processors},
journal = {{IEEE} Access},
volume = {9},
pages = {160559--160579},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3131213},
doi = {10.1109/ACCESS.2021.3131213},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/JakobsPPWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2021.
doi: 10.1007/S00165-021-00541-8
@article{DBLP:journals/fac/DerrickDDSW21,
author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
title = {Verifying correctness of persistent concurrent data structures: a sound and complete method},
journal = {Formal Aspects Comput.},
volume = {33},
number = {4-5},
pages = {547--573},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00541-8},
doi = {10.1007/S00165-021-00541-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickDDSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/HaltermannW21,
author = {Jan Haltermann and Heike Wehrheim},
editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga},
title = {CoVEGI: Cooperative Verification via Externally Generated Invariants},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {108--129},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_6},
doi = {10.1007/978-3-030-71500-7\_6},
timestamp = {Fri, 14 May 2021 08:34:15 +0200},
biburl = {https://dblp.org/rec/conf/fase/HaltermannW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icmla/SharmaDNW21,
author = {Arnab Sharma and Caglar Demir and Axel{-}Cyrille Ngonga Ngomo and Heike Wehrheim},
editor = {M. Arif Wani and Ishwar K. Sethi and Weisong Shi and Guangzhi Qu and Daniela Stan Raicu and Ruoming Jin},
title = {{MLCHECK-} Property-Driven Testing of Machine Learning Classifiers},
booktitle = {20th {IEEE} International Conference on Machine Learning and Applications, {ICMLA} 2021, Pasadena, CA, USA, December 13-16, 2021},
pages = {738--745},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICMLA52953.2021.00123},
doi = {10.1109/ICMLA52953.2021.00123},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmla/SharmaDNW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ictac/KonigW21,
author = {J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
editor = {Antonio Cerone and Peter Csaba {\"{O}}lveczky},
title = {On the Correctness Problem for Serializability},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {47--64},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_4},
doi = {10.1007/978-3-030-85315-0\_4},
timestamp = {Wed, 25 Aug 2021 09:47:08 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KonigW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/scam/PauckW21,
author = {Felix Pauck and Heike Wehrheim},
title = {Jicer: Simplifying Cooperative Android App Analysis Tasks},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {187--197},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00031},
doi = {10.1109/SCAM52516.2021.00031},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scam/PauckW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/PauckW21,
author = {Felix Pauck and Heike Wehrheim},
editor = {Anne Koziolek and Ina Schaefer and Christoph Seidl},
title = {Cooperative Android App Analysis with CoDiDroid},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {83--84},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_30},
doi = {10.18420/SE2021\_30},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/PauckW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/wdag/DerrickDDSW21,
author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
editor = {Seth Gilbert},
title = {Brief Announcement: On Strong Observational Refinement and Forward Simulation},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {55:1--55:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.55},
doi = {10.4230/LIPICS.DISC.2021.55},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DerrickDDSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:data/10/BeyerHLW21,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
title = {Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR" (Version CCEGAR-artifact-ICSE22-submission.small)},
publisher = {Zenodo},
year = {2021},
month = sep, howpublished = {\url{https://doi.org/10.5281/zenodo.5301637}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5301637},
doi = {10.5281/ZENODO.5301637},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BeyerHLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@misc{DBLP:data/10/BeyerHLW21a,
author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
title = {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)},
publisher = {Zenodo},
year = {2021},
month = sep, howpublished = {\url{https://doi.org/10.5281/zenodo.5443638}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5443638},
doi = {10.5281/ZENODO.5443638},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BeyerHLW21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "On Strong Observational Refinement and Forward Simulation" CoRR, vol. abs/2107.14509.
2021.
@article{DBLP:journals/corr/abs-2107-14509,
author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
title = {On Strong Observational Refinement and Forward Simulation},
journal = {CoRR},
volume = {abs/2107.14509},
year = {2021},
url = {https://arxiv.org/abs/2107.14509},
eprinttype = {arXiv},
eprint = {2107.14509},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2020.
doi: 10.1007/S10515-020-00270-X
@article{DBLP:journals/ase/RichterHJW20,
author = {Cedric Richter and Eyke H{\"{u}}llermeier and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Algorithm selection for software validation based on graph kernels},
journal = {Autom. Softw. Eng.},
volume = {27},
number = {1},
pages = {153--186},
year = {2020},
url = {https://doi.org/10.1007/s10515-020-00270-x},
doi = {10.1007/S10515-020-00270-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/RichterHJW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2020.
doi: 10.1007/S12599-019-00627-X
@article{DBLP:journals/bise/KarlKHW20,
author = {Holger Karl and Dennis Kundisch and Friedhelm Meyer auf der Heide and Heike Wehrheim},
title = {A Case for a New {IT} Ecosystem: On-The-Fly Computing},
journal = {Bus. Inf. Syst. Eng.},
volume = {62},
number = {6},
pages = {467--481},
year = {2020},
url = {https://doi.org/10.1007/s12599-019-00627-x},
doi = {10.1007/S12599-019-00627-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bise/KarlKHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, "Owicki-Gries Reasoning for C11 RAR (Artifact)" Dagstuhl Artifacts Ser. vol. 6, iss. 2.
2020.
doi: 10.4230/DARTS.6.2.15
@article{DBLP:journals/darts/DalvandiDDW20,
author = {Sadegh Dalvandi and Simon Doherty and Brijesh Dongol and Heike Wehrheim},
title = {Owicki-Gries Reasoning for {C11} {RAR} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {15:1--15:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.15},
doi = {10.4230/DARTS.6.2.15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DalvandiDDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ecoop/DalvandiDDW19,
author = {Sadegh Dalvandi and Simon Doherty and Brijesh Dongol and Heike Wehrheim},
editor = {Robert Hirschfeld and Tobias Pape},
title = {Owicki-Gries Reasoning for {C11} {RAR}},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {11:1--11:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.11},
doi = {10.4230/LIPICS.ECOOP.2020.11},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DalvandiDDW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/forte/BilaDDDSW20,
author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
editor = {Alexey Gotsman and Ana Sokolova},
title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {39--58},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_3},
doi = {10.1007/978-3-030-50086-3\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BilaDDDSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icsoft/BeringerW20,
author = {Steffen Beringer and Heike Wehrheim},
editor = {Marten van Sinderen and Hans{-}Georg Fill and Leszek A. Maciaszek},
title = {Consistency Analysis of {AUTOSAR} Timing Requirements},
booktitle = {Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {15--26},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009766600150026},
doi = {10.5220/0009766600150026},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/BeringerW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/isola/0001W20,
author = {Dirk Beyer and Heike Wehrheim},
editor = {Tiziana Margaria and Bernhard Steffen},
title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {143--167},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_8},
doi = {10.1007/978-3-030-61362-4\_8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/0001W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/issta/SharmaW20,
author = {Arnab Sharma and Heike Wehrheim},
editor = {Sarfraz Khurshid and Corina S. Pasareanu},
title = {Higher income, larger loan? monotonicity testing of machine learning models},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {200--210},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397352},
doi = {10.1145/3395363.3397352},
timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
biburl = {https://dblp.org/rec/conf/issta/SharmaW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/kbse/RichterW20,
author = {Cedric Richter and Heike Wehrheim},
title = {Attend and Represent: {A} Novel View on Algorithm Selection for Software Verification},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {1016--1028},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416633},
doi = {10.1145/3324884.3416633},
timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/pts/SharmaW20,
author = {Arnab Sharma and Heike Wehrheim},
editor = {Valentina Casola and Alessandra De Benedictis and Massimiliano Rak},
title = {Automatic Fairness Testing of Machine Learning Models},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {255--271},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_16},
doi = {10.1007/978-3-030-64881-7\_16},
timestamp = {Tue, 08 Dec 2020 15:44:14 +0100},
biburl = {https://dblp.org/rec/conf/pts/SharmaW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/PauckBW20,
author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
editor = {Michael Felderer and Wilhelm Hasselbring and Rick Rabiser and Reiner Jung},
title = {Reproducing Taint-Analysis Results with ReproDroid},
booktitle = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria},
series = {{LNI}},
volume = {{P-300}},
pages = {123--124},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2020},
url = {https://dl.gi.de/handle/20.500.12116/31714},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/PauckBW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/2020, editor = {Heike Wehrheim and Jordi Cabot},
title = {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, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6},
doi = {10.1007/978-3-030-45234-6},
isbn = {978-3-030-45233-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2020.
@article{DBLP:journals/corr/abs-2004-08200,
author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory},
journal = {CoRR},
volume = {abs/2004.08200},
year = {2020},
url = {https://arxiv.org/abs/2004.08200},
eprinttype = {arXiv},
eprint = {2004.08200},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
E. Bila, J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, "Modularising Verification Of Durable Opacity" CoRR, vol. abs/2011.15013.
2020.
@article{DBLP:journals/corr/abs-2011-15013,
author = {Eleni Bila and John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
title = {Modularising Verification Of Durable Opacity},
journal = {CoRR},
volume = {abs/2011.15013},
year = {2020},
url = {https://arxiv.org/abs/2011.15013},
eprinttype = {arXiv},
eprint = {2011.15013},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-15013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/DerrickDDSW19,
author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
editor = {Maurice H. ter Beek and Annabelle McIver and Jos{\'{e}} N. Oliveira},
title = {Verifying Correctness of Persistent Concurrent Data Structures},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {179--195},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_12},
doi = {10.1007/978-3-030-30942-8\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDDSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icst/SharmaW19,
author = {Arnab Sharma and Heike Wehrheim},
title = {Testing Machine Learning Algorithms for Balanced Data Usage},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification, {ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {125--135},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00022},
doi = {10.1109/ICST.2019.00022},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/SharmaW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
@inproceedings{DBLP:conf/im/SchneiderSKW19,
author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
editor = {Joe Betser and Carol J. Fung and Alex Clemm and J{\'{e}}r{\^{o}}me Fran{\c{c}}ois and Shingo Ata},
title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management, {IM} 2019, Washington, DC, USA, April 09-11, 2019},
pages = {116--124},
publisher = {{IFIP}},
year = {2019},
url = {http://dl.ifip.org/db/conf/im/im2019/188490.pdf},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/SchneiderSKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/nfm/KonigW19,
author = {J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
editor = {Julia M. Badger and Kristin Yvonne Rozier},
title = {Data Independence for Software Transactional Memory},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {263--279},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_18},
doi = {10.1007/978-3-030-20652-9\_18},
timestamp = {Tue, 28 May 2019 13:48:14 +0200},
biburl = {https://dblp.org/rec/conf/nfm/KonigW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ppopp/DohertyDWD19,
author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
editor = {Jeffrey K. Hollingsworth and Idit Keidar},
title = {Verifying {C11} programs operationally},
booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019},
pages = {355--365},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293883.3295702},
doi = {10.1145/3293883.3295702},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/DohertyDWD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/0001J0W19,
author = {Dirk Beyer and Marie{-}Christine Jakobs and Thomas Lemberger and Heike Wehrheim},
editor = {Steffen Becker and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner},
title = {Combining Verifiers in Conditional Model Checking via Reducers},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {151--152},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-46},
doi = {10.18420/SE2019-46},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/0001J0W19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/SharmaW19,
author = {Arnab Sharma and Heike Wehrheim},
editor = {Steffen Becker and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner},
title = {Testing Balancedness of {ML} Algorithms},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {157--158},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-48},
doi = {10.18420/SE2019-48},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/SharmaW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sigsoft/PauckW19,
author = {Felix Pauck and Heike Wehrheim},
editor = {Marlon Dumas and Dietmar Pfahl and Sven Apel and Alessandra Russo},
title = {Together strong: cooperative Android app analysis},
booktitle = {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},
pages = {374--384},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338915},
doi = {10.1145/3338906.3338915},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PauckW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/tacas/RichterW19,
author = {Cedric Richter and Heike Wehrheim},
editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
title = {PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {229--233},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_19},
doi = {10.1007/978-3-030-17502-3\_19},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RichterW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/tap/0002JPW19,
author = {Tobias Isenberg and Marie{-}Christine Jakobs and Felix Pauck and Heike Wehrheim},
editor = {Dirk Beyer and Chantal Keller},
title = {When Are Software Verification Results Valid for Approximate Hardware?},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_1},
doi = {10.1007/978-3-030-31157-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/0002JPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
D. Beyer and H. Wehrheim, "Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework" CoRR, vol. abs/1905.08505.
2019.
@article{DBLP:journals/corr/abs-1905-08505,
author = {Dirk Beyer and Heike Wehrheim},
title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework},
journal = {CoRR},
volume = {abs/1905.08505},
year = {2019},
url = {http://arxiv.org/abs/1905.08505},
eprinttype = {arXiv},
eprint = {1905.08505},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
T. Isenberg, M. -, F. Pauck, and H. Wehrheim, "Validity of Software Verification Results on Approximate Hardware" IEEE Embed. Syst. Lett. vol. 10, iss. 1.
2018.
doi: 10.1109/LES.2017.2758200
@article{DBLP:journals/esl/IsenbergJPW18,
author = {Tobias Isenberg and Marie{-}Christine Jakobs and Felix Pauck and Heike Wehrheim},
title = {Validity of Software Verification Results on Approximate Hardware},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {10},
number = {1},
pages = {22--25},
year = {2018},
url = {https://doi.org/10.1109/LES.2017.2758200},
doi = {10.1109/LES.2017.2758200},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/IsenbergJPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2018.
doi: 10.1007/S00165-017-0433-3
@article{DBLP:journals/fac/DerrickDDSTW18,
author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
title = {Mechanized proofs of opacity: a comparison of two techniques},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {597--625},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0433-3},
doi = {10.1007/S00165-017-0433-3},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickDDSTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icse/BeyerJLW18,
author = {Dirk Beyer and Marie{-}Christine Jakobs and Thomas Lemberger and Heike Wehrheim},
editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},
title = {Reducer-based construction of conditional verifiers},
booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1182--1193},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180259},
doi = {10.1145/3180155.3180259},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BeyerJLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ictac/TowsW18,
author = {Manuel T{\"{o}}ws and Heike Wehrheim},
editor = {Bernd Fischer and Tarmo Uustalu},
title = {Information Flow Certificates},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {435--454},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_23},
doi = {10.1007/978-3-030-02508-3\_23},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/TowsW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/DohertyDWD18,
author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
editor = {Carlo A. Furia and Kirsten Winter},
title = {Making Linearizability Compositional for Partially Ordered Executions},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {110--129},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_7},
doi = {10.1007/978-3-319-98938-9\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DohertyDWD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/pts/BordingHJW18,
author = {Paul B{\"{o}}rding and Jan Haltermann and Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Inmaculada Medina{-}Bulo and Mercedes G. Merayo and Robert M. Hierons},
title = {JMCTest: Automatically Testing Inter-Method Contracts in Java},
booktitle = {Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2018, C{\'{a}}diz, Spain, October 1-3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11146},
pages = {39--55},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99927-2\_4},
doi = {10.1007/978-3-319-99927-2\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BordingHJW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sefm/SchellhornWTKW18,
author = {Gerhard Schellhorn and Monika Wedel and Oleg Travkin and J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
editor = {Einar Broch Johnsen and Ina Schaefer},
title = {FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity},
booktitle = {Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {105--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_7},
doi = {10.1007/978-3-319-92970-5\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SchellhornWTKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sigsoft/PauckBW18,
author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu},
title = {Do Android taint analysis tools keep their promises?},
booktitle = {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},
pages = {331--341},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236029},
doi = {10.1145/3236024.3236029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PauckBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/wdag/DohertyDWD18,
author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
editor = {Ulrich Schmid and Josef Widder},
title = {Brief Announcement: Generalising Concurrent Correctness to Weak Memory},
booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018},
series = {LIPIcs},
volume = {121},
pages = {45:1--45:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.DISC.2018.45},
doi = {10.4230/LIPICS.DISC.2018.45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DohertyDWD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@misc{DBLP:data/10/BeyerJLW18,
author = {Dirk Beyer and Marie{-}Christine Jakobs and Thomas Lemberger and Heike Wehrheim},
title = {Reproduction Package for {ICSE} 2018 Article 'Reducer-Based Construction of Conditional Verifiers' (Version CMC-reducers-ICSE18-proceedings)},
publisher = {Zenodo},
year = {2018},
month = feb, howpublished = {\url{https://doi.org/10.5281/zenodo.1172228}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.1172228},
doi = {10.5281/ZENODO.1172228},
timestamp = {Fri, 30 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/BeyerJLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
S. Doherty, J. Derrick, B. Dongol, and H. Wehrheim, "Causal Linearizability: Compositionality for Partially Ordered Executions" CoRR, vol. abs/1802.01866.
2018.
@article{DBLP:journals/corr/abs-1802-01866,
author = {Simon Doherty and John Derrick and Brijesh Dongol and Heike Wehrheim},
title = {Causal Linearizability: Compositionality for Partially Ordered Executions},
journal = {CoRR},
volume = {abs/1802.01866},
year = {2018},
url = {http://arxiv.org/abs/1802.01866},
eprinttype = {arXiv},
eprint = {1802.01866},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
S. Schneider, A. Sharma, H. Karl, and H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007.
2018.
@article{DBLP:journals/corr/abs-1803-07007,
author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
journal = {CoRR},
volume = {abs/1803.07007},
year = {2018},
url = {http://arxiv.org/abs/1803.07007},
eprinttype = {arXiv},
eprint = {1803.07007},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-07007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2017.
doi: 10.1145/3054743
@article{DBLP:journals/todaes/IsenbergPWW17,
author = {Tobias Isenberg and Marco Platzner and Heike Wehrheim and Tobias Wiersema},
title = {Proof-Carrying Hardware via Inductive Invariants},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {22},
number = {4},
pages = {61:1--61:23},
year = {2017},
url = {https://doi.org/10.1145/3054743},
doi = {10.1145/3054743},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/IsenbergPWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2017.
doi: 10.1145/3014427
@article{DBLP:journals/toplas/JakobsW17,
author = {Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Programs from Proofs: {A} Framework for the Safe Execution of Untrusted Software},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {2},
pages = {7:1--7:56},
year = {2017},
url = {https://doi.org/10.1145/3014427},
doi = {10.1145/3014427},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/JakobsW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/facs2/Wehrheim17,
author = {Heike Wehrheim},
editor = {Jos{\'{e}} Proen{\c{c}}a and Markus Lumpe},
title = {Fault Localization in Service Compositions},
booktitle = {Formal Aspects of Component Software - 14th International Conference, {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {216--232},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_13},
doi = {10.1007/978-3-319-68034-7\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Wehrheim17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/TowsW17,
author = {Manuel T{\"{o}}ws and Heike Wehrheim},
editor = {Zhenhua Duan and Luke Ong},
title = {Policy Dependent and Independent Information Flow Analyses},
booktitle = {Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November 13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {362--378},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_22},
doi = {10.1007/978-3-319-68690-5\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TowsW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/ictac/KonigW17,
author = {J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
editor = {Dang Van Hung and Deepak Kapur},
title = {Value-Based or Conflict-Based? Opacity Definitions for STMs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10580},
pages = {118--135},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67729-3\_8},
doi = {10.1007/978-3-319-67729-3\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KonigW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/nfm/JakobsW17,
author = {Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Clark W. Barrett and Misty D. Davies and Temesghen Kahsai},
title = {Compact Proof Witnesses},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {389--403},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_28},
doi = {10.1007/978-3-319-57288-8\_28},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JakobsW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sigsoft/CzechHJW17,
author = {Mike Czech and Eyke H{\"{u}}llermeier and Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Olga Baysal and Tim Menzies},
title = {Predicting rankings of software verification tools},
booktitle = {Proceedings of the 3rd {ACM} {SIGSOFT} International Workshop on Software Analytics, SWAN@ESEC/SIGSOFT {FSE} 2017, Paderborn, Germany, September 4, 2017},
pages = {23--26},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3121257.3121262},
doi = {10.1145/3121257.3121262},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CzechHJW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
S. Walther and H. Wehrheim, "On-the-fly construction of provably correct service compositions - templates and proofs" Sci. Comput. Program. vol. 127.
2016.
doi: 10.1016/J.SCICO.2016.04.002
@article{DBLP:journals/scp/WaltherW16,
author = {Sven Walther and Heike Wehrheim},
title = {On-the-fly construction of provably correct service compositions - templates and proofs},
journal = {Sci. Comput. Program.},
volume = {127},
pages = {2--23},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.002},
doi = {10.1016/J.SCICO.2016.04.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/WaltherW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/esocc/KramerW16,
author = {Julia Kr{\"{a}}mer and Heike Wehrheim},
editor = {Marco Aiello and Einar Broch Johnsen and Schahram Dustdar and Ilche Georgievski},
title = {A Short Survey on Using Software Error Localization for Service Compositions},
booktitle = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9846},
pages = {248--262},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44482-6\_16},
doi = {10.1007/978-3-319-44482-6\_16},
timestamp = {Wed, 25 Sep 2019 18:01:58 +0200},
biburl = {https://dblp.org/rec/conf/esocc/KramerW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmics/BeringerW16,
author = {Steffen Beringer and Heike Wehrheim},
editor = {Maurice H. ter Beek and Stefania Gnesi and Alexander Knapp},
title = {Verification of {AUTOSAR} Software Architectures with Timed Automata},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {189--204},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_13},
doi = {10.1007/978-3-319-45943-1\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BeringerW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/TowsW16,
author = {Manuel T{\"{o}}ws and Heike Wehrheim},
editor = {Kazuhiro Ogata and Mark Lawford and Shaoying Liu},
title = {A {CEGAR} Scheme for Information Flow Analysis},
booktitle = {Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {466--483},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_29},
doi = {10.1007/978-3-319-47846-3\_29},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TowsW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ictac/TravkinW16,
author = {Oleg Travkin and Heike Wehrheim},
editor = {Augusto Sampaio and Farn Wang},
title = {Verification of Concurrent Programs on Weak Memory Models},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9965},
pages = {3--24},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46750-4\_1},
doi = {10.1007/978-3-319-46750-4\_1},
timestamp = {Wed, 12 Jun 2024 21:04:53 +0200},
biburl = {https://dblp.org/rec/conf/ictac/TravkinW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/SchellhornTW16,
author = {Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
editor = {Erika {\'{A}}brah{\'{a}}m and Marieke Huisman},
title = {Towards a Thread-Local Proof Technique for Starvation Freedom},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {193--209},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_13},
doi = {10.1007/978-3-319-33693-0\_13},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchellhornTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/opodis/DohertyDDSW16,
author = {Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
editor = {Panagiota Fatourou and Ernesto Jim{\'{e}}nez and Fernando Pedone},
title = {Proving Opacity of a Pessimistic {STM}},
booktitle = {20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain},
series = {LIPIcs},
volume = {70},
pages = {35:1--35:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.35},
doi = {10.4230/LIPICS.OPODIS.2016.35},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/DohertyDDSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/CzechJW16,
author = {Mike Czech and Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Jens Knoop and Uwe Zdun},
title = {Just test what you cannot verify!},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {17--18},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/718},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/CzechJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/staf/KramerW16,
author = {Julia Kr{\"{a}}mer and Heike Wehrheim},
editor = {Paolo Milazzo and D{\'{a}}niel Varr{\'{o}} and Manuel Wimmer},
title = {A Formal Approach to Error Localization and Correction in Service Compositions},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {445--457},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_35},
doi = {10.1007/978-3-319-50230-4\_35},
timestamp = {Sun, 19 Jan 2025 13:41:01 +0100},
biburl = {https://dblp.org/rec/conf/staf/KramerW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
G. Besova, D. Steenken, and H. Wehrheim, "Grammar-based model transformations: Definition, execution, and quality properties" Comput. Lang. Syst. Struct. vol. 43.
2015.
doi: 10.1016/J.CL.2015.05.003
@article{DBLP:journals/cl/BesovaSW15,
author = {Galina Besova and Dominik Steenken and Heike Wehrheim},
title = {Grammar-based model transformations: Definition, execution, and quality properties},
journal = {Comput. Lang. Syst. Struct.},
volume = {43},
pages = {116--138},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.05.003},
doi = {10.1016/J.CL.2015.05.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BesovaSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/birthday/MeyerW15,
author = {Roland Meyer and Heike Wehrheim},
editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim},
title = {From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {3--4},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_1},
doi = {10.1007/978-3-319-23506-6\_1},
timestamp = {Mon, 02 Sep 2019 16:45:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MeyerW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/CzechJW15,
author = {Mike Czech and Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Alexander Egyed and Ina Schaefer},
title = {Just Test What You Cannot Verify!},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9033},
pages = {100--114},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46675-9\_7},
doi = {10.1007/978-3-662-46675-9\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/CzechJW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/DerrickDSTW15,
author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
editor = {Nikolaj S. Bj{\o}rner and Frank S. de Boer},
title = {Verifying Opacity of a Transactional Mutex Lock},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {161--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_11},
doi = {10.1007/978-3-319-19249-9\_11},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/hvc/WehrheimT15,
author = {Heike Wehrheim and Oleg Travkin},
editor = {Nir Piterman},
title = {{TSO} to {SC} via Symbolic Execution},
booktitle = {Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {104--119},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_7},
doi = {10.1007/978-3-319-26287-1\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/WehrheimT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/sac/JakobsW15,
author = {Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong},
title = {Programs from proofs of predicated dataflow analyses},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
pages = {1729--1736},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695690},
doi = {10.1145/2695664.2695690},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/JakobsW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@proceedings{DBLP:conf/birthday/2015olderog, editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim},
title = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6},
doi = {10.1007/978-3-319-23506-6},
isbn = {978-3-319-23505-9},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015olderog.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
S. A. Schneider, H. Treharne, and H. Wehrheim, "The behavioural semantics of Event-B refinement" Formal Aspects Comput. vol. 26, iss. 2.
2014.
doi: 10.1007/S00165-012-0265-0
@article{DBLP:journals/fac/SchneiderTW14,
author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
title = {The behavioural semantics of Event-B refinement},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {251--280},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0265-0},
doi = {10.1007/S00165-012-0265-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchneiderTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, "Two approaches for proving linearizability of multiset" Sci. Comput. Program. vol. 96.
2014.
doi: 10.1016/J.SCICO.2014.04.001
@article{DBLP:journals/scp/TofanTSW14,
author = {Bogdan Tofan and Oleg Travkin and Gerhard Schellhorn and Heike Wehrheim},
title = {Two approaches for proving linearizability of multiset},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {297--314},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.001},
doi = {10.1016/J.SCICO.2014.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/TofanTSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2014.
doi: 10.1145/2629496
@article{DBLP:journals/tocl/SchellhornDW14,
author = {Gerhard Schellhorn and John Derrick and Heike Wehrheim},
title = {A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {31:1--31:37},
year = {2014},
url = {https://doi.org/10.1145/2629496},
doi = {10.1145/2629496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SchellhornDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/facs2/WaltherW14,
author = {Sven Walther and Heike Wehrheim},
editor = {Ivan Lanese and Eric Madelaine},
title = {Verified Service Compositions by Template-Based Construction},
booktitle = {Formal Aspects of Component Software - 11th International Symposium, {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {31--48},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_3},
doi = {10.1007/978-3-319-15317-9\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/WaltherW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fedcsis/BesovaSW14,
author = {Galina Besova and Dominik Steenken and Heike Wehrheim},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
title = {Grammar-Based Model Transformations},
booktitle = {Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014},
series = {Annals of Computer Science and Information Systems},
volume = {2},
pages = {1601--1610},
year = {2014},
url = {https://doi.org/10.15439/2014F144},
doi = {10.15439/2014F144},
timestamp = {Tue, 23 Apr 2024 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/BesovaSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/DerrickDSTTW14,
author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Bogdan Tofan and Oleg Travkin and Heike Wehrheim},
editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun},
title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {200--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_15},
doi = {10.1007/978-3-319-06410-9\_15},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDSTTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/hvc/TravkinW14,
author = {Oleg Travkin and Heike Wehrheim},
editor = {Eran Yahav},
title = {Handling {TSO} in Mechanized Linearizability Proofs},
booktitle = {Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {132--147},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_11},
doi = {10.1007/978-3-319-13338-6\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/TravkinW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/0002W14,
author = {Tobias Isenberg and Heike Wehrheim},
editor = {Stephan Merz and Jun Pang},
title = {Timed Automata Verification via {IC3} with Zones},
booktitle = {Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {203--218},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_14},
doi = {10.1007/978-3-319-11737-9\_14},
timestamp = {Sat, 31 Aug 2019 23:49:22 +0200},
biburl = {https://dblp.org/rec/conf/icfem/0002W14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/SchneiderTWW14,
author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim and David M. Williams},
editor = {Elvira Albert and Emil Sekerinski},
title = {Managing {LTL} Properties in Event-B Refinement},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {221--237},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_14},
doi = {10.1007/978-3-319-10181-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchneiderTWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/JakobsPWW14,
author = {Marie{-}Christine Jakobs and Marco Platzner and Heike Wehrheim and Tobias Wiersema},
editor = {Elvira Albert and Emil Sekerinski},
title = {Integrating Software and Hardware Verification},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {307--322},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_19},
doi = {10.1007/978-3-319-10181-1\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/JakobsPWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/WonischSW14,
author = {Daniel Wonisch and Alexander Schremmer and Heike Wehrheim},
editor = {Wilhelm Hasselbring and Nils Christian Ehmke},
title = {Programs from Proofs - Approach and Applications},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {67--68},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30963},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WonischSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/spin/JakobsW14,
author = {Marie{-}Christine Jakobs and Heike Wehrheim},
editor = {Neha Rungta and Oksana Tkachuk},
title = {Certification for configurable program analysis},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN} 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {30--39},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632372},
doi = {10.1145/2632362.2632372},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/JakobsW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/cav/WonischSW13,
author = {Daniel Wonisch and Alexander Schremmer and Heike Wehrheim},
editor = {Natasha Sharygina and Helmut Veith},
title = {Programs from Proofs - {A} {PCC} Alternative},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {912--927},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_65},
doi = {10.1007/978-3-642-39799-8\_65},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/WonischSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/forte/IsenbergSW13,
author = {Tobias Isenberg and Dominik Steenken and Heike Wehrheim},
editor = {Dirk Beyer and Michele Boreale},
title = {Bounded Model Checking of Graph Transformation Systems via {SMT} Solving},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {178--192},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_13},
doi = {10.1007/978-3-642-38592-6\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/IsenbergSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/hvc/TravkinMW13,
author = {Oleg Travkin and Annika M{\"{u}}tze and Heike Wehrheim},
editor = {Valeria Bertacco and Axel Legay},
title = {{SPIN} as a Linearizability Checker under Weak Memory Models},
booktitle = {Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {311--326},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_21},
doi = {10.1007/978-3-319-03077-7\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/TravkinMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/iceccs/WaltherW13,
author = {Sven Walther and Heike Wehrheim},
title = {Knowledge-Based Verification of Service Compositions - An {SMT} Approach},
booktitle = {2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013},
pages = {24--32},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.14},
doi = {10.1109/ICECCS.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/WaltherW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ictac/DongolTDW13,
author = {Brijesh Dongol and Oleg Travkin and John Derrick and Heike Wehrheim},
editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu},
title = {A High-Level Semantics for Program Execution under Total Store Order Memory},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {177--194},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_11},
doi = {10.1007/978-3-642-39718-9\_11},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DongolTDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/se/ZiegertW13,
author = {Steffen Ziegert and Heike Wehrheim},
editor = {Stefan Kowalewski and Bernhard Rumpe},
title = {Temporal Reconfiguration Plans for Self-Adaptive Systems},
booktitle = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
series = {{LNI}},
volume = {{P-213}},
pages = {271--284},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17711},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ZiegertW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/sefm/WonischSW13,
author = {Daniel Wonisch and Alexander Schremmer and Heike Wehrheim},
editor = {Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti},
title = {Zero Overhead Runtime Monitoring},
booktitle = {Software Engineering and Formal Methods - 11th International Conference, {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {244--258},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_17},
doi = {10.1007/978-3-642-40561-7\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/WonischSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
O. Travkin, H. Wehrheim, and G. Schellhorn, "Proving Linearizability of Multiset with Local Proof Obligations" Electron. Commun. Eur. Assoc. Softw. Sci. Technol. vol. 53.
2012.
doi: 10.14279/TUJ.ECEASST.53.795
@article{DBLP:journals/eceasst/TravkinWS12,
author = {Oleg Travkin and Heike Wehrheim and Gerhard Schellhorn},
title = {Proving Linearizability of Multiset with Local Proof Obligations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.795},
doi = {10.14279/TUJ.ECEASST.53.795},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/TravkinWS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/cav/SchellhornWD12,
author = {Gerhard Schellhorn and Heike Wehrheim and John Derrick},
editor = {P. Madhusudan and Sanjit A. Seshia},
title = {How to Prove Algorithms Linearisable},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {243--259},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_21},
doi = {10.1007/978-3-642-31424-7\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SchellhornWD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/WonischW12,
author = {Daniel Wonisch and Heike Wehrheim},
editor = {Toshiaki Aoki and Kenji Taguchi},
title = {Predicate Analysis with Block-Abstraction Memoization},
booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {332--347},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_24},
doi = {10.1007/978-3-642-34281-3\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WonischW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/TimmWC12,
author = {Nils Timm and Heike Wehrheim and Mike Czech},
editor = {Toshiaki Aoki and Kenji Taguchi},
title = {Heuristic-Guided Abstraction Refinement for Concurrent Systems},
booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {348--363},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_25},
doi = {10.1007/978-3-642-34281-3\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TimmWC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/models/BesovaWWB12,
author = {Galina Besova and Sven Walther and Heike Wehrheim and Steffen Becker},
editor = {Robert B. France and J{\"{u}}rgen Kazmeier and Ruth Breu and Colin Atkinson},
title = {Weaving-Based Configuration and Modular Transformation of Multi-layer Systems},
booktitle = {Model Driven Engineering Languages and Systems - 15th International Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {776--792},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_49},
doi = {10.1007/978-3-642-33666-9\_49},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/BesovaWWB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Derrick, G. Schellhorn, and H. Wehrheim, "Mechanically verified proof obligations for linearizability" ACM Trans. Program. Lang. Syst. vol. 33, iss. 1.
2011.
doi: 10.1145/1889997.1890001
@article{DBLP:journals/toplas/DerrickSW11,
author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
title = {Mechanically verified proof obligations for linearizability},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {1},
pages = {4:1--4:43},
year = {2011},
url = {https://doi.org/10.1145/1889997.1890001},
doi = {10.1145/1889997.1890001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DerrickSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/euromicro/RuhrothWZ11,
author = {Thomas Ruhroth and Heike Wehrheim and Steffen Ziegert},
title = {ReL: {A} Generic Refactoring Language for Specification and Execution},
booktitle = {37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEAA.2011.22},
doi = {10.1109/SEAA.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/RuhrothWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/DerrickSW11,
author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
editor = {Michael J. Butler and Wolfram Schulte},
title = {Verifying Linearisability with Potential Linearisation Points},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {323--337},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_25},
doi = {10.1007/978-3-642-21437-0\_25},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/sbmf/SteenkenWW11,
author = {Dominik Steenken and Heike Wehrheim and Daniel Wonisch},
editor = {Adenilso da Silva Sim{\~{a}}o and Carroll Morgan},
title = {Sound and Complete Abstract Graph Transformation},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {92--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_7},
doi = {10.1007/978-3-642-25032-3\_7},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SteenkenWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:journals/corr/abs-1106-4098,
author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
editor = {John Derrick and Eerke A. Boiten and Steve Reeves},
title = {A {CSP} Account of Event-B Refinement},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {139--154},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.9},
doi = {10.4204/EPTCS.55.9},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:journals/entcs/BesovaWW11,
author = {Galina Besova and Heike Wehrheim and Annika Wagner},
editor = {Barbora Buhnova and Jens Happe},
title = {Reputation-based Reliability Prediction of Service Compositions},
booktitle = {Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbr{\"{u}}cken, Germany, April 2, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {2},
pages = {3--16},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.008},
doi = {10.1016/J.ENTCS.2011.11.008},
timestamp = {Fri, 10 Mar 2023 13:54:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BesovaWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:journals/entcs/SchneiderTW11,
author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
editor = {Marie{-}Laure Potet and Helen Treharne},
title = {Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study},
booktitle = {Proceedings of the {B} 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, {FM} 2011, Limerick, Ireland, June 21, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {280},
pages = {69--80},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.019},
doi = {10.1016/J.ENTCS.2011.11.019},
timestamp = {Fri, 10 Mar 2023 15:49:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchneiderTW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/birthday/SchaferW10,
author = {Wilhelm Sch{\"{a}}fer and Heike Wehrheim},
editor = {Gregor Engels and Claus Lewerentz and Wilhelm Sch{\"{a}}fer and Andy Sch{\"{u}}rr and Bernhard Westfechtel},
title = {Model-Driven Development with Mechatronic {UML}},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {533--554},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_23},
doi = {10.1007/978-3-642-17322-6\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchaferW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/TimmW10,
author = {Nils Timm and Heike Wehrheim},
editor = {Jin Song Dong and Huibiao Zhu},
title = {On Symmetries and Spotlights - Verifying Parameterised Systems},
booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {534--548},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_35},
doi = {10.1007/978-3-642-16901-4\_35},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TimmW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/HulsbuschKRSSW10,
author = {Mathias H{\"{u}}lsbusch and Barbara K{\"{o}}nig and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
editor = {Dominique M{\'{e}}ry and Stephan Merz},
title = {Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {183--198},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_14},
doi = {10.1007/978-3-642-16265-7\_14},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HulsbuschKRSSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/SchneiderTW10,
author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
editor = {Dominique M{\'{e}}ry and Stephan Merz},
title = {A {CSP} Approach to Control in Event-B},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {260--274},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_19},
doi = {10.1007/978-3-642-16265-7\_19},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchneiderTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/tacas/DragerKFW10,
author = {Klaus Dr{\"{a}}ger and Andrey Kupriyanov and Bernd Finkbeiner and Heike Wehrheim},
editor = {Javier Esparza and Rupak Majumdar},
title = {{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {271--274},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_22},
doi = {10.1007/978-3-642-12002-2\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DragerKFW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/euromicro/RuhrothVW09,
author = {Thomas Ruhroth and Hendrik Voigt and Heike Wehrheim},
title = {Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models},
booktitle = {35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings},
pages = {360--367},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAA.2009.39},
doi = {10.1109/SEAA.2009.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/RuhrothVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/SchriebWW09,
author = {Jonas Schrieb and Heike Wehrheim and Daniel Wonisch},
editor = {Ana Cavalcanti and Dennis Dams},
title = {Three-Valued Spotlight Abstractions},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {106--122},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_8},
doi = {10.1007/978-3-642-05089-3\_8},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/SchriebWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/RuhrothW09,
author = {Thomas Ruhroth and Heike Wehrheim},
editor = {Karin K. Breitman and Ana Cavalcanti},
title = {Refinement-Preserving Co-evolution},
booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {620--638},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_32},
doi = {10.1007/978-3-642-10373-5\_32},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/RuhrothW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:journals/entcs/RuhrothW09,
author = {Thomas Ruhroth and Heike Wehrheim},
editor = {Eerke A. Boiten and John Derrick and Steve Reeves},
title = {Static Class Elements for Object-Z},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {193--205},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.025},
doi = {10.1016/J.ENTCS.2009.12.025},
timestamp = {Thu, 09 Mar 2023 15:23:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RuhrothW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
2008.
doi: 10.1007/S00165-007-0042-7
@article{DBLP:journals/fac/MollerORW08,
author = {Michael M{\"{o}}ller and Ernst{-}R{\"{u}}diger Olderog and Holger Rasch and Heike Wehrheim},
title = {Integrating a formal method into a software engineering process with {UML} and Java},
journal = {Formal Aspects Comput.},
volume = {20},
number = {2},
pages = {161--204},
year = {2008},
url = {https://doi.org/10.1007/s00165-007-0042-7},
doi = {10.1007/S00165-007-0042-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MollerORW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ecmdafa/EngelsKRSSW08,
author = {Gregor Engels and Anneke Kleppe and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
editor = {Ina Schieferdecker and Alan Hartman},
title = {From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {94--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_7},
doi = {10.1007/978-3-540-69100-6\_7},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/EngelsKRSSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/DerrickSW08,
author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
editor = {Gilles Barthe and Frank S. de Boer},
title = {Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {78--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_6},
doi = {10.1007/978-3-540-68863-1\_6},
timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/DerrickSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/MetzlerWW08,
author = {Bj{\"{o}}rn Metzler and Heike Wehrheim and Daniel Wonisch},
editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},
title = {Decomposition for Compositional Verification},
booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {105--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_9},
doi = {10.1007/978-3-540-88194-0\_9},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MetzlerWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ictac/Wehrheim08,
author = {Heike Wehrheim},
editor = {John S. Fitzgerald and Anne E. Haxthausen and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Bounded Model Checking for Partial Kripke Structures},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {380--394},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_26},
doi = {10.1007/978-3-540-85762-4\_26},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Wehrheim08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:journals/entcs/WehrheimW09,
author = {Heike Wehrheim and Daniel Wonisch},
editor = {Alice Miller and Muffy Calder},
title = {Compositional {CSP} Traces Refinement Checking},
booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {2},
pages = {135--151},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.022},
doi = {10.1016/J.ENTCS.2009.08.022},
timestamp = {Fri, 24 Feb 2023 13:53:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WehrheimW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:journals/entcs/EstlerW08,
author = {H.{-}Christian Estler and Heike Wehrheim},
editor = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn},
title = {Alloy as a Refactoring Checker?},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {331--357},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.015},
doi = {10.1016/J.ENTCS.2008.06.015},
timestamp = {Fri, 17 Feb 2023 10:04:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EstlerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Derrick and H. Wehrheim, "On using data abstractions for model checking refinements" Acta Informatica, vol. 44, iss. 1.
2007.
doi: 10.1007/S00236-007-0042-3
@article{DBLP:journals/acta/DerrickW07,
author = {John Derrick and Heike Wehrheim},
title = {On using data abstractions for model checking refinements},
journal = {Acta Informatica},
volume = {44},
number = {1},
pages = {41--71},
year = {2007},
url = {https://doi.org/10.1007/s00236-007-0042-3},
doi = {10.1007/S00236-007-0042-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DerrickW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/agtive/EngelsGSW07,
author = {Gregor Engels and Baris G{\"{u}}ldali and Christian Soltenborn and Heike Wehrheim},
editor = {Andy Sch{\"{u}}rr and Manfred Nagl and Albert Z{\"{u}}ndorf},
title = {Assuring Consistency of Business Process Models and Web Services Using Visual Contracts},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {17--31},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_2},
doi = {10.1007/978-3-540-89020-1\_2},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/EngelsGSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/EngelsSW07,
author = {Gregor Engels and Christian Soltenborn and Heike Wehrheim},
editor = {Marcello M. Bonsangue and Einar Broch Johnsen},
title = {Analysis of {UML} Activities Using Dynamic Meta Modeling},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {76--90},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_5},
doi = {10.1007/978-3-540-72952-5\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/EngelsSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/RuhrothW07,
author = {Thomas Ruhroth and Heike Wehrheim},
editor = {Marcello M. Bonsangue and Einar Broch Johnsen},
title = {Refactoring Object-Oriented Specifications with Data and Processes},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {236--251},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_15},
doi = {10.1007/978-3-540-72952-5\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/RuhrothW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fsen/BrucknerDFW07,
author = {Ingo Br{\"{u}}ckner and Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Heike Wehrheim},
editor = {Farhad Arbab and Marjan Sirjani},
title = {Slicing Abstractions},
booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {17--32},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_2},
doi = {10.1007/978-3-540-75698-9\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BrucknerDFW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icse/SchaferW07,
author = {Wilhelm Sch{\"{a}}fer and Heike Wehrheim},
editor = {Lionel C. Briand and Alexander L. Wolf},
title = {The Challenges of Building Advanced Mechatronic Systems},
booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}},
pages = {72--84},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FOSE.2007.28},
doi = {10.1109/FOSE.2007.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SchaferW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/DerrickSW07,
author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
editor = {Jim Davies and Jeremy Gibbons},
title = {Proving Linearizability Via Non-atomic Refinement},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {195--214},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_11},
doi = {10.1007/978-3-540-73210-5\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DerrickSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:journals/entcs/Wehrheim08,
author = {Heike Wehrheim},
editor = {Eerke A. Boiten and John Derrick and Graeme Smith},
title = {Refinement in the Presence of Unknowns},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {255--264},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.023},
doi = {10.1016/J.ENTCS.2008.02.023},
timestamp = {Thu, 09 Feb 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wehrheim08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
I. Brückner, B. Metzler, and H. Wehrheim, "Optimizing Slicing of Formal Specifications by Deductive Verification" Nord. J. Comput. vol. 13, iss. 1-2.
2006.
@article{DBLP:journals/njc/BrucknerMW06,
author = {Ingo Br{\"{u}}ckner and Bj{\"{o}}rn Metzler and Heike Wehrheim},
title = {Optimizing Slicing of Formal Specifications by Deductive Verification},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {22--45},
year = {2006},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BrucknerMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/amast/DerrickW06,
author = {John Derrick and Heike Wehrheim},
editor = {Michael Johnson and Varmo Vene},
title = {Model Transformations Incorporating Multiple Views},
booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {111--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_11},
doi = {10.1007/11784180\_11},
timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
biburl = {https://dblp.org/rec/conf/amast/DerrickW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/Wehrheim06,
author = {Heike Wehrheim},
editor = {Zhiming Liu and Jifeng He},
title = {Incremental Slicing},
booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {514--528},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_28},
doi = {10.1007/11901433\_28},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Wehrheim06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:journals/entcs/EstlerRW07,
author = {H.{-}Christian Estler and Thomas Ruhroth and Heike Wehrheim},
editor = {Bernhard K. Aichernig and Eerke A. Boiten and John Derrick and Lindsay Groves},
title = {Modelchecking Correctness of Refactorings - Some Experiments},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {3--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.041},
doi = {10.1016/J.ENTCS.2006.08.041},
timestamp = {Tue, 31 Jan 2023 15:13:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EstlerRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:journals/entcs/MetzlerW07,
author = {Bj{\"{o}}rn Metzler and Heike Wehrheim},
editor = {Juliana K{\"{u}}ster Filipe Bowles and Iman Poernomo and Ralf H. Reussner},
title = {Extending a Component Specification Language with Time},
booktitle = {Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {2},
pages = {47--67},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.02.031},
doi = {10.1016/J.ENTCS.2006.02.031},
timestamp = {Tue, 31 Jan 2023 11:16:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MetzlerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@proceedings{DBLP:conf/fmoods/2006, editor = {Roberto Gorrieri and Heike Wehrheim},
title = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869},
doi = {10.1007/11768869},
isbn = {3-540-34893-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
E. - and H. Wehrheim, "Specification and (property) inheritance in CSP-OZ" Sci. Comput. Program. vol. 55, iss. 1-3.
2005.
doi: 10.1016/J.SCICO.2004.05.017
@article{DBLP:journals/scp/OlderogW05,
author = {Ernst{-}R{\"{u}}diger Olderog and Heike Wehrheim},
title = {Specification and (property) inheritance in {CSP-OZ}},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {227--257},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.017},
doi = {10.1016/J.SCICO.2004.05.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OlderogW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/RaschW05,
author = {Holger Rasch and Heike Wehrheim},
editor = {Martin Steffen and Gianluigi Zavattaro},
title = {Checking the Validity of Scenarios in {UML} Models},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {67--82},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_5},
doi = {10.1007/11494881\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/RaschW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/icfem/BrucknerW05,
author = {Ingo Br{\"{u}}ckner and Heike Wehrheim},
editor = {Kung{-}Kiu Lau and Richard Banach},
title = {Slicing an Integrated Formal Method for Verification},
booktitle = {Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {360--374},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_25},
doi = {10.1007/11576280\_25},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BrucknerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/zum/DerrickW05,
author = {John Derrick and Heike Wehrheim},
editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
title = {Non-atomic Refinement in {Z} and {CSP}},
booktitle = {{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},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {24--44},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_3},
doi = {10.1007/11415787\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/DerrickW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/zum/BrucknerW05,
author = {Ingo Br{\"{u}}ckner and Heike Wehrheim},
editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
title = {Slicing Object-Z Specifications for Verification},
booktitle = {{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},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {414--433},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_24},
doi = {10.1007/11415787\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BrucknerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/dagstuhl/Wehrheim04a,
author = {Heike Wehrheim},
editor = {Ralf H. Reussner and Judith A. Stafford and Clemens A. Szyperski},
title = {Refinement and Consistency in Component Models with Multiple Views},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {84--102},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_5},
doi = {10.1007/11786160\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Wehrheim04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/ifm/MollerORW04,
author = {Michael M{\"{o}}ller and Ernst{-}R{\"{u}}diger Olderog and Holger Rasch and Heike Wehrheim},
editor = {Eerke A. Boiten and John Derrick and Graeme Smith},
title = {Linking {CSP-OZ} with {UML} and Java: {A} Case Study},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {267--286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_15},
doi = {10.1007/978-3-540-24756-2\_15},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MollerORW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
H. Wehrheim, "Refinement and Consistency in Multiview Models" in Proc. Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
@inproceedings{DBLP:conf/dagstuhl/Wehrheim04,
author = {Heike Wehrheim},
editor = {Jean B{\'{e}}zivin and Reiko Heckel},
title = {Refinement and Consistency in Multiview Models},
booktitle = {Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04101},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/19},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Wehrheim04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmco/Wehrheim03,
author = {Heike Wehrheim},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
title = {Preserving Properties Under Change},
booktitle = {Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {330--343},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_16},
doi = {10.1007/978-3-540-30101-1\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Wehrheim03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/Wehrheim03,
author = {Heike Wehrheim},
editor = {Elie Najm and Uwe Nestmann and Perdita Stevens},
title = {Inheritance of Temporal Logic Properties},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {79--93},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_6},
doi = {10.1007/978-3-540-39958-2\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/RaschW03,
author = {Holger Rasch and Heike Wehrheim},
editor = {Elie Najm and Uwe Nestmann and Perdita Stevens},
title = {Checking Consistency in {UML} Diagramms: Classes and State Machines},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {229--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_16},
doi = {10.1007/978-3-540-39958-2\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/RaschW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/zum/DerrickW03,
author = {John Derrick and Heike Wehrheim},
editor = {Didier Bert and Jonathan P. Bowen and Steve King and Marina Wald{\'{e}}n},
title = {Using Coupled Simulations in Non-atomic Refinement},
booktitle = {{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},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {127--147},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_10},
doi = {10.1007/3-540-44880-2\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/DerrickW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/fmco/OlderogW02,
author = {Ernst{-}R{\"{u}}diger Olderog and Heike Wehrheim},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
title = {Specification and Inheritance in {CSP-OZ}},
booktitle = {Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {361--379},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_15},
doi = {10.1007/978-3-540-39656-7\_15},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/OlderogW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/Wehrheim02,
author = {Heike Wehrheim},
editor = {Bart Jacobs and Arend Rensink},
title = {Checking Behavioural Subtypes via Refinement},
booktitle = {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},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {79--93},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/FischerOW01,
author = {Clemens Fischer and Ernst{-}R{\"{u}}diger Olderog and Heike Wehrheim},
editor = {Heinrich Hu{\ss}mann},
title = {A {CSP} View on {UML-RT} Structure Diagrams},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {91--108},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_8},
doi = {10.1007/3-540-45314-8\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/FischerOW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/forte/Wehrheim01,
author = {Heike Wehrheim},
editor = {Myungchul Kim and Byoungmoon Chin and Sungwon Kang and Danhyung Lee},
title = {Patterns and Rules for Behavioural Subtyping},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001, {IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {335--352},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/Wehrheim01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:journals/entcs/BartetzkoFMW01,
author = {Detlef Bartetzko and Clemens Fischer and Michael M{\"{o}}ller and Heike Wehrheim},
editor = {Klaus Havelund and Grigore Rosu},
title = {Jass - Java with Assertions},
booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV} 2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {2},
pages = {103--117},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00247-6},
doi = {10.1016/S1571-0661(04)00247-6},
timestamp = {Mon, 05 Dec 2022 12:32:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartetzkoFMW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Fischer and H. Wehrheim, "Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method" Bull. EATCS, vol. 71.
2000.
@article{DBLP:journals/eatcs/FischerW00,
author = {Clemens Fischer and Heike Wehrheim},
title = {Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method},
journal = {Bull. {EATCS}},
volume = {71},
pages = {92--101},
year = {2000},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/FischerW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/amast/FischerW00,
author = {Clemens Fischer and Heike Wehrheim},
editor = {Teodor Rus},
title = {Behavioural Subtyping Relations for Object-Oriented Formalisms},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {469--483},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_33},
doi = {10.1007/3-540-45499-3\_33},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/FischerW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fase/Wehrheim00,
author = {Heike Wehrheim},
editor = {T. S. E. Maibaum},
title = {Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {334--348},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_23},
doi = {10.1007/3-540-46428-X\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Wehrheim00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fmoods/Wehrheim00,
author = {Heike Wehrheim},
editor = {Scott F. Smith and Carolyn L. Talcott},
title = {Behavioural Subtyping and Property Preservation},
booktitle = {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}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {213--231},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_11},
doi = {10.1007/978-0-387-35520-7\_11},
timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fm/Wehrheim99,
author = {Heike Wehrheim},
editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},
title = {Data Abstraction for {CSP-OZ}},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1028--1047},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_5},
doi = {10.1007/3-540-48118-4\_5},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Wehrheim99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/ifm/FischerW99,
author = {Clemens Fischer and Heike Wehrheim},
editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi},
title = {Model-Checking {CSP-OZ} Specifications with {FDR}},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {315--334},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_17},
doi = {10.1007/978-1-4471-0851-1\_17},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FischerW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:journals/entcs/Wehrheim99,
author = {Heike Wehrheim},
editor = {Ilaria Castellani and Bj{\"{o}}rn Victor},
title = {Partial order reductions for failures refinement},
booktitle = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS} 1999, Eindhoven, The Netherlands, August 23, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {27},
pages = {71--84},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80296-8},
doi = {10.1016/S1571-0661(05)80296-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wehrheim99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fbt/GehrkeHNRW98,
author = {Thomas Gehrke and Michaela Huhn and Peter Niebert and Arend Rensink and Heike Wehrheim},
editor = {Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer},
title = {A Process Algebra Semantics for {MSC} Including Conditions},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {185--196},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
biburl = {https://dblp.org/rec/conf/fbt/GehrkeHNRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/forte/GehrkeHRW98,
author = {Thomas Gehrke and Michaela Huhn and Arend Rensink and Heike Wehrheim},
editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
title = {An Algebraic Semantics for Message Sequence Chart Documents},
booktitle = {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},
series = {{IFIP} Conference Proceedings},
volume = {135},
pages = {3--18},
publisher = {Kluwer},
year = {1998},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/GehrkeHRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/fsttcs/HuhnNW98,
author = {Michaela Huhn and Peter Niebert and Heike Wehrheim},
editor = {Vikraman Arvind and Ramaswamy Ramanujam},
title = {Partial Order Reductions for Bisimulation Checking},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {271--282},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_26},
doi = {10.1007/978-3-540-49382-2\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HuhnNW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/mfcs/RensinkW97,
author = {Arend Rensink and Heike Wehrheim},
editor = {Igor Pr{\'{\i}}vara and Peter Ruzicka},
title = {Dependency-Based Action Refinement},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {468--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029990},
doi = {10.1007/BFB0029990},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RensinkW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
U. Goltz and H. Wehrheim, "Modelling Causality via Action Dependencies in Branching Time Semantics" Inf. Process. Lett. vol. 59, iss. 4.
1996.
doi: 10.1016/0020-0190(96)00111-1
@article{DBLP:journals/ipl/GoltzW96,
author = {Ursula Goltz and Heike Wehrheim},
title = {Modelling Causality via Action Dependencies in Branching Time Semantics},
journal = {Inf. Process. Lett.},
volume = {59},
number = {4},
pages = {179--184},
year = {1996},
url = {https://doi.org/10.1016/0020-0190(96)00111-1},
doi = {10.1016/0020-0190(96)00111-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/GoltzW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/mfcs/GoltzW96,
author = {Ursula Goltz and Heike Wehrheim},
editor = {Wojciech Penczek and Andrzej Szalas},
title = {Causal Testing},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {394--406},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_165},
doi = {10.1007/3-540-61550-4\_165},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoltzW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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
@inproceedings{DBLP:conf/concur/RensinkW94,
author = {Arend Rensink and Heike Wehrheim},
editor = {Bengt Jonsson and Joachim Parrow},
title = {Weak Sequential Composition in Process Algebras},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {226--241},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_20},
doi = {10.1007/978-3-540-48654-1\_20},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/RensinkW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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{DBLP:conf/procomet/Wehrheim94,
author = {Heike Wehrheim},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Parametric Action Refinement},
booktitle = {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},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {247--266},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Wehrheim94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
