Haake, Claus-Jochen, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Vol. 412. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.17619/UNIPB/1-1797 .
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

Wehrheim, Heike, Eyke Hüllermeier, Steffen Becker, Matthias Becker, Cedric Richter, and Arnab Sharma. “Composition Analysis in Unknown Contexts.”https://doi.org/10.5281/zenodo.8068510__In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:105–23. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.5281/zenodo.8068510 .
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipphttps://doi.org/10.5281/zenodo.8068583__Schubert, Felix Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware Services.”https://doi.org/10.5281/zenodo.8068583__In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.5281/zenodo.8068583 .
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”https://doi.org/10.1007/978-3-319-92970-5_7__In Software Engineering and Formal Methods, 105–20. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-92970-5_7 .
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

Flaßkamp, Kathrin, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann, Bernd Kleinjohann, Lisa Kleinjohann, Martin Krüger, et al. “Development of the RailCab Vehicle.” In Dependability of Self-Optimizing Mechatronic Systems, 184–90. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat: /record/25177

Fla\'73skamp, Kathrin,  Stefan   Gr\'22osbrink, Philip Hartmann, Christian Heinzemann, Bernd Kleinjohann, Lisa Kleinjohann,  Martin  Kr\'22uger, et al. “Development of the RailCab Vehicle.” In Dependability of Self-Optimizing Mechatronic Systems, 184–90. Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat: /record/25775

Fla\'73skamp, Kathrin, Stefan  Gr\'22osbrink, Philip  Hartmann, Christian Heinzemann, Bernd Kleinjohann, Lisa Kleinjohann,  Martin  Kr\'22uger, et al. “Development of the RailCab Vehicle.” In Dependability of Self-Optimizing Mechatronic Systems, 184–90. Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat: /record/25773

Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight Abstractions.”https://doi.org/10.1007/978-3-642-05089-3_8__In FM 2009: Formal Methods, 106–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.https://doi.org/10.1007/978-3-642-05089-3_8 .
LibreCat: /record/3000
DOI: 10.1007/978-3-642-05089-3_8

Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?”https://doi.org/10.1145/3551349.3561156__In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023.https://doi.org/10.1145/3551349.3561156 .
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

Sharma, Arnab, Vitaly Melnikov, Eyke Hüllermeier, and Heike Wehrheim. “Property-Driven Testing of Black-Box Functions.” In Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–23. IEEE, 2022.
LibreCat: /record/32311

Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.”https://doi.org/10.1109/ICST53961.2022.00027__In 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–73, 2022.https://doi.org/10.1109/ICST53961.2022.00027 .
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs at Massive Scale.”https://doi.org/10.1145/3524842.3528505__In 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–22, 2022.https://doi.org/10.1145/3524842.3528505 .
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

Dongol, Brijesh, Gerhard Schellhorn, and Heike Wehrheim. “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.”https://doi.org/10.4230/LIPIcs.CONCUR.2022.31__In 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, edited by Bartek Klin, Slawomir Lasota, and Anca Muscholl, 243:31:1–31:23. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.CONCUR.2022.31 .
LibreCat: /record/45248
DOI: 10.4230/LIPIcs.CONCUR.2022.31

Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE, n.d.
LibreCat: /record/28350

Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “On Strong Observational Refinement and Forward Simulation.” In Proceedings of the 35th International Symposium on Distributed Computing (DISC). Leibniz International Proceedings in Informatics. Schloß Dagstuhl, n.d.
LibreCat: /record/22927

Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.”https://doi.org/10.1109/scam52516.2021.00031__In 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.https://doi.org/10.1109/scam52516.2021.00031 .
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”https://doi.org/10.18420/SE2021_30 __In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V., 2021.https://doi.org/10.18420/SE2021_30  .
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer, n.d.
LibreCat: /record/19656

Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.”https://doi.org/10.1007/978-3-030-50086-3‑3__In 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, edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-50086-3‑3 .
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.”https://doi.org/10.5220/0009766600150026__In Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen, Hans-Georg Fill, and Leszek A. Maciaszek, 15–26. ScitePress, 2020.https://doi.org/10.5220/0009766600150026 .
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.”https://doi.org/10.1007/978-3-030-61362-4‑8__In 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, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-61362-4‑8 .
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning forhttps://doi.org/10.4230/LIPIcs.ECOOP.2020.11__RAR.”https://doi.org/10.4230/LIPIcs.ECOOP.2020.11__In 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020.https://doi.org/10.4230/LIPIcs.ECOOP.2020.11 .
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 1016–28. IEEE, 2020.
LibreCat: /record/21018

Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models.” In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM, n.d.
LibreCat: /record/16724

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Reproducing Taint-Analysis Results with ReproDroid.”https://doi.org/10.18420/SE2020_36__In Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung, 123–24. LNI. Gesellschaft f\'22ur Informatik e.V., 2020.https://doi.org/10.18420/SE2020_36 .
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

