Haake, C.-J., Meyer auf der Heide, F., Platzner, M., Wachsmuth, H., &; Wehrheim, H. (2023). On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.17619/UNIPB/1-1797 
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

Wehrheim, H., Hüllermeier, E., Becker, S., Becker, M., Richter, C., &; Sharma, A. (2023). Composition Analysis in Unknown Contexts. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &; H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 105–123). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068510 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

Wehrheim, H., Platzner, M., Bodden, E., Schubert, P., Pauck, F., &; Jakobs, M.-C. (2023). Verifying Software and Reconfigurable Hardware Services. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &; H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 125–144). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068583 
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Schellhorn, G., Wedel, M., Travkin, O., König, J., &; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software Engineering and Formal Methods (pp. 105–120). Cham: Springer International Publishing.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, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., Ober-Blöbaum, S., Priesterjahn, C., Rasche, C., Schäfer, W., Steenken, D., Trächtler, A., Wehrheim, H., &; Ziegert, S. (2014). Development of the RailCab Vehicle. In Dependability of Self-Optimizing Mechatronic Systems (pp. 184–190). Springer-Verlag .
LibreCat: /record/25177

Fla\'73skamp, K.,  Gr\'22osbrink,  Stefan , Hartmann, P., Heinzemann, C., Kleinjohann, B., Kleinjohann, L.,  Kr\'22uger,  Martin,  Ober-Bl\'22obaum,  Sina, Priesterjahn, C., Rasche, C., Sch\'22afer, W., Steenken, D., Tr\'22achtler, A., Wehrheim, H., &; Ziegert, S. (2014). Development of the RailCab Vehicle. In Dependability of Self-Optimizing Mechatronic Systems (pp. 184–190). Springer-Verlag, Heidelberg, Germany.
LibreCat: /record/25775

Fla\'73skamp, K., Gr\'22osbrink, S., Hartmann, P., Heinzemann, C., Kleinjohann, B., Kleinjohann, L., Kr\'22uger,  Martin , Ober-Bl\'22obaum, S., Priesterjahn, C., Rasche, C., Sch\'22afer, W., Steenken, D., Tr\'22achtle, A., Wehrheim, H., &; Ziegert, S. (2014). Development of the RailCab Vehicle. In Dependability of Self-Optimizing Mechatronic Systems (pp. 184–190). Springer-Verlag, Heidelberg, Germany.
LibreCat: /record/25773

Schrieb, J., Wehrheim, H., &; Wonisch, D. (2009). Three-Valued Spotlight Abstractions. In FM 2009: Formal Methods (pp. 106–122). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-05089-3_8 
LibreCat: /record/3000
DOI: 10.1007/978-3-642-05089-3_8

Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., &; Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering.https://doi.org/10.1145/3551349.3561156 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

Sharma, A., Melnikov, V., Hüllermeier, E., &; Wehrheim, H. (2022). Property-Driven Testing of Black-Box Functions. Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–123.
LibreCat: /record/32311

Richter, C., &; Wehrheim, H. (2022). Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–173.https://doi.org/10.1109/ICST53961.2022.00027 
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

Richter, C., &; Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs at massive scale. 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–422.https://doi.org/10.1145/3524842.3528505 
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

