ask others

Martin Schäf

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

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

2019
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/KahsaiRS19
- ask others
- share record
  short 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 @ easychair.org
- export record
  dblp key:
  - conf/lpar/BjornerJLRS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/BjornerJLRS17
Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf:
Abduction by Non-Experts. IWIL@LPAR 2017
[c28]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/lpar/KahsaiKRS17
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigsoft/KerstenSK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigsoft/KerstenSK16
Rody Kersten, Martin Schäf, Temesghen Kahsai:
Resource Contracts for Java. ACM SIGSOFT Software Engineering Notes 41(6): 1-5 (2016)
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/KahsaiRSS16
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/FavaSOSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/FavaSOSW16
Daniel Fava, Dan Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.:
Crowdsourcing program preconditions via a classification game. ICSE 2016: 1086-1096
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icsr/LiSSSS16
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iwpc/SanchezWS16
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tap/PodelskiSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tap/PodelskiSW16
Andreas Podelski, Martin Schäf, Thomas Wies:
Classifying Bugs with Interpolants. TAP 2016: 151-168
2015
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/SchafT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/SchafT15
Martin Schäf, Ashish Tiwari:
Severity Levels of Inconsistent Code. ATVA 2015: 97-113
[c21]
- view
- export record
  dblp key:
  - conf/icse/McCarthyRS15
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/icse/Schwartz-Narbonne15
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/KahsaiNJS15
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/FavaSLST15
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/Schwartz-Narbonne15
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/ArltRRSS14
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/scam/OhSSW14
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/ArltRS13
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/ArltLS13
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pldi/ArltRS13
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/SchafSW13
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/ChristESW13
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1305-0787
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ac/ArltBPS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ac/ArltBPS12
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf:
Trends in Model-based GUI Testing. Advances in Computers 86: 183-222 (2012)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/ArltS12
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/ErmisSW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/ErmisSW12
Evren Ermis, Martin Schäf, Thomas Wies:
Error Invariants. FM 2012: 187-201
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/issre/ArltPBSBM12
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/pts/ArltBSP12
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vstte/BertoliniSS12
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1205-4928
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1205-6527
- ask others
- share record
  short 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
  - electronic edition @ uni-freiburg.de
  - electronic edition @ nbn-resolving.de
  authority control:
- export record
  dblp key:
  - phd/dnb/Schaf11
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fhies/BertoliniSS11
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/ArltBS11
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/HoenickeLPSW10
- ask others
- share record
  short 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 in System Design 37(2-3): 171-199 (2010)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/LiLSY10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/HoenickeLPSW09
- ask others
- share record
  short 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