It's Doomed; We Can Prove It. - Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies (FM, 2009)

AutoPA: Automatic Prototyping from Requirements. - Xiaoshan Li; Zhiming Liu 001; Martin Schäf; Ling Yin 002 (ISoLA (1), 2010)

Doomed program points. - Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies (Formal Methods Syst. Des., 2010)

Towards a Formal Integrated Model of Collaborative Healthcare Workflows. - Cristiano Bertolini; Martin Schäf; Volker Stolz (FHIES, 2011)

Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. - Stephan Arlt; Cristiano Bertolini; Martin Schäf (ICST Workshops, 2011)

Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern. - Martin Schäf (2011)

Joogie: Infeasible Code Detection for Java. - Stephan Arlt; Martin Schäf (CAV, 2012)

Error Invariants. - Evren Ermis; Martin Schäf; Thomas Wies (FM, 2012)

Lightweight Static Analysis for GUI Testing. - Stephan Arlt; Andreas Podelski; Cristiano Bertolini; Martin Schäf; Ishan Banerjee; Atif M. Memon (ISSRE, 2012)

Parameterized GUI Tests. - Stephan Arlt; Pedro Borromeo; Martin Schäf; Andreas Podelski (ICTSS, 2012)

Infeasible Code Detection. - Cristiano Bertolini; Martin Schäf; Pascal Schweitzer (VSTTE, 2012)

Trends in Model-based GUI Testing. - Stephan Arlt; Cristiano Bertolini; Simon Pahl; Martin Schäf (Adv. Comput., 2012)

Grey-box GUI Testing: Efficient Generation of Event Sequences - Stephan Arlt; Ishan Banerjee; Cristiano Bertolini; Atif M. Memon; Martin Schäf (CoRR, 2012)

Towards Bounded Infeasible Code Detection - Jürgen Christ; Jochen Hoenicke; Martin Schäf (CoRR, 2012)

A Theory for Control-Flow Graph Exploration. - Stephan Arlt; Philipp Rümmer; Martin Schäf (ATVA, 2013)

Reconstructing Paths for Reachable Code. - Stephan Arlt; Zhiming Liu 001; Martin Schäf (ICFEM, 2013)

Joogie: from Java through Jimple to Boogie. - Stephan Arlt; Philipp Rümmer; Martin Schäf (SOAP@PLDI, 2013)

Explaining inconsistent code. - Martin Schäf; Daniel Schwartz-Narbonne; Thomas Wies (ESEC/SIGSOFT FSE, 2013)

Flow-Sensitive Fault Localization. - Jürgen Christ; Evren Ermis; Martin Schäf; Thomas Wies (VMCAI, 2013)

Monitoring Student Activity in Collaborative Software Development - Daniel Dietsch; Andreas Podelski; Jaechang Nam; Pantelis M. Papadopoulos; Martin Schäf (CoRR, 2013)

The Gradual Verifier. - Stephan Arlt; Cindy Rubio-González; Philipp Rümmer; Martin Schäf; Natarajan Shankar (NASA Formal Methods, 2014)

Concolic Fault Localization. - Chanseok Oh; Martin Schäf; Daniel Schwartz-Narbonne; Thomas Wies (SCAM, 2014)

Severity Levels of Inconsistent Code. - Martin Schäf; Ashish Tiwari 001 (ATVA, 2015)

Bixie: Finding and Understanding Inconsistent Code. - Tim McCarthy; Philipp Rümmer; Martin Schäf (ICSE (2), 2015)

VERMEER: A Tool for Tracing and Explaining Faulty C Programs. - Daniel Schwartz-Narbonne; Chanseok Oh; Martin Schäf; Thomas Wies (ICSE (2), 2015)

Gamifying Program Analysis. - Daniel Fava; Julien Signoles; Matthieu Lemerre; Martin Schäf; Ashish Tiwari 001 (LPAR, 2015)

Finding Inconsistencies in Programs with Loops. - Temesghen Kahsai; Jorge A. Navas; Dejan Jovanovic; Martin Schäf (LPAR, 2015)

Conflict-Directed Graph Coverage. - Daniel Schwartz-Narbonne; Martin Schäf; Dejan Jovanovic; Philipp Rümmer; Thomas Wies (NFM, 2015)