Dongol, B., Schellhorn, G., &; Wehrheim, H. (2022). Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In B. Klin, S. Lasota, &; A. Muscholl (Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland (Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2022.31 
LibreCat: /record/45248
DOI: 10.4230/LIPIcs.CONCUR.2022.31

Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &; Wehrheim, H. (n.d.). MLCHECK–Property-Driven Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA).
LibreCat: /record/28350

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (n.d.). On Strong Observational Refinement and Forward Simulation. In Proceedings of the 35th International Symposium on Distributed Computing (DISC). Schloß Dagstuhl.
LibreCat: /record/22927

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

Pauck, F., &; Wehrheim, H. (2021). Cooperative Android App Analysis with CoDiDroid. In A. Koziolek, I. Schaefer, &; C. Seidl (Eds.), Software Engineering 2021 (pp. 83–84). Gesellschaft für Informatik e.V.https://doi.org/10.18420/SE2021_30  
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

Sharma, A., &; Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat: /record/19656

Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman &; A. Sokolova (Eds.), 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 (Vol. 12136, pp. 39–58). Springer.https://doi.org/10.1007/978-3-030-50086-3‑3 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, S., &; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-Georg Fill, &; L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress.https://doi.org/10.5220/0009766600150026 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, D., &; Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria &; B. Steffen (Eds.), 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 (Vol. 12476, pp. 143–167). Springer.https://doi.org/10.1007/978-3-030-61362-4‑8 
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Dalvandi, S., Doherty, S., Dongol, B., &; Wehrheim, H. (2020). Owicki-Gries Reasoning forhttps://doi.org/10.4230/LIPIcs.ECOOP.2020.11__RAR. In R. Hirschfeld &; T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik.https://doi.org/10.4230/LIPIcs.ECOOP.2020.11 
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

Richter, C., &; Wehrheim, H. (2020). 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 (pp. 1016–1028). IEEE.
LibreCat: /record/21018

Sharma, A., &; Wehrheim, H. (n.d.). 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.
LibreCat: /record/16724

Pauck, F., Bodden, E., &; Wehrheim, H. (2020). Reproducing Taint-Analysis Results with ReproDroid. In M. Felderer, W. Hasselbring, R. Rabiser, &; R. Jung (Eds.), Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria (pp. 123–124). Gesellschaft f\'22ur Informatik e.V.https://doi.org/10.18420/SE2020_36 
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

Schneider, S. B., Sharma, A., Karl, H., &; Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat: /record/3287

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

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, &; J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Vol. 11800, pp. 179–195). Springer.https://doi.org/10.1007/978-3-030-30942-8‑12 
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (pp. 179–195).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., &; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &; K. Yvonne Rozier (Eds.), NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer.https://doi.org/10.1007/978-3-030-20652-9‑18 
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2019). Verifyinghttps://doi.org/10.1145/3293883.3295702__programs operationally. In J. K. Hollingsworth &; I. Keidar (Eds.), Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). ACM.https://doi.org/10.1145/3293883.3295702 
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Beyer, D., Jakobs, M.-C., Lemberger, T., &; Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI.https://doi.org/10.18420/se2019-46 
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 157–158). GI.https://doi.org/10.18420/se2019-48 
LibreCat: /record/10094
DOI: 10.18420/se2019-48

Richter, C., &; Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, &; B. Steffen (Eds.), 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 (Vol. 11429, pp. 229–233). Springer.https://doi.org/10.1007/978-3-030-17502-3_19 
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

Pauck, F., &; Wehrheim, H. (2019). Together Strong: Cooperative Android App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–384.https://doi.org/10.1145/3338906.3338915 
LibreCat: /record/10108
DOI: 10.1145/3338906.3338915

Isenberg, T., Jakobs, M.-C., Pauck, F., &; Wehrheim, H. (2019). When Are Software Verification Results Valid for Approximate Hardware? 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.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, P., Haltermann, J. F., Jakobs, M.-C., &; Wehrheim, H. (2018). JMCTest: Automatically Testing Inter-Method Contracts in Java. In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018) (Vol. 11146, pp. 39--55). Cádiz, Spain: Springer.
LibreCat: /record/3414

Töws, M., &; Wehrheim, H. (2018). Information Flow Certificates. In Theoretical Aspects of Computing – ICTAC 2018 (pp. 435–454). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-030-02508-3_23 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Pauck, F., Bodden, E., &; Wehrheim, H. (2018). Do Android taint analysis tools keep their promises? 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.https://doi.org/10.1145/3236024.3236029 
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129).https://doi.org/10.1007/978-3-319-98938-9‑7 
LibreCat: /record/6836
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129).https://doi.org/10.1007/978-3-319-98938-9‑7 
LibreCat: /record/6838
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2018). Brief Announcement: Generalising Concurrent Correctness to Weak Memory. In 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018 (pp. 45:1-45:3).https://doi.org/10.4230/LIPIcs.DISC.2018.45 
LibreCat: /record/6839
DOI: 10.4230/LIPIcs.DISC.2018.45

Beyer, D., Jakobs, M.-C., Lemberger, T., &; Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat: /record/1096

