@bookHaake_Meyer auf der Heide_Platzner_Wachsmuth_Wehrheim_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=On-The-Fly Computing -- Individualized IT-services in dynamic markets, volume=412, DOI=10.17619/UNIPB/1-1797, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 

@inbookWehrheim_Hüllermeier_Becker_Becker_Richter_Sharma_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Composition Analysis in Unknown Contexts, volume=412, DOI=10.5281/zenodo.8068510, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=105–123, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 

@inbookWehrheim_Platzner_Bodden_Schubert_Pauck_Jakobs_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Verifying Software and Reconfigurable Hardware Services, volume=412, DOI=10.5281/zenodo.8068583, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Platzner, Marco and Bodden, Eric and Schubert, Philipp10.5281/zenodo.8068583__and Pauck, Felix and Jakobs, Marie-Christine, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=125–144, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 

@inbookSchellhorn_Wedel_Travkin_König_Wehrheim_2018, place=Cham, title=FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity, DOI=10.1007/978-3-319-92970-5_7, booktitle=Software Engineering and Formal Methods, publisher=Springer International Publishing, author=Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike, year=2018, pages=105–120 

@inbookFlaßkamp_Grösbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Krüger_Ober-Blöbaum_Priesterjahn_Rasche_et al._2014, place=Heidelberg, Germany, title=Development of the RailCab Vehicle, booktitle=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag , author=Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al., year=2014, pages=184–190 

@inbookFla\'73skamp _Gr\'22osbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann _Kr\'22uger _Ober-Bl\'22obaum_Priesterjahn_Rasche_et al._2014, title=Development of the RailCab Vehicle, booktitle=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag, Heidelberg, Germany, author=Fla\'73skamp, Kathrin and  Gr\'22osbrink,  Stefan  and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and  Kr\'22uger,  Martin and  Ober-Bl\'22obaum,  Sina and Priesterjahn, Claudia  and Rasche, Christoph and et al., year=2014, pages=184–190 

@inbookFla\'73skamp_Gr\'22osbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Kr\'22uger_Ober-Bl\'22obaum_Priesterjahn_Rasche_et al._2014, title=Development of the RailCab Vehicle, booktitle=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag, Heidelberg, Germany, author=Fla\'73skamp, Kathrin and Gr\'22osbrink, Stefan  and Hartmann, Philip  and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Kr\'22uger,  Martin  and Ober-Bl\'22obaum, Sina  and Priesterjahn, Claudia and Rasche, Christoph and et al., year=2014, pages=184–190 

@inbookSchrieb_Wehrheim_Wonisch_2009, place=Berlin, Heidelberg, title=Three-Valued Spotlight Abstractions, DOI=10.1007/978-3-642-05089-3_8, booktitle=FM 2009: Formal Methods, publisher=Springer Berlin Heidelberg, author=Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel, year=2009, pages=106–122 

@inproceedingsRichter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title=Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, DOI=10.1145/3551349.3561156, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike, year=2023 

@inproceedingsSharma_Melnikov_Hüllermeier_Wehrheim_2022, title=Property-Driven Testing of Black-Box Functions, booktitle=Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), publisher=IEEE, author=Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike, year=2022, pages=113–123 

@inproceedingsRichter_Wehrheim_2022, title=Learning Realistic Mutations: Bug Creation for Neural Bug Detectors, DOI=10.1109/ICST53961.2022.00027, booktitle=2022 IEEE Conference on Software Testing, Verification and Validation (ICST), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=162–173 

@inproceedingsRichter_Wehrheim_2022, title=TSSB-3M: Mining single statement bugs at massive scale, DOI=10.1145/3524842.3528505, booktitle=2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=418–422 

@inproceedingsDongol_Schellhorn_Wehrheim_2022, series=LIPIcs, title=Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement, volume=243, DOI=10.4230/LIPIcs.CONCUR.2022.31, booktitle=33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik, author=Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, editor=Klin, Bartek and Lasota, Slawomir and Muscholl, Anca, year=2022, pages=31:1–31:23, collection=LIPIcs 

