@bookSchott_2021, place=Paderborn, title=Android App Analysis Benchmark Case Generation, author=Schott, Stefan, year=2021 
LibreCat: /record/22304

@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 
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

@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 
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

@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 
LibreCat: /record/19656

@bookMayer_2020, title=Optimierung von JMCTest beim Testen von Inter Method Contracts, publisher=Universität Paderborn, author=Mayer, Stefan, year=2020 
LibreCat: /record/19999

@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 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

@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 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

@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 
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

@bookWehrheim_Cabot_2020, series=Lecture Notes in Computer Science, title=Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume=12076, DOI=10.1007/978-3-030-45234-6, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

@articleSharma_Wehrheim_2020, title=Testing Monotonicity of Machine Learning Models, volume=abs/2002.12278, journal=CoRR, author=Sharma, Arnab and Wehrheim, Heike, year=2020 
LibreCat: /record/20279

@articleDalvandi_Doherty_Dongol_Wehrheim_2020, title=Owicki-Gries Reasoning for10.4230/DARTS.6.2.15__RAR (Artifact), volume=6, DOI=10.4230/DARTS.6.2.15, number=2, journal=Dagstuhl Artifacts Ser., author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, year=2020, pages=15:1-15:2 
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

@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 
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

@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 
LibreCat: /record/21018

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

@articleHaltermann_Wehrheim_2020, title=Cooperative Verification via Collective Invariant Generation, journal=arXiv:2008.04551, author=Haltermann, Jan Frederik and Wehrheim, Heike, year=2020 
LibreCat: /record/17825

@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 
LibreCat: /record/16724

@articleRichter_Hüllermeier_Jakobs_Wehrheim, title=Algorithm Selection for Software Validation Based on Graph Kernels, journal=Journal of Automated Software Engineering, publisher=Springer, author=Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike 
LibreCat: /record/16725

@articleKarl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title=A Case for a New IT Ecosystem: On-The-Fly Computing, volume=62, DOI=10.1007/s12599-019-00627-x, number=6, journal=Business &; Information Systems Engineering, publisher=Springer, author=Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike, year=2020, pages=467–481 
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

@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 
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

@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 
LibreCat: /record/3287

@inproceedingsSharma_Wehrheim_2019, place=Stuttgart, series=Lecture Notes in Informatics (LNI), title=Testing Balancedness of ML Algorithms, volume=P-292, booktitle=Proceedings of the Software Engineering Conference (SE), publisher=Gesellschaft für Informatik e.V. (GI), author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=157–158, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/7752

@bookZhang_2019, title=Combining Android Apps for Analysis Purposes, publisher=Universität Paderborn, author=Zhang, Shikun, year=2019 
LibreCat: /record/7623

@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 
LibreCat: /record/7635

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, author=Haltermann, Jan Frederik, year=2019 
LibreCat: /record/12885

@inproceedingsPauck_Zhang_2019, title=Android App Merging for Benchmark Speed-Up and Analysis Lift-Up, DOI=10.1109/asew.2019.00019, booktitle=2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), author=Pauck, Felix and Zhang, Shikun, year=2019 
LibreCat: /record/15838
DOI: 10.1109/asew.2019.00019

@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 
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

@articleRusso_Schürr_Wehrheim_2019, title=Editorial, volume=31, DOI=10.1007/s00165-019-00495-y, number=5, journal=Formal Asp. Comput., author=Russo, Alessandra and Schürr, Andy and Wehrheim, Heike, year=2019, pages=457–458 
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y

@articleFränzle_Kapur_Wehrheim_Zhan_2019, title=Editorial, volume=31, DOI=10.1007/s00165-018-00477-6, number=1, journal=Formal Asp. Comput., author=Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun, year=2019, pages=1 
LibreCat: /record/16217
DOI: 10.1007/s00165-018-00477-6

@inbookBeyer_Jakobs_2019, place=Cham, title=CoVeriTest: Cooperative Verifier-Based Testing, DOI=10.1007/978-3-030-16722-6_23, booktitle=Fundamental Approaches to Software Engineering, author=Beyer, Dirk and Jakobs, Marie-Christine, year=2019 
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

@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 
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

@articleFränzle_Kapur_Wehrheim_Zhan_2019, title=Editorial, volume=31, DOI=10.1007/s00165-018-00477-6, number=1, journal=Formal Asp. Comput., author=Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun, year=2019, pages=1 
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

@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 
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

@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 
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

