default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Schäf
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c40]Wen-Hao Chiang
, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schäf, Yingjun Lyu, Hoan Nguyen, Omer Tripp:
Inference for Ever-Changing Policy of Taint Analysis. ICSE-SEIP 2024: 452-462- 2023
- [c39]Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser:
Shifting Left for Early Detection of Machine-Learning Bugs. FM 2023: 584-597 - [c38]Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez:
Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP 2023: 315-326 - [c37]Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf:
Model Generation For Java Frameworks. ICST 2023: 165-175 - 2022
- [c36]Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE 2022: 1367-1378 - 2021
- [c35]Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden:
IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE 2021: 1178-1189 - [c34]Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE 2021: 1416-1426 - [c33]Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito:
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) 2021: 105-123 - 2020
- [c32]Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst:
Verifying object construction. ICSE 2020: 1447-1458 - [c31]Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst:
Continuous Compliance. ASE 2020: 511-523
2010 – 2019
- 2019
- [j4]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:
One-Click Formal Methods. IEEE Softw. 36(6): 61-65 (2019) - [c30]Temesghen Kahsai, Philipp Rümmer, Martin Schäf:
JayHorn: A Java Model Checker - (Competition Contribution). TACAS (3) 2019: 214-218 - 2017
- [c29]Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf:
Abduction by Non-Experts. LPAR (Short Presentations) 2017: 58-72 - [c28]Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf:
Quantified Heap Invariants for Object-Oriented Programs. LPAR 2017: 368-384 - 2016
- [j3]Rody Kersten, Martin Schäf, Temesghen Kahsai:
Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c27]Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf:
JayHorn: A Framework for Verifying Java programs. CAV (1) 2016: 352-358 - [c26]Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.:
Crowdsourcing program preconditions via a classification game. ICSE 2016: 1086-1096 - [c25]Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer:
Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR 2016: 315-330 - [c24]Huascar Sanchez, Jim Whitehead, Martin Schäf:
Multistaging to understand: Distilling the essence of java code examples. ICPC 2016: 1-10 - [c23]Andreas Podelski, Martin Schäf, Thomas Wies:
Classifying Bugs with Interpolants. TAP@STAF 2016: 151-168 - 2015
- [c22]Martin Schäf, Ashish Tiwari:
Severity Levels of Inconsistent Code. ATVA 2015: 97-113 - [c21]Tim McCarthy, Philipp Rümmer, Martin Schäf:
Bixie: Finding and Understanding Inconsistent Code. ICSE (2) 2015: 645-648 - [c20]Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies:
VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) 2015: 737-740 - [c19]Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf:
Finding Inconsistencies in Programs with Loops. LPAR 2015: 499-514 - [c18]Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari:
Gamifying Program Analysis. LPAR 2015: 591-605 - [c17]Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies:
Conflict-Directed Graph Coverage. NFM 2015: 327-342 - 2014
- [c16]Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. NASA Formal Methods 2014: 313-327 - [c15]Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Concolic Fault Localization. SCAM 2014: 135-144 - 2013
- [c14]Stephan Arlt, Philipp Rümmer, Martin Schäf:
A Theory for Control-Flow Graph Exploration. ATVA 2013: 506-515 - [c13]Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446 - [c12]Stephan Arlt, Philipp Rümmer, Martin Schäf:
Joogie: from Java through Jimple to Boogie. SOAP@PLDI 2013: 3-8 - [c11]Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Explaining inconsistent code. ESEC/SIGSOFT FSE 2013: 521-531 - [c10]Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies:
Flow-Sensitive Fault Localization. VMCAI 2013: 189-208 - [i3]Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf:
Monitoring Student Activity in Collaborative Software Development. CoRR abs/1305.0787 (2013) - 2012
- [j2]Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf:
Trends in Model-based GUI Testing. Adv. Comput. 86: 183-222 (2012) - [c9]Stephan Arlt, Martin Schäf:
Joogie: Infeasible Code Detection for Java. CAV 2012: 767-773 - [c8]Evren Ermis, Martin Schäf, Thomas Wies:
Error Invariants. FM 2012: 187-201 - [c7]Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon:
Lightweight Static Analysis for GUI Testing. ISSRE 2012: 301-310 - [c6]Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski:
Parameterized GUI Tests. ICTSS 2012: 247-262 - [c5]Cristiano Bertolini, Martin Schäf, Pascal Schweitzer:
Infeasible Code Detection. VSTTE 2012: 310-325 - [i2]Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf:
Grey-box GUI Testing: Efficient Generation of Event Sequences. CoRR abs/1205.4928 (2012) - [i1]Jürgen Christ, Jochen Hoenicke, Martin Schäf:
Towards Bounded Infeasible Code Detection. CoRR abs/1205.6527 (2012) - 2011
- [b1]Martin Schäf:
Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern. University of Freiburg, Germany, 2011 - [c4]Cristiano Bertolini, Martin Schäf, Volker Stolz:
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74 - [c3]Stephan Arlt, Cristiano Bertolini, Martin Schäf:
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops 2011: 222-231 - 2010
- [j1]Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
Doomed program points. Formal Methods Syst. Des. 37(2-3): 171-199 (2010) - [c2]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624
2000 – 2009
- 2009
- [c1]Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
It's Doomed; We Can Prove It. FM 2009: 338-353
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