@inproceedingsSharma_Demir_Ngonga Ngomo_Wehrheim, title=MLCHECK–Property-Driven Testing of Machine Learning Classifiers, booktitle=Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), publisher=IEEE, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike 

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim, series=Leibniz International Proceedings in Informatics, title=On Strong Observational Refinement and Forward Simulation, booktitle=Proceedings of the 35th International Symposium on Distributed Computing (DISC), publisher=Schloß Dagstuhl, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, collection=Leibniz International Proceedings in Informatics 

@inproceedingsPauck_Wehrheim_2021, title=Jicer: Simplifying Cooperative Android App Analysis Tasks, DOI=10.1109/scam52516.2021.00031, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Pauck, Felix and Wehrheim, Heike, year=2021 

@inproceedingsPauck_Wehrheim_2021, place=Bonn, title=Cooperative Android App Analysis with CoDiDroid, DOI=10.18420/SE2021_30 , booktitle=Software Engineering 2021, publisher=Gesellschaft für Informatik e.V., author=Pauck, Felix and Wehrheim, Heike, editor=Koziolek, Anne and Schaefer, Ina and Seidl, Christoph, year=2021, pages=83–84 

@inproceedingsSharma_Wehrheim, series=LNCS, title=Automatic Fairness Testing of Machine Learning Models, booktitle=Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), publisher=Springer, author=Sharma, Arnab and Wehrheim, Heike, collection=LNCS 

@inproceedingsBila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, volume=12136, DOI=10.1007/978-3-030-50086-3‑3, 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, publisher=Springer, author=Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Gotsman, Alexey and Sokolova, AnaEditors, year=2020, pages=39–58, collection=Lecture Notes in Computer Science 

@inproceedingsBeringer_Wehrheim_2020, title=Consistency Analysis of AUTOSAR Timing Requirements, DOI=10.5220/0009766600150026, booktitle=Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, publisher=ScitePress, author=Beringer, Steffen and Wehrheim, Heike, editor=van Sinderen, Marten and Fill, Hans-Georg and A. Maciaszek, LeszekEditors, year=2020, pages=15–26 

@inproceedingsBeyer_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework, volume=12476, DOI=10.1007/978-3-030-61362-4‑8, 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, publisher=Springer, author=Beyer, Dirk and Wehrheim, Heike, editor=Margaria, Tiziana and Steffen, BernhardEditors, year=2020, pages=143–167, collection=Lecture Notes in Computer Science 

@inproceedingsDalvandi_Doherty_Dongol_Wehrheim_2020, series=LIPIcs, title=Owicki-Gries Reasoning for10.4230/LIPIcs.ECOOP.2020.11__RAR, volume=166, DOI=10.4230/LIPIcs.ECOOP.2020.11, booktitle=34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), publisher=Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, editor=Hirschfeld, Robert and Pape, TobiasEditors, year=2020, pages=11:1-11:26, collection=LIPIcs 

@inproceedingsRichter_Wehrheim_2020, 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, publisher=IEEE, author=Richter, Cedric and Wehrheim, Heike, year=2020, pages=1016–1028 

@inproceedingsSharma_Wehrheim, title=Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models, booktitle=Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., publisher=ACM, author=Sharma, Arnab and Wehrheim, Heike 

@inproceedingsPauck_Bodden_Wehrheim_2020, series=LNI, title=Reproducing Taint-Analysis Results with ReproDroid, DOI=10.18420/SE2020_36, booktitle=Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, publisher=Gesellschaft f\'22ur Informatik e.V., author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, editor=Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner, year=2020, pages=123–124, collection=LNI 

@inproceedingsSchneider_Sharma_Karl_Wehrheim_2019, place=Washington, DC, USA, title=Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets, booktitle=2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), publisher=IFIP, author=Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike, year=2019, pages=116--124 

@inproceedingsSharma_Wehrheim_2019, place=Xi’an, China, title=Testing Machine Learning Algorithms for Balanced Data Usage, booktitle=IEEE International Conference on Software Testing, Verification and Validation (ICST), publisher=IEEE, author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=125--135 

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series=Lecture Notes in Computer Science, title=Verifying Correctness of Persistent Concurrent Data Structures, volume=11800, DOI=10.1007/978-3-030-30942-8‑12, booktitle=Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, publisher=Springer, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, editor=H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos\rquote eEditors, year=2019, pages=179–195, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title=Verifying Correctness of Persistent Concurrent Data Structures, DOI=10.1007/978-3-030-30942-8‑12, booktitle=Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, year=2019, pages=179–195 