Schneider, Stefan Balthasar, Arnab Sharma, Holger Karl, and Heike Wehrheim. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), 116--124. Washington, DC, USA: IFIP, 2019.
LibreCat: /record/3287

Sharma, Arnab, and Heike Wehrheim. “Testing Machine Learning Algorithms for Balanced Data Usage.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 125--135. Xi’an, China: IEEE, 2019.
LibreCat: /record/7635

Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.”https://doi.org/10.1007/978-3-030-30942-8‑12__In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek, Annabelle McIver, and Jos\rquote e N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-30942-8‑12 .
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.”https://doi.org/10.1007/978-3-030-30942-8‑12__In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 179–95, 2019.https://doi.org/10.1007/978-3-030-30942-8‑12 .
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.”https://doi.org/10.1007/978-3-030-20652-9‑18__In NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-20652-9‑18 .
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifyinghttps://doi.org/10.1145/3293883.3295702__Programs Operationally.”https://doi.org/10.1145/3293883.3295702__In Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. ACM, 2019.https://doi.org/10.1145/3293883.3295702 .
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.”https://doi.org/10.18420/se2019-46__In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019.https://doi.org/10.18420/se2019-46 .
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”https://doi.org/10.18420/se2019-48__In Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:157–58. LNI. GI, 2019.https://doi.org/10.18420/se2019-48 .
LibreCat: /record/10094
DOI: 10.18420/se2019-48

Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).”https://doi.org/10.1007/978-3-030-17502-3_19__In 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, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-17502-3_19 .
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.”https://doi.org/10.1145/3338906.3338915__In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–84, 2019.https://doi.org/10.1145/3338906.3338915 .
LibreCat: /record/10108
DOI: 10.1145/3338906.3338915

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “When Are Software Verification Results Valid for Approximate Hardware?”https://doi.org/10.1007/978-3-030-31157-5_1__In Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 3–20, 2019.https://doi.org/10.1007/978-3-030-31157-5_1 .
LibreCat: /record/13874
DOI: 10.1007/978-3-030-31157-5_1

Börding, Paul, Jan Frederik Haltermann, Marie-Christine Jakobs, and Heike Wehrheim. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), 11146:39--55. Lecture Notes in Computer Science. Springer, 2018.
LibreCat: /record/3414

Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”https://doi.org/10.1007/978-3-030-02508-3_23__In Theoretical Aspects of Computing – ICTAC 2018, 435–54. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-030-02508-3_23 .
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?”https://doi.org/10.1145/3236024.3236029__In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press, 2018.https://doi.org/10.1145/3236024.3236029 .
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.”https://doi.org/10.1007/978-3-319-98938-9‑7__In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018.https://doi.org/10.1007/978-3-319-98938-9‑7 .
LibreCat: /record/6836
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.”https://doi.org/10.1007/978-3-319-98938-9‑7__In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018.https://doi.org/10.1007/978-3-319-98938-9‑7 .
LibreCat: /record/6838
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.”https://doi.org/10.4230/LIPIcs.DISC.2018.45__In 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 45:1-45:3, 2018.https://doi.org/10.4230/LIPIcs.DISC.2018.45 .
LibreCat: /record/6839
DOI: 10.4230/LIPIcs.DISC.2018.45

Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the 40th International Conference on Software Engineering (ICSE), 1182--1193. ACM, 2018.
LibreCat: /record/1096

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”https://doi.org/10.1007/978-3-319-68690-5_22__In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 362--378. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-68690-5_22 .
LibreCat: /record/3155
DOI: 10.1007/978-3-319-68690-5_22

König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.”https://doi.org/10.1007/978-3-319-67729-3_8__In Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 118--135. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-67729-3_8 .
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.”https://doi.org/10.1007/978-3-319-57288-8_28__In NASA Formal Methods: 9th International Symposium, edited by Clark Barrett, Misty Davies, and Temesghen Kahsai, 389–403. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-57288-8_28 .
LibreCat: /record/114
DOI: 10.1007/978-3-319-57288-8_28

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”https://doi.org/10.1007/978-3-319-68690-5_22__In Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), 362–78. Springer International Publishing, 2017.https://doi.org/10.1007/978-3-319-68690-5_22 .
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.”https://doi.org/10.1145/3121257.3121262__In Proceedings of the 3rd International Workshop on Software Analytics, 23–26. SWAN’17, 2017.https://doi.org/10.1145/3121257.3121262 .
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

Wehrheim, Heike. “Fault Localization in Service Compositions.” In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS, 2017.
LibreCat: /record/99