Töws, M., &; Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Z. Duan &; L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings (pp. 362--378).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., &; Wehrheim, H. (2017). Value-Based or Conflict-Based? Opacity Definitions for STMs. In D. Van Hung &; D. Kapur (Eds.), Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (pp. 118--135).https://doi.org/10.1007/978-3-319-67729-3_8 
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

Jakobs, M.-C., &; Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, &; T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium (pp. 389–403).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, M., &; Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer International Publishing.https://doi.org/10.1007/978-3-319-68690-5_22 
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

Czech, M., Hüllermeier, E., Jakobs, M.-C., &; Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In Proceedings of the 3rd International Workshop on Software Analytics (pp. 23–26).https://doi.org/10.1145/3121257.3121262 
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

Wehrheim, H. (2017). Fault localization in service compositions. In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS).
LibreCat: /record/99

Czech, M., Hüllermeier, E., Jakobs, M.-C., &; Wehrheim, H. (2017). Predicting rankings of software verification tools. In Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017 (pp. 23–26).
LibreCat: /record/10207

Beringer, S., &; Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, &; A. Knapp (Eds.), 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 (pp. 189--204).https://doi.org/10.1007/978-3-319-45943-1_13 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Travkin, O., &; Wehrheim, H. (2016). Verification of Concurrent Programs on Weak Memory Models. In A. Sampaio &; F. Wang (Eds.), Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (pp. 3--24).https://doi.org/10.1007/978-3-319-46750-4_1 
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

Schellhorn, G., Travkin, O., &; Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209).https://doi.org/10.1007/978-3-319-33693-0_13 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2016). Proving Opacity of a Pessimistic STM. In P. Fatourou, E. Jim\rquote enez, &; F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain (pp. 35:1--35:17).https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
LibreCat: /record/186

Krämer, J., &; Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262).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, J., &; Wehrheim, H. (2016). A Formal Approach to Error Localization and Correction in Service Compositions. In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) (pp. 445--457).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, M., &; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483).https://doi.org/10.1007/978-3-319-47846-3_29 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed &; I. Schaefer (Eds.), Fundamental Approaches to Software Engineering (pp. 100–114).https://doi.org/10.1007/978-3-662-46675-9_7 
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

Jakobs, M.-C., &; Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 1729–1736).https://doi.org/10.1145/2695664.2695690 
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Meyer, R., &; Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog. In R. Meyer, A. Platzer, &; H. Wehrheim (Eds.), 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 (pp. 3--4).https://doi.org/10.1007/978-3-319-23506-6_1 
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, J., Dongol, B., Schellhorn, G., Travkin, O., &; Wehrheim, H. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bjrner &; F. S. de Boer (Eds.), FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 161--177).https://doi.org/10.1007/978-3-319-19249-9_11 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, H., &; Travkin, O. (2015). TSO to SC via Symbolic Execution. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 104--119).https://doi.org/10.1007/978-3-319-26287-1_7 
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Walther, S., &; Wehrheim, H. (2014). Verified Service Compositions by Template-Based Construction. In I. Lanese &; E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS) (pp. 31–48).https://doi.org/10.1007/978-3-319-15317-9_3 
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Becker, M., Becker, S., Besova, G., Walther, S., &; Wehrheim, H. (2014). Towards Systematic Configuration for Architecture Validation. In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session).
LibreCat: /record/344

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2014). Programs from Proofs -- Approach and Applications. In Proceedings of the Software Engineering Conference (SE) (pp. 67–68).
LibreCat: /record/383

Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., &; Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, &; J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214).https://doi.org/10.1007/978-3-319-06410-9_15 
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, O., &; Wehrheim, H. (2014). Handling TSO in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147).https://doi.org/10.1007/978-3-319-13338-6_11 
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, T., &; Wehrheim, H. (2014). Timed Automata Verification via I with Zones. In S. Merz &; J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218).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, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL Properties in Event-B Refinement. In E. Albert &; E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237).https://doi.org/10.1007/978-3-319-10181-1_14 
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Jakobs, M.-C., &; Wehrheim, H. (2014). Certification for Configurable Program Analysis. In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN) (pp. 30–39).https://doi.org/10.1145/2632362.2632372 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Jakobs, M.-C., Platzner, M., Wiersema, T., &; Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert &; E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322).https://doi.org/10.1007/978-3-319-10181-1_19 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Besova, G., Steenke, D., &; Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610).https://doi.org/10.1016/j.cl.2015.05.003 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Isenberg, T., Steenken, D., &; Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via SMT Solving. In D. Beyer &; M. Boreale (Eds.), 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 (pp. 178--192).https://doi.org/10.1007/978-3-642-38592-6_13 
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