@inproceedingsKönig_Wehrheim_2019, series=Lecture Notes in Computer Science, title=Data Independence for Software Transactional Memory, volume=11460, DOI=10.1007/978-3-030-20652-9‑18, booktitle=NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, publisher=Springer, author=König, Jürgen and Wehrheim, Heike, editor=M. Badger, Julia and Yvonne Rozier, KristinEditors, year=2019, pages=263–279, collection=Lecture Notes in Computer Science 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2019, title=Verifying10.1145/3293883.3295702__programs operationally, DOI=10.1145/3293883.3295702, booktitle=Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, publisher=ACM, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, editor=K. Hollingsworth, Jeffrey and Keidar, IditEditors, year=2019, pages=355–365 

@inproceedingsBeyer_Jakobs_Lemberger_Wehrheim_2019, series=LNI, title=Combining Verifiers in Conditional Model Checking via Reducers, volume=P-292, DOI=10.18420/se2019-46, booktitle=Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=151--152, collection=LNI 

@inproceedingsSharma_Wehrheim_2019, series=LNI, title=Testing Balancedness of ML Algorithms, volume=P-292, DOI=10.18420/se2019-48, booktitle=Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Sharma, Arnab and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=157–158, collection=LNI 

@inproceedingsRichter_Wehrheim_2019, series=Lecture Notes in Computer Science, title=PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution), volume=11429, DOI=10.1007/978-3-030-17502-3_19, 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, publisher=Springer, author=Richter, Cedric and Wehrheim, Heike, editor=Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors, year=2019, pages=229–233, collection=Lecture Notes in Computer Science 

@inproceedingsPauck_Wehrheim_2019, title=Together Strong: Cooperative Android App Analysis, DOI=10.1145/3338906.3338915, booktitle=Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, author=Pauck, Felix and Wehrheim, Heike, year=2019, pages=374–384 

@inproceedingsIsenberg_Jakobs_Pauck_Wehrheim_2019, title=When Are Software Verification Results Valid for Approximate Hardware?, DOI=10.1007/978-3-030-31157-5_1, booktitle=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, author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2019, pages=3–20 

@inproceedingsBörding_Haltermann_Jakobs_Wehrheim_2018, series=Lecture Notes in Computer Science, title=JMCTest: Automatically Testing Inter-Method Contracts in Java, volume=11146, booktitle=Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), publisher=Springer, author=Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike, year=2018, pages=39--55, collection=Lecture Notes in Computer Science 

@inproceedingsTöws_Wehrheim_2018, place=Cham, title=Information Flow Certificates, DOI=10.1007/978-3-030-02508-3_23, booktitle=Theoretical Aspects of Computing – ICTAC 2018, publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2018, pages=435–454 

@inproceedingsPauck_Bodden_Wehrheim_2018, title=Do Android taint analysis tools keep their promises?, DOI=10.1145/3236024.3236029, booktitle=Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, publisher=ACM Press, author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, year=2018 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2018, title=Making Linearizability Compositional for Partially Ordered Executions, DOI=10.1007/978-3-319-98938-9‑7, booktitle=Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, year=2018, pages=110–129 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2018, title=Making Linearizability Compositional for Partially Ordered Executions, DOI=10.1007/978-3-319-98938-9‑7, booktitle=Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, year=2018, pages=110–129 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2018, title=Brief Announcement: Generalising Concurrent Correctness to Weak Memory, DOI=10.4230/LIPIcs.DISC.2018.45, booktitle=32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, year=2018, pages=45:1-45:3 

@inproceedingsBeyer_Jakobs_Lemberger_Wehrheim_2018, title=Reducer-Based Construction of Conditional Verifiers, booktitle=Proceedings of the 40th International Conference on Software Engineering (ICSE), publisher=ACM, author=Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike, year=2018, pages=1182--1193 

@inproceedingsTöws_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Policy Dependent and Independent Information Flow Analyses, DOI=10.1007/978-3-319-68690-5_22, booktitle=Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings, author=Töws, Manuel and Wehrheim, Heike, editor=Duan, Zhenhua and Ong, LukeEditors, year=2017, pages=362--378, collection=Lecture Notes in Computer Science 