@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 
LibreCat: /record/10093
DOI: 10.18420/se2019-46

@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 
LibreCat: /record/10094
DOI: 10.18420/se2019-48

@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 
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, publisher=Universität Paderborn, author=Haltermann, Jan, year=2019 
LibreCat: /record/10105

@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 
LibreCat: /record/10108
DOI: 10.1145/3338906.3338915

@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 
LibreCat: /record/13874
DOI: 10.1007/978-3-030-31157-5_1

@bookRautenberg_2018, title=Korrektheitsbeweise für Muster von Servicekompositionen, publisher=Universität Paderborn, author=Rautenberg, Kai, year=2018 
LibreCat: /record/3320

@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 
LibreCat: /record/3414

@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 
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

@articleDoherty_Derrick_Dongol_Wehrheim_2018, title=Causal Linearizability: Compositionality for Partially Ordered Executions, journal=CoRR, author=Doherty, Simon and Derrick, John and Dongol, Brijesh and Wehrheim, Heike, year=2018 
LibreCat: /record/3153

@articlePauck_Bodden_Wehrheim_2018, title=Do Android Taint Analysis Tools Keep their Promises?, journal=arXiv:1804.02903, author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, year=2018 
LibreCat: /record/2711

@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 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

@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 
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029

@articleDerrick_Doherty_Dongol_Schellhorn_Travkin_Wehrheim_2018, title=Mechanized proofs of opacity: a comparison of two techniques, volume=30, DOI=10.1007/s00165-017-0433-3, number=5, journal=Formal Asp. Comput., author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, year=2018, pages=597–625 
LibreCat: /record/6828
DOI: 10.1007/s00165-017-0433-3

@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 
LibreCat: /record/6836
DOI: 10.1007/978-3-319-98938-9‑7

@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 
LibreCat: /record/6838
DOI: 10.1007/978-3-319-98938-9‑7

@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 
LibreCat: /record/6839
DOI: 10.4230/LIPIcs.DISC.2018.45

@articleIsenberg_Jakobs_Pauck_Wehrheim_2018, title=Validity of Software Verification Results on Approximate Hardware, DOI=10.1109/LES.2017.2758200, journal=IEEE Embedded Systems Letters, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2018, pages=22–25 
LibreCat: /record/1043
DOI: 10.1109/LES.2017.2758200

@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 
LibreCat: /record/1096

@bookBörding_2017, title=Testing Java Method Contracts, publisher=Universität Paderborn, author=Börding, Paul, year=2017 
LibreCat: /record/3512

@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 
LibreCat: /record/3155
DOI: 10.1007/978-3-319-68690-5_22

@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 
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

@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 
LibreCat: /record/114
DOI: 10.1007/978-3-319-57288-8_28

@inproceedingsJakobs_Krämer_van Straaten_Lettmann_2017, title=Certiû01cation Matters for Service Markets, booktitle=The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), author=Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor, editor=Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor, year=2017, pages=7–12 
LibreCat: /record/115

@articleIsenberg_2017, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1145/2984640, number=2, journal=ACM Transactions on Embedded Computing Systems, publisher=ACM, author=Isenberg, Tobias, year=2017, pages=47:1-47:24 
LibreCat: /record/90
DOI: 10.1145/2984640

@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 
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

@bookWalther_2017, title=Knowledge-based Verification of Service Compositions, DOI=10.17619/UNIPB/1-307, publisher=Universität Paderborn, author=Walther, Sven, year=2017 
LibreCat: /record/707
DOI: 10.17619/UNIPB/1-307

@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 
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

@bookCzech_Hüllermeier_Jakobs_Wehrheim_2017, title=Predicting Rankings of Software Verification Competitions, author=Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike, year=2017 
LibreCat: /record/72

@articleIsenberg_Platzner_Wehrheim_Wiersema_2017, title=Proof-Carrying Hardware via Inductive Invariants, DOI=10.1145/3054743, number=4, journal=ACM Transactions on Design Automation of Electronic Systems, publisher=ACM, author=Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2017, pages=61:1--61:23 
LibreCat: /record/68
DOI: 10.1145/3054743

@bookJakobs_2017, title=On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, DOI=10.17619/UNIPB/1-104, publisher=Universität Paderborn, author=Jakobs, Marie-Christine, year=2017 
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

@articleJakobs_Wehrheim_2017, title=Programs from Proofs: A Framework for the Safe Execution of Untrusted Software, DOI=10.1145/3014427, number=2, journal=ACM Transactions on Programming Languages and Systems, publisher=ACM, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2017, pages=7:1-7:56 
LibreCat: /record/69
DOI: 10.1145/3014427