Travkin, O., Mütze, A., &; Wehrheim, H. (2013). SPIN as a Linearizability Checker under Weak Memory Models. In V. Bertacco &; A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (pp. 311--326).https://doi.org/10.1007/978-3-319-03077-7_21 
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

Dongol, B., Travkin, O., Derrick, J., &; Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, &; H. Zhu (Eds.), Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings (pp. 177--194).https://doi.org/10.1007/978-3-642-39718-9_11 
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

Ziegert, S., &; Wehrheim, H. (2013). Temporal Reconfiguration Plans for Self-Adaptive Systems. In S. Kowalewski &; B. Rumpe (Eds.), Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen (pp. 271--284).
LibreCat: /record/3179

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258).https://doi.org/10.1007/978-3-642-40561-7_17 
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927).https://doi.org/10.1007/978-3-642-39799-8_65 
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Walther, S., &; Wehrheim, H. (2013). Knowledge-Based Verification of Service Compositions - An SMT approach. In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 24–32).https://doi.org/10.1109/ICECCS.2013.14 
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

Schellhorn, G., Wehrheim, H., &; Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan &; S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259).https://doi.org/10.1007/978-3-642-31424-7_21 
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

Wonisch, D., &; Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347).https://doi.org/10.1007/978-3-642-34281-3_24 
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Timm, N., Wehrheim, H., &; Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363).https://doi.org/10.1007/978-3-642-34281-3_25 
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Besova, G., Walther, S., Wehrheim, H., &; Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS) (pp. 776–792).https://doi.org/10.1007/978-3-642-33666-9_49 
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Ruhroth, T., Wehrheim, H., &; Ziegert, S. (2011). ReL: A Generic Refactoring Language for Specification and Execution. In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90).https://doi.org/10.1109/SEAA.2011.22 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &; W. Schulte (Eds.), FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337).https://doi.org/10.1007/978-3-642-21437-0_25 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, D., Wehrheim, H., &; Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim\'7eao &; C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107).https://doi.org/10.1007/978-3-642-25032-3_7 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). A CSP Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &; S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154).https://doi.org/10.4204/EPTCS.55.9 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Schneider, S., Treharne, H., &; Wehrheim, H. (2010). A CSP Approach to Control in Event-B. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274).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, K., Kupriyanov, A., Finkbeiner, B., &; Wehrheim, H. (2010). SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &; R. Majumdar (Eds.), 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 (pp. 271--274).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, W., &; Wehrheim, H. (2010). Model-Driven Development with Mechatronic UML. In G. Engels, C. Lewerentz, W. Sch\'22afer, A. Sch\'22urr, &; B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554).https://doi.org/10.1007/978-3-642-17322-6_23 
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, N., &; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &; H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 534--548).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, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198).https://doi.org/10.1007/978-3-642-16265-7_14 
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Ruhroth, T., Voigt, H., &; Wehrheim, H. (2009). Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings (pp. 360--367).https://doi.org/10.1109/SEAA.2009.39 
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2008). From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker &; A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109).https://doi.org/10.1007/978-3-540-69100-6_7 
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe &; F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95).https://doi.org/10.1007/978-3-540-68863-1_6 
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, B., Wehrheim, H., &; Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, &; K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125).https://doi.org/10.1007/978-3-540-88194-0_9 
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &; H. Yenig\'22un (Eds.), Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394).https://doi.org/10.1007/978-3-540-85762-4_26 
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Engels, G., Güldali, B., Soltenborn, C., &; Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In A. Sch\'22urr, M. Nagl, &; A. Z\'22undorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers (pp. 17--31).https://doi.org/10.1007/978-3-540-89020-1_2 
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2

Engels, G., Soltenborn, C., &; Wehrheim, H. (2007). Analysis of UML Activities Using Dynamic Meta Modeling. In M. M. Bonsangue &; E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 76--90).https://doi.org/10.1007/978-3-540-72952-5_5 
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5