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 – 2019

see FAQ

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

2019
[j4]
- view
- 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
- 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 @ easychair.org
  - no references & citations available
- export record
  dblp key:
  - conf/lpar/BjornerJLRS17
- ask others
- share record
  persistent 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
  - no references & citations available
- 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
- 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 Software Engineering Notes 41(6): 1-5 (2016)
[c27]
- view
- 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
- export record
  dblp key:
  - conf/icse/FavaSOSW16
- ask others
- share record
  persistent 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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)
  - no references & citations available
- 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
- 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
- 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
- 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
- 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
- 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
- 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)
  - no references & citations available
- 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)
  - no references & citations available
- 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
- 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
- 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
- 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
- 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
- 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.