@bookPauck_2017, title=Cooperative static analysis of Android applications, publisher=Universität Paderborn, author=Pauck, Felix, year=2017 
LibreCat: /record/109

@bookBröcher_2016, title=Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, publisher=Universität Paderborn, author=Bröcher, Henrik, year=2016 
LibreCat: /record/201

@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 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

@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 
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

@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 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

@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 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

@articleIsenberg_Jakobs_Pauck_Wehrheim_2016, title=Deriving approximation tolerance constraints from verification runs, journal=CoRR, author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2016 
LibreCat: /record/3161

@articleWalther_Wehrheim_2016, title=On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs, DOI=10.1016/j.scico.2016.04.002, journal=Science of Computer Programming, publisher=Elsevier, author=Walther, Sven and Wehrheim, Heike, year=2016, pages=2--23 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

@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 
LibreCat: /record/186

@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 
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

@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 
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

@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 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

@inproceedingsJakobs_Töws_Pauck_2016, series=School of Computing Science Technical Report Series, title=PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper), booktitle=Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, author=Jakobs, Marie-Christine and Töws, Manuel and Pauck, Felix, editor=Ishikawa F, Romanovsky A, Troubitsyna EEditor, year=2016, collection=School of Computing Science Technical Report Series 
LibreCat: /record/170

@bookIsenberg_2016, title=Induction-based Verification of Timed Systems, publisher=Universität Paderborn, author=Isenberg, Tobias, year=2016 
LibreCat: /record/1190

@bookZhang_2016, title=Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, publisher=Universität Paderborn, author=Zhang, Guangli, year=2016 
LibreCat: /record/162

@bookCzech_2016, title=Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, publisher=Universität Paderborn, author=Czech, Mike, year=2016 
LibreCat: /record/164

@bookDewender_2016, title=Verifikation von Service Kompositionen mit Spin, publisher=Universität Paderborn, author=Dewender, Markus, year=2016 
LibreCat: /record/133

@bookHeinisch_2016, title=Verifikation von Service Kompositionen mit Prolog, publisher=Universität Paderborn, author=Heinisch, Philipp, year=2016 
LibreCat: /record/134

@inproceedingsJakobs_2015, series=LNCS, title=Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning, DOI=10.1007/978-3-319-22969-0_12, booktitle=Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), author=Jakobs, Marie-Christine, year=2015, pages=159--174, collection=LNCS 
LibreCat: /record/250
DOI: 10.1007/978-3-319-22969-0_12

@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 
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

@inproceedingsIsenberg_2015, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1109/ACSD.2015.13, booktitle=Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), author=Isenberg, Tobias, year=2015, pages=1–9 
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

@bookBesova_2015, title=Systematic Development and Re-Use of Model Tranformations, publisher=Universität Paderborn, author=Besova, Galina, year=2015 
LibreCat: /record/246

@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 
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

@articleBesova_Steenken_Wehrheim_2015, title=Grammar-based model transformations: Definition, execution, and quality properties, DOI=10.1016/j.cl.2015.05.003, journal=Computer Languages, Systems &; Structures, publisher=Elsevier, author=Besova, Galina and Steenken, Dominik and Wehrheim, Heike, year=2015, pages=116–138 
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003

@articleZiegert_Wehrheim_2015, title=Temporal plans for software architecture reconfiguration, DOI=10.1007/s00450-014-0259-7, number=3–4, journal=Computer Science - R &; D, author=Ziegert, Steffen and Wehrheim, Heike, year=2015, pages=303--320 
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

@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 
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

@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 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

@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 
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

@bookMeyer_Platzer_Wehrheim_2015, series=Lecture Notes in Computer Science, title=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, DOI=10.1007/978-3-319-23506-6, year=2015, collection=Lecture Notes in Computer Science 
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

@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 
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

@bookKorth_2014, title=Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”, publisher=Universität Paderborn, author=Korth, Philipp, year=2014 
LibreCat: /record/340

@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 
LibreCat: /record/344

@inproceedingsMohr_Walther_2014, series=LNCS, title=Template-based Generation of Semantic Services, DOI=10.1007/978-3-319-14130-5_14, booktitle=Proceedings of the 14th International Conference on Software Reuse (ICSR), author=Mohr, Felix and Walther, Sven, year=2014, pages=188–203, collection=LNCS 
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

@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) 
LibreCat: /record/383