JayHorn: A Framework for Verifying Java programs. - Temesghen Kahsai; Philipp Rümmer; Huascar Sanchez; Martin Schäf (CAV (1), 2016)

Crowdsourcing program preconditions via a classification game. - Daniel Fava; Daniel G. Shapiro; Joseph C. Osborn; Martin Schäf; E. James Whitehead Jr. (ICSE, 2016)

Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. - Wenchao Li 001; Hossein Saidi 002; Huascar Sanchez; Martin Schäf; Pascal Schweitzer (ICSR, 2016)

Multistaging to understand: Distilling the essence of java code examples. - Huascar Sanchez; Jim Whitehead; Martin Schäf (ICPC, 2016)

Classifying Bugs with Interpolants. - Andreas Podelski; Martin Schäf; Thomas Wies (TAP@STAF, 2016)

Resource Contracts for Java. - Rody Kersten; Martin Schäf; Temesghen Kahsai (ACM SIGSOFT Softw. Eng. Notes, 2016)

Abduction by Non-Experts. - Nikolaj S. Bjørner; Dejan Jovanovic; Tancrède Lepoint; Philipp Rümmer; Martin Schäf (LPAR (Short Presentations), 2017)

Quantified Heap Invariants for Object-Oriented Programs. - Temesghen Kahsai; Rody Kersten; Philipp Rümmer; Martin Schäf (LPAR, 2017)

JayHorn: A Java Model Checker - (Competition Contribution). - Temesghen Kahsai; Philipp Rümmer; Martin Schäf (TACAS (3), 2019)

One-Click Formal Methods. - John Backes; Pauline Bolignano; Byron Cook; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Martin Schäf; Cole Schlesinger; Rima Tanash; Carsten Varming; Michael W. Whalen (IEEE Softw., 2019)

Verifying object construction. - Martin Kellogg; Manli Ran; Manu Sridharan; Martin Schäf; Michael D. Ernst (ICSE, 2020)

Continuous Compliance. - Martin Kellogg; Martin Schäf; Serdar Tasiran; Michael D. Ernst (ASE, 2020)

RAPID: checking API usage for the cloud in the cloud. - Michael Emmi; Liana Hadarean; Ranjit Jhala; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2021)

IDE support for cloud-based static analyses. - Linghui Luo; Martin Schäf; Daniel Sanchez; Eric Bodden (ESEC/SIGSOFT FSE, 2021)

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. - Julien Lepiller; Ruzica Piskac; Martin Schäf; Mark Santolucito (TACAS (2), 2021)

Input splitting for cloud-based static application security testing platforms. - Maria Christakis; Thomas Cottenier; Antonio Filieri; Linghui Luo; Muhammad Numair Mansur; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2022)

Shifting Left for Early Detection of Machine-Learning Bugs. - Ben Liblit; Linghui Luo; Alejandro Molina 002; Rajdeep Mukherjee; Zachary Patterson; Goran Piskachev; Martin Schäf; Omer Tripp; Willem Visser (FM, 2023)

Long-term Static Analysis Rule Quality Monitoring Using True Negatives. - Linghui Luo; Rajdeep Mukherjee; Omer Tripp; Martin Schäf; Qiang Zhou 009; Daniel Sanchez (ICSE-SEIP, 2023)

Model Generation For Java Frameworks. - Linghui Luo; Goran Piskachev; Ranjith Krishnamurthy; Julian Dolby; Eric Bodden; Martin Schäf (ICST, 2023)

Inference for Ever-Changing Policy of Taint Analysis. - Wen-Hao Chiang; Peixuan Li; Qiang Zhou 009; Subarno Banerjee; Martin Schäf; Yingjun Lyu; Hoan Nguyen; Omer Tripp (ICSE-SEIP, 2024)

Understanding Developer-Analyzer Interactions in Code Reviews. - Martin Schäf; Berk Çirisci; Linghui Luo; Muhammad Numair Mansur; Omer Tripp; Daniel Sanchez; Qiang Zhou 009; Muhammad Bilal Zafar (ASE, 2024)

Safe Validation of Pricing Agreements. - John Kolesar; Tancrède Lepoint; Martin Schäf; Willem Visser (SEIP@ICSE, 2025)