@inproceedingsKönig_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Value-Based or Conflict-Based? Opacity Definitions for STMs, DOI=10.1007/978-3-319-67729-3_8, booktitle=Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, author=König, Jürgen and Wehrheim, Heike, editor=Van Hung, Dang and Kapur, DeepakEditors, year=2017, pages=118--135, collection=Lecture Notes in Computer Science 

@inproceedingsJakobs_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Compact Proof Witnesses, DOI=10.1007/978-3-319-57288-8_28, booktitle=NASA Formal Methods: 9th International Symposium, author=Jakobs, Marie-Christine and Wehrheim, Heike, editor=Barrett, Clark and Davies, Misty and Kahsai, TemesghenEditors, year=2017, pages=389–403, collection=Lecture Notes in Computer Science 

@inproceedingsTöws_Wehrheim_2017, title=Policy Dependent and Independent Information Flow Analyses, DOI=10.1007/978-3-319-68690-5_22, booktitle=Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2017, pages=362–378 

@inproceedingsCzech_Hüllermeier_Jakobs_Wehrheim_2017, series=SWAN’17, title=Predicting Rankings of Software Verification Tools, DOI=10.1145/3121257.3121262, booktitle=Proceedings of the 3rd International Workshop on Software Analytics, author=Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike, year=2017, pages=23–26, collection=SWAN’17 

@inproceedingsWehrheim_2017, series=LNCS, title=Fault localization in service compositions, booktitle=Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), author=Wehrheim, Heike, year=2017, collection=LNCS 

@inproceedingsCzech_Hüllermeier_Jakobs_Wehrheim_2017, title=Predicting rankings of software verification tools, booktitle=Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017, author=Czech, M. and Hüllermeier, Eyke and Jakobs, M.-C. and Wehrheim, Heike, year=2017, pages=23–26 

@inproceedingsBeringer_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of AUTOSAR Software Architectures with Timed Automata, DOI=10.1007/978-3-319-45943-1_13, 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, author=Beringer, Steffen and Wehrheim, Heike, editor=H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors, year=2016, pages=189--204, collection=Lecture Notes in Computer Science 

@inproceedingsTravkin_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of Concurrent Programs on Weak Memory Models, DOI=10.1007/978-3-319-46750-4_1, booktitle=Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Sampaio, Augusto and Wang, FarnEditors, year=2016, pages=3--24, collection=Lecture Notes in Computer Science 

@inproceedingsSchellhorn_Travkin_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Towards a Thread-Local Proof Technique for Starvation Freedom, DOI=10.1007/978-3-319-33693-0_13, booktitle=Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, author=Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, editor=Huisman, MariekeEditor, year=2016, pages=193--209, collection=Lecture Notes in Computer Science 

@inproceedingsDoherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series=LIPIcs, title=Proving Opacity of a Pessimistic STM, DOI=10.4230/LIPIcs.OPODIS.2016.35, booktitle=20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, author=Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Fatourou, Panagiota and Jim\rquote enez, Ernesto and Pedone, FernandoEditors, year=2016, pages=35:1--35:17, collection=LIPIcs 

@inproceedingsCzech_Jakobs_Wehrheim_2016, series=Lecture Notes in Informatics, title=Just test what you cannot verify!, booktitle=Software Engineering 2016, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Jens Knoop, Uwe ZdunEditor, year=2016, pages=17–18, collection=Lecture Notes in Informatics 

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A short survey on using software error localization for service compositions, DOI=10.1007/978-3-319-44482-6_16, booktitle=Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=248--262, collection=LNCS 

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A Formal Approach to Error Localization and Correction in Service Compositions, DOI=10.1007/978-3-319-50230-4_35, booktitle=Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=445--457, collection=LNCS 

@inproceedingsTöws_Wehrheim_2016, series=LNCS, title=A CEGAR Scheme for Information Flow Analysis, DOI=10.1007/978-3-319-47846-3_29, booktitle=Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), author=Töws, Manuel and Wehrheim, Heike, year=2016, pages=466--483, collection=LNCS 

@inproceedingsCzech_Jakobs_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Just test what you cannot verify!, DOI=10.1007/978-3-662-46675-9_7, booktitle=Fundamental Approaches to Software Engineering, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Egyed, Alexander and Schaefer, InaEditors, year=2015, pages=100–114, collection=Lecture Notes in Computer Science 