Czech, M., Eyke Hüllermeier, M.-C. Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017, 23–26, 2017.
LibreCat: /record/10207

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”https://doi.org/10.1007/978-3-319-45943-1_13__In 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-45943-1_13 .
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.”https://doi.org/10.1007/978-3-319-46750-4_1__In Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 3--24. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-46750-4_1 .
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

Schellhorn, Gerhard, Oleg Travkin, and Heike Wehrheim. “Towards a Thread-Local Proof Technique for Starvation Freedom.”https://doi.org/10.1007/978-3-319-33693-0_13__In Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-33693-0_13 .
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic STM.”https://doi.org/10.4230/LIPIcs.OPODIS.2016.35__In 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim\rquote enez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016.https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 .
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.
LibreCat: /record/186

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”https://doi.org/10.1007/978-3-319-44482-6_16__In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262. LNCS, 2016.https://doi.org/10.1007/978-3-319-44482-6_16 .
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.”https://doi.org/10.1007/978-3-319-50230-4_35__In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 445--457. LNCS, 2016.https://doi.org/10.1007/978-3-319-50230-4_35 .
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”https://doi.org/10.1007/978-3-319-47846-3_29__In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016.https://doi.org/10.1007/978-3-319-47846-3_29 .
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!”https://doi.org/10.1007/978-3-662-46675-9_7__In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-662-46675-9_7 .
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”https://doi.org/10.1145/2695664.2695690__In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015.https://doi.org/10.1145/2695664.2695690 .
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”https://doi.org/10.1007/978-3-319-23506-6_1__In Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited by Roland Meyer, Andr\rquote e Platzer, and Heike Wehrheim, 3--4. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6_1 .
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.”https://doi.org/10.1007/978-3-319-19249-9_11__In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 161--177. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-19249-9_11 .
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”https://doi.org/10.1007/978-3-319-26287-1_7__In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-26287-1_7 .
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”https://doi.org/10.1007/978-3-319-15317-9_3__In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014.https://doi.org/10.1007/978-3-319-15317-9_3 .
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

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

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

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

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”https://doi.org/10.1007/978-3-319-11737-9_14__In Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 203--218. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-11737-9_14 .
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

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

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

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

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

Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via SMT Solving.”https://doi.org/10.1007/978-3-642-38592-6_13__In Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-642-38592-6_13 .
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “SPIN as a Linearizability Checker under Weak Memory Models.”https://doi.org/10.1007/978-3-319-03077-7_21__In Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-319-03077-7_21 .
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.”https://doi.org/10.1007/978-3-642-39718-9_11__In Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-642-39718-9_11 .
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” In Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 271--284. LNI, 2013.
LibreCat: /record/3179

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

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

Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.”https://doi.org/10.1109/ICECCS.2013.14__In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 24–32, 2013.https://doi.org/10.1109/ICECCS.2013.14 .
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

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

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

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

Besova, Galina, Sven Walther, Heike Wehrheim, and Steffen Becker. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”https://doi.org/10.1007/978-3-642-33666-9_49__In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 776–92. LNCS, 2012.https://doi.org/10.1007/978-3-642-33666-9_49 .
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: A Generic Refactoring Language for Specification and Execution.”https://doi.org/10.1109/SEAA.2011.22__In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 83--90, 2011.https://doi.org/10.1109/SEAA.2011.22 .
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.”https://doi.org/10.1007/978-3-642-21437-0_25__In FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011.https://doi.org/10.1007/978-3-642-21437-0_25 .
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

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

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

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A CSP Approach to Control in Event-B.”https://doi.org/10.1007/978-3-642-16265-7_19__In Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16265-7_19 .
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.”https://doi.org/10.1007/978-3-642-12002-2_22__In Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-12002-2_22 .
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”https://doi.org/10.1007/978-3-642-17322-6_23__In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch\'22afer, Andy Sch\'22urr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-17322-6_23 .
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”https://doi.org/10.1007/978-3-642-16901-4_35__In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16901-4_35 .
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”https://doi.org/10.1007/978-3-642-16265-7_14__In Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16265-7_14 .
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”https://doi.org/10.1109/SEAA.2009.39__In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 360--367, 2009.https://doi.org/10.1109/SEAA.2009.39 .
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”https://doi.org/10.1007/978-3-540-69100-6_7__In Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-69100-6_7 .
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”https://doi.org/10.1007/978-3-540-68863-1_6__In Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-68863-1_6 .
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.”https://doi.org/10.1007/978-3-540-88194-0_9__In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-88194-0_9 .
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

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

Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”https://doi.org/10.1007/978-3-540-89020-1_2__In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch\'22urr, Manfred Nagl, and Albert Z\'22undorf, 17--31. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-89020-1_2 .
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2

Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of UML Activities Using Dynamic Meta Modeling.”https://doi.org/10.1007/978-3-540-72952-5_5__In Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-72952-5_5 .
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5