default search action

combined dblp search
author search
venue search
publication search

ask others

Martin Schäf

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChiangLZBSLNT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChiangLZBSLNT24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LiblitLMMPPSTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LiblitLMMPPSTV23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LuoMTSZS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LuoMTSZS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LuoPKDBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LuoPKDBS23
Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf:
Model Generation For Java Frameworks. ICST 2023: 165-175
2022
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChristakisCFLMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChristakisCFLMP22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LuoSSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LuoSSB21
Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden:
IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE 2021: 1178-1189
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/EmmiHJPRSSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/EmmiHJPRSSV21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LepillerPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LepillerPSS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KelloggRSSE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KelloggRSSE20
Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst:
Verifying object construction. ICSE 2020: 1447-1458
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KelloggSTE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KelloggSTE20
Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst:
Continuous Compliance. ASE 2020: 511-523

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BackesBCGLRSSTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BackesBCGLRSSTV19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KahsaiRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KahsaiRS19
Temesghen Kahsai, Philipp Rümmer, Martin Schäf:
JayHorn: A Java Model Checker - (Competition Contribution). TACAS (3) 2019: 214-218
2017
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BjornerJLRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BjornerJLRS17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/KahsaiKRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KahsaiKRS17
Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf:
Quantified Heap Invariants for Object-Oriented Programs. LPAR 2017: 368-384
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/KerstenSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/KerstenSK16
Rody Kersten, Martin Schäf, Temesghen Kahsai:
Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KahsaiRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KahsaiRSS16
Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf:
JayHorn: A Framework for Verifying Java programs. CAV (1) 2016: 352-358
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FavaSOSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FavaSOSW16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/LiSSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/LiSSSS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/SanchezWS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/SanchezWS16
Huascar Sanchez, Jim Whitehead, Martin Schäf:
Multistaging to understand: Distilling the essence of java code examples. ICPC 2016: 1-10
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PodelskiSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PodelskiSW16
Andreas Podelski, Martin Schäf, Thomas Wies:
Classifying Bugs with Interpolants. TAP@STAF 2016: 151-168
2015
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SchafT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SchafT15
Martin Schäf, Ashish Tiwari:
Severity Levels of Inconsistent Code. ATVA 2015: 97-113
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/McCarthyRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/McCarthyRS15
Tim McCarthy, Philipp Rümmer, Martin Schäf:
Bixie: Finding and Understanding Inconsistent Code. ICSE (2) 2015: 645-648
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Schwartz-Narbonne15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Schwartz-Narbonne15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KahsaiNJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KahsaiNJS15
Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf:
Finding Inconsistencies in Programs with Loops. LPAR 2015: 499-514
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/FavaSLST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/FavaSLST15
Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari:
Gamifying Program Analysis. LPAR 2015: 591-605
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Schwartz-Narbonne15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Schwartz-Narbonne15
Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies:
Conflict-Directed Graph Coverage. NFM 2015: 327-342
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ArltRRSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ArltRRSS14
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. NASA Formal Methods 2014: 313-327
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/OhSSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/OhSSW14
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Concolic Fault Localization. SCAM 2014: 135-144
2013
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ArltRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ArltRS13
Stephan Arlt, Philipp Rümmer, Martin Schäf:
A Theory for Control-Flow Graph Exploration. ATVA 2013: 506-515
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ArltLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ArltLS13
Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ArltRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ArltRS13
Stephan Arlt, Philipp Rümmer, Martin Schäf:
Joogie: from Java through Jimple to Boogie. SOAP@PLDI 2013: 3-8
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SchafSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SchafSW13
Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Explaining inconsistent code. ESEC/SIGSOFT FSE 2013: 521-531
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChristESW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChristESW13
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies:
Flow-Sensitive Fault Localization. VMCAI 2013: 189-208
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1305-0787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-0787
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/ArltBPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/ArltBPS12
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf:
Trends in Model-based GUI Testing. Adv. Comput. 86: 183-222 (2012)
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ArltS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ArltS12
Stephan Arlt, Martin Schäf:
Joogie: Infeasible Code Detection for Java. CAV 2012: 767-773
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ErmisSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ErmisSW12
Evren Ermis, Martin Schäf, Thomas Wies:
Error Invariants. FM 2012: 187-201
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ArltPBSBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ArltPBSBM12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/ArltBSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArltBSP12
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski:
Parameterized GUI Tests. ICTSS 2012: 247-262
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BertoliniSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BertoliniSS12
Cristiano Bertolini, Martin Schäf, Pascal Schweitzer:
Infeasible Code Detection. VSTTE 2012: 310-325
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1205-4928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-4928
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1205-6527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-6527
Jürgen Christ, Jochen Hoenicke, Martin Schäf:
Towards Bounded Infeasible Code Detection. CoRR abs/1205.6527 (2012)
2011
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Schaf11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Schaf11
Martin Schäf:
Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern. University of Freiburg, Germany, 2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/BertoliniSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/BertoliniSS11
Cristiano Bertolini, Martin Schäf, Volker Stolz:
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArltBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArltBS11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HoenickeLPSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HoenickeLPSW10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LiLSY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LiLSY10
Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HoenickeLPSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HoenickeLPSW09
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

see FAQ

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.