@inproceedingsJakobs_Wehrheim_2015, series=SAC ’15, title=Programs from Proofs of Predicated Dataflow Analyses, DOI=10.1145/2695664.2695690, booktitle=Proceedings of the 30th Annual ACM Symposium on Applied Computing, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2015, pages=1729–1736, collection=SAC ’15 

@inproceedingsMeyer_Wehrheim_2015, series=Lecture Notes in Computer Science, title=From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog, DOI=10.1007/978-3-319-23506-6_1, booktitle=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, author=Meyer, Roland and Wehrheim, Heike, editor=Meyer, Roland and Platzer, Andr\rquote e and Wehrheim, HeikeEditors, year=2015, pages=3--4, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Verifying Opacity of a Transactional Mutex Lock, DOI=10.1007/978-3-319-19249-9_11, booktitle=FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, editor=Bjrner, Nikolaj and S. de Boer, FrankEditors, year=2015, pages=161--177, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_Travkin_2015, series=Lecture Notes in Computer Science, title=TSO to SC via Symbolic Execution, DOI=10.1007/978-3-319-26287-1_7, booktitle=Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, author=Wehrheim, Heike and Travkin, Oleg, editor=Piterman, NirEditor, year=2015, pages=104--119, collection=Lecture Notes in Computer Science 

@inproceedingsWalther_Wehrheim_2014, series=LNCS, title=Verified Service Compositions by Template-Based Construction, DOI=10.1007/978-3-319-15317-9_3, booktitle=Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), author=Walther, Sven and Wehrheim, Heike, editor=Lanese, Ivan and Madelaine, EricEditors, year=2014, pages=31–48, collection=LNCS 

@inproceedingsBecker_Becker_Besova_Walther_Wehrheim_2014, title=Towards Systematic Configuration for Architecture Validation, booktitle=Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), author=Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike, year=2014 

@inproceedingsWonisch_Schremmer_Wehrheim_2014, series=Lecture Notes in Informatics (LNI), title=Programs from Proofs -- Approach and Applications, booktitle=Proceedings of the Software Engineering Conference (SE), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2014, pages=67–68, collection=Lecture Notes in Informatics (LNI) 

@inproceedingsDerrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Quiescent Consistency: Defining and Verifying Relaxed Linearizability, DOI=10.1007/978-3-319-06410-9_15, booktitle=FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike, editor=B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors, year=2014, pages=200--214, collection=Lecture Notes in Computer Science 

@inproceedingsTravkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Handling TSO in Mechanized Linearizability Proofs, DOI=10.1007/978-3-319-13338-6_11, booktitle=Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Yahav, EranEditor, year=2014, pages=132--147, collection=Lecture Notes in Computer Science 

@inproceedingsIsenberg_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Timed Automata Verification via I with Zones, DOI=10.1007/978-3-319-11737-9_14, booktitle=Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, author=Isenberg, Tobias and Wehrheim, Heike, editor=Merz, Stephan and Pang, JunEditors, year=2014, pages=203--218, collection=Lecture Notes in Computer Science 

@inproceedingsA. Schneider_Treharne_Wehrheim_M. Williams_2014, series=Lecture Notes in Computer Science, title=Managing LTL Properties in Event-B Refinement, DOI=10.1007/978-3-319-10181-1_14, booktitle=Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, author=A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=221--237, collection=Lecture Notes in Computer Science 

@inproceedingsJakobs_Wehrheim_2014, series=SPIN 2014, title=Certification for Configurable Program Analysis, DOI=10.1145/2632362.2632372, booktitle=Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2014, pages=30–39, collection=SPIN 2014 

@inproceedingsJakobs_Platzner_Wiersema_Wehrheim_2014, series=LNCS, title=Integrating Software and Hardware Verification, DOI=10.1007/978-3-319-10181-1_19, booktitle=Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), author=Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=307–322, collection=LNCS 

@inproceedingsBesova_Steenke_Wehrheim_2014, title=Grammar-based model transformations, DOI=10.1016/j.cl.2015.05.003, booktitle=Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), author=Besova, Galina and Steenke, Dominik and Wehrheim, Heike, year=2014, pages=1601–1610 

@inproceedingsIsenberg_Steenken_Wehrheim_2013, series=Lecture Notes in Computer Science, title=Bounded Model Checking of Graph Transformation Systems via SMT Solving, DOI=10.1007/978-3-642-38592-6_13, 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, author=Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike, editor=Beyer, Dirk and Boreale, MicheleEditors, year=2013, pages=178--192, collection=Lecture Notes in Computer Science 

@inproceedingsTravkin_Mütze_Wehrheim_2013, series=Lecture Notes in Computer Science, title=SPIN as a Linearizability Checker under Weak Memory Models, DOI=10.1007/978-3-319-03077-7_21, booktitle=Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, author=Travkin, Oleg and Mütze, Annika and Wehrheim, Heike, editor=Bertacco, Valeria and Legay, AxelEditors, year=2013, pages=311--326, collection=Lecture Notes in Computer Science 

@inproceedingsDongol_Travkin_Derrick_Wehrheim_2013, series=Lecture Notes in Computer Science, title=A High-Level Semantics for Program Execution under Total Store Order Memory, DOI=10.1007/978-3-642-39718-9_11, booktitle=Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, author=Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike, editor=Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors, year=2013, pages=177--194, collection=Lecture Notes in Computer Science 

@inproceedingsZiegert_Wehrheim_2013, series=LNI, title=Temporal Reconfiguration Plans for Self-Adaptive Systems, booktitle=Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, author=Ziegert, Steffen and Wehrheim, Heike, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=271--284, collection=LNI 

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Zero Overhead Runtime Monitoring, DOI=10.1007/978-3-642-40561-7_17, booktitle=Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=244–258, collection=LNCS 

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Programs from Proofs – A PCC Alternative, DOI=10.1007/978-3-642-39799-8_65, booktitle=Proceedings of the 25th International Conference on Computer Aided Verification (CAV), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=912–927, collection=LNCS 

@inproceedingsWalther_Wehrheim_2013, title=Knowledge-Based Verification of Service Compositions - An SMT approach, DOI=10.1109/ICECCS.2013.14, booktitle=Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), author=Walther, Sven and Wehrheim, Heike, year=2013, pages=24–32 

@inproceedingsSchellhorn_Wehrheim_Derrick_2012, series=Lecture Notes in Computer Science, title=How to Prove Algorithms Linearisable, DOI=10.1007/978-3-642-31424-7_21, booktitle=Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, author=Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John, editor=Madhusudan, P. and A. Seshia, SanjitEditors, year=2012, pages=243--259, collection=Lecture Notes in Computer Science 

@inproceedingsWonisch_Wehrheim_2012, series=LNCS, title=Predicate Analysis with Block-Abstraction Memoization, DOI=10.1007/978-3-642-34281-3_24, booktitle=Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), author=Wonisch, Daniel and Wehrheim, Heike, year=2012, pages=332–347, collection=LNCS 

@inproceedingsTimm_Wehrheim_Czech_2012, series=LNCS, title=Heuristic-Guided Abstraction Refinement for Concurrent Systems, DOI=10.1007/978-3-642-34281-3_25, booktitle=Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), author=Timm, Nils and Wehrheim, Heike and Czech, Mike, year=2012, pages=348–363, collection=LNCS 

@inproceedingsBesova_Walther_Wehrheim_Becker_2012, series=LNCS, title=Weaving-based configuration and modular transformation of multi-layer systems, DOI=10.1007/978-3-642-33666-9_49, booktitle=Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), author=Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen, year=2012, pages=776–792, collection=LNCS 

@inproceedingsRuhroth_Wehrheim_Ziegert_2011, title=ReL: A Generic Refactoring Language for Specification and Execution, DOI=10.1109/SEAA.2011.22, booktitle=37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, author=Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen, year=2011, pages=83--90 

@inproceedingsDerrick_Schellhorn_Wehrheim_2011, series=Lecture Notes in Computer Science, title=Verifying Linearisability with Potential Linearisation Points, DOI=10.1007/978-3-642-21437-0_25, booktitle=FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=J. Butler, Michael and Schulte, WolframEditors, year=2011, pages=323--337, collection=Lecture Notes in Computer Science 

@inproceedingsSteenken_Wehrheim_Wonisch_2011, series=Lecture Notes in Computer Science, title=Sound and Complete Abstract Graph Transformation, DOI=10.1007/978-3-642-25032-3_7, booktitle=Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, author=Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel, editor=da Silva Sim\'7eao, Adenilso and Morgan, CarrollEditors, year=2011, pages=92--107, collection=Lecture Notes in Computer Science 

@inproceedingsSchneider_Treharne_Wehrheim_2011, series=EPTCS, title=A CSP Account of Event-B Refinement, DOI=10.4204/EPTCS.55.9, booktitle=Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors, year=2011, pages=139--154, collection=EPTCS 

@inproceedingsSchneider_Treharne_Wehrheim_2010, series=Lecture Notes in Computer Science, title=A CSP Approach to Control in Event-B, DOI=10.1007/978-3-642-16265-7_19, booktitle=Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=M\rquote ery, Dominique and Merz, StephanEditors, year=2010, pages=260--274, collection=Lecture Notes in Computer Science 

@inproceedingsDräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series=Lecture Notes in Computer Science, title=SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems, DOI=10.1007/978-3-642-12002-2_22, 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, author=Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike, editor=Esparza, Javier and Majumdar, RupakEditors, year=2010, pages=271--274, collection=Lecture Notes in Computer Science 

@inproceedingsSchäfer_Wehrheim_2010, series=Lecture Notes in Computer Science, title=Model-Driven Development with Mechatronic UML, DOI=10.1007/978-3-642-17322-6_23, booktitle=Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, author=Schäfer, Wilhelm and Wehrheim, Heike, editor=Engels, Gregor and Lewerentz, Claus and Sch\'22afer, Wilhelm and Sch\'22urr, Andy and Westfechtel, BernhardEditors, year=2010, pages=533--554, collection=Lecture Notes in Computer Science 

@inproceedingsTimm_Wehrheim_2010, series=Lecture Notes in Computer Science, title=On Symmetries and Spotlights - Verifying Parameterised Systems, DOI=10.1007/978-3-642-16901-4_35, booktitle=Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, author=Timm, Nils and Wehrheim, Heike, editor=Song Dong, Jin and Zhu, HuibiaoEditors, year=2010, pages=534--548, collection=Lecture Notes in Computer Science 

@inproceedingsHülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series=Lecture Notes in Computer Science, title=Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques, DOI=10.1007/978-3-642-16265-7_14, booktitle=Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, author=Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=M\rquote ery, Dominique and Merz, StephanEditors, year=2010, pages=183--198, collection=Lecture Notes in Computer Science 

@inproceedingsRuhroth_Voigt_Wehrheim_2009, title=Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models, DOI=10.1109/SEAA.2009.39, booktitle=35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, author=Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike, year=2009, pages=360--367 

@inproceedingsEngels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations, DOI=10.1007/978-3-540-69100-6_7, booktitle=Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, author=Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=Schieferdecker, Ina and Hartman, AlanEditors, year=2008, pages=94--109, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Schellhorn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack, DOI=10.1007/978-3-540-68863-1_6, 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, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Barthe, Gilles and S. de Boer, FrankEditors, year=2008, pages=78--95, collection=Lecture Notes in Computer Science 

@inproceedingsMetzler_Wehrheim_Wonisch_2008, series=Lecture Notes in Computer Science, title=Decomposition for Compositional Verification, DOI=10.1007/978-3-540-88194-0_9, booktitle=Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, author=Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel, editor=Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors, year=2008, pages=105--125, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2008, series=Lecture Notes in Computer Science, title=Bounded Model Checking for Partial Kripke Structures, DOI=10.1007/978-3-540-85762-4_26, booktitle=Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, author=Wehrheim, Heike, editor=S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig\'22un, H\'22usn\'22uEditors, year=2008, pages=380--394, collection=Lecture Notes in Computer Science 

@inproceedingsEngels_Güldali_Soltenborn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Assuring Consistency of Business Process Models and Web Services Using Visual Contracts, DOI=10.1007/978-3-540-89020-1_2, booktitle=Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, author=Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike, editor=Sch\'22urr, Andy and Nagl, Manfred and Z\'22undorf, AlbertEditors, year=2007, pages=17--31, collection=Lecture Notes in Computer Science 

@inproceedingsEngels_Soltenborn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Analysis of UML Activities Using Dynamic Meta Modeling, DOI=10.1007/978-3-540-72952-5_5, 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, author=Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike, editor=M. Bonsangue, Marcello and Broch Johnsen, EinarEditors, year=2007, pages=76--90, collection=Lecture Notes in Computer Science