BibTeX records: Martin Schäf

download as .bib file

@inproceedings{DBLP:conf/sigsoft/LuoSSB21,
  author    = {Linghui Luo and
               Martin Sch{\"{a}}f and
               Daniel Sanchez and
               Eric Bodden},
  title     = {{IDE} support for cloud-based static analyses},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1178--1189},
  publisher = {{ACM}},
  year      = {2021}
}
@inproceedings{DBLP:conf/sigsoft/EmmiHJPRSSV21,
  author    = {Michael Emmi and
               Liana Hadarean and
               Ranjit Jhala and
               Lee Pike and
               Nicol{\'{a}}s Rosner and
               Martin Sch{\"{a}}f and
               Aritra Sengupta and
               Willem Visser},
  title     = {{RAPID:} checking {API} usage for the cloud in the cloud},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1416--1426},
  publisher = {{ACM}},
  year      = {2021}
}
@inproceedings{DBLP:conf/tacas/LepillerPSS21,
  author    = {Julien Lepiller and
               Ruzica Piskac and
               Martin Sch{\"{a}}f and
               Mark Santolucito},
  title     = {Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities},
  booktitle = {{TACAS} {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12652},
  pages     = {105--123},
  publisher = {Springer},
  year      = {2021}
}
@inproceedings{DBLP:conf/icse/KelloggRSSE20,
  author    = {Martin Kellogg and
               Manli Ran and
               Manu Sridharan and
               Martin Sch{\"{a}}f and
               Michael D. Ernst},
  title     = {Verifying object construction},
  booktitle = {{ICSE}},
  pages     = {1447--1458},
  publisher = {{ACM}},
  year      = {2020}
}
@inproceedings{DBLP:conf/kbse/KelloggSTE20,
  author    = {Martin Kellogg and
               Martin Sch{\"{a}}f and
               Serdar Tasiran and
               Michael D. Ernst},
  title     = {Continuous Compliance},
  booktitle = {{ASE}},
  pages     = {511--523},
  publisher = {{IEEE}},
  year      = {2020}
}
@article{DBLP:journals/software/BackesBCGLRSSTV19,
  author    = {John Backes and
               Pauline Bolignano and
               Byron Cook and
               Andrew Gacek and
               Kasper S{\o}e Luckow and
               Neha Rungta and
               Martin Sch{\"{a}}f and
               Cole Schlesinger and
               Rima Tanash and
               Carsten Varming and
               Michael W. Whalen},
  title     = {One-Click Formal Methods},
  journal   = {{IEEE} Softw.},
  volume    = {36},
  number    = {6},
  pages     = {61--65},
  year      = {2019}
}
@inproceedings{DBLP:conf/tacas/KahsaiRS19,
  author    = {Temesghen Kahsai and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {JayHorn: {A} Java Model Checker - (Competition Contribution)},
  booktitle = {{TACAS} {(3)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11429},
  pages     = {214--218},
  publisher = {Springer},
  year      = {2019}
}
@inproceedings{DBLP:conf/lpar/BjornerJLRS17,
  author    = {Nikolaj Bj{\o}rner and
               Dejan Jovanovic and
               Tancr{\`{e}}de Lepoint and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {Abduction by Non-Experts},
  booktitle = {{LPAR} (Short Presentations)},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  pages     = {58--72},
  publisher = {EasyChair},
  year      = {2017}
}
@inproceedings{DBLP:conf/lpar/KahsaiKRS17,
  author    = {Temesghen Kahsai and
               Rody Kersten and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {Quantified Heap Invariants for Object-Oriented Programs},
  booktitle = {{LPAR}},
  series    = {EPiC Series in Computing},
  volume    = {46},
  pages     = {368--384},
  publisher = {EasyChair},
  year      = {2017}
}
@article{DBLP:journals/sigsoft/KerstenSK16,
  author    = {Rody Kersten and
               Martin Sch{\"{a}}f and
               Temesghen Kahsai},
  title     = {Resource Contracts for Java},
  journal   = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume    = {41},
  number    = {6},
  pages     = {1--5},
  year      = {2016}
}
@inproceedings{DBLP:conf/cav/KahsaiRSS16,
  author    = {Temesghen Kahsai and
               Philipp R{\"{u}}mmer and
               Huascar Sanchez and
               Martin Sch{\"{a}}f},
  title     = {JayHorn: {A} Framework for Verifying Java programs},
  booktitle = {{CAV} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9779},
  pages     = {352--358},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/icse/FavaSOSW16,
  author    = {Daniel Fava and
               Daniel G. Shapiro and
               Joseph C. Osborn and
               Martin Sch{\"{a}}f and
               E. James Whitehead Jr.},
  title     = {Crowdsourcing program preconditions via a classification game},
  booktitle = {{ICSE}},
  pages     = {1086--1096},
  publisher = {{ACM}},
  year      = {2016}
}
@inproceedings{DBLP:conf/icsr/LiSSSS16,
  author    = {Wenchao Li and
               Hossein Saidi and
               Huascar Sanchez and
               Martin Sch{\"{a}}f and
               Pascal Schweitzer},
  title     = {Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel},
  booktitle = {{ICSR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9679},
  pages     = {315--330},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/iwpc/SanchezWS16,
  author    = {Huascar Sanchez and
               Jim Whitehead and
               Martin Sch{\"{a}}f},
  title     = {Multistaging to understand: Distilling the essence of java code examples},
  booktitle = {{ICPC}},
  pages     = {1--10},
  publisher = {{IEEE} Computer Society},
  year      = {2016}
}
@inproceedings{DBLP:conf/tap/PodelskiSW16,
  author    = {Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Classifying Bugs with Interpolants},
  booktitle = {TAP@STAF},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {151--168},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/atva/SchafT15,
  author    = {Martin Sch{\"{a}}f and
               Ashish Tiwari},
  title     = {Severity Levels of Inconsistent Code},
  booktitle = {{ATVA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9364},
  pages     = {97--113},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/icse/McCarthyRS15,
  author    = {Tim McCarthy and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {Bixie: Finding and Understanding Inconsistent Code},
  booktitle = {{ICSE} {(2)}},
  pages     = {645--648},
  publisher = {{IEEE} Computer Society},
  year      = {2015}
}
@inproceedings{DBLP:conf/icse/Schwartz-Narbonne15,
  author    = {Daniel Schwartz{-}Narbonne and
               Chanseok Oh and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {{VERMEER:} {A} Tool for Tracing and Explaining Faulty {C} Programs},
  booktitle = {{ICSE} {(2)}},
  pages     = {737--740},
  publisher = {{IEEE} Computer Society},
  year      = {2015}
}
@inproceedings{DBLP:conf/lpar/KahsaiNJS15,
  author    = {Temesghen Kahsai and
               Jorge A. Navas and
               Dejan Jovanovic and
               Martin Sch{\"{a}}f},
  title     = {Finding Inconsistencies in Programs with Loops},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  pages     = {499--514},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/lpar/FavaSLST15,
  author    = {Daniel Fava and
               Julien Signoles and
               Matthieu Lemerre and
               Martin Sch{\"{a}}f and
               Ashish Tiwari},
  title     = {Gamifying Program Analysis},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  pages     = {591--605},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/nfm/Schwartz-Narbonne15,
  author    = {Daniel Schwartz{-}Narbonne and
               Martin Sch{\"{a}}f and
               Dejan Jovanovic and
               Philipp R{\"{u}}mmer and
               Thomas Wies},
  title     = {Conflict-Directed Graph Coverage},
  booktitle = {{NFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9058},
  pages     = {327--342},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/nfm/ArltRRSS14,
  author    = {Stephan Arlt and
               Cindy Rubio{-}Gonz{\'{a}}lez and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f and
               Natarajan Shankar},
  title     = {The Gradual Verifier},
  booktitle = {{NASA} Formal Methods},
  series    = {Lecture Notes in Computer Science},
  volume    = {8430},
  pages     = {313--327},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/scam/OhSSW14,
  author    = {Chanseok Oh and
               Martin Sch{\"{a}}f and
               Daniel Schwartz{-}Narbonne and
               Thomas Wies},
  title     = {Concolic Fault Localization},
  booktitle = {{SCAM}},
  pages     = {135--144},
  publisher = {{IEEE} Computer Society},
  year      = {2014}
}
@inproceedings{DBLP:conf/atva/ArltRS13,
  author    = {Stephan Arlt and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {A Theory for Control-Flow Graph Exploration},
  booktitle = {{ATVA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8172},
  pages     = {506--515},
  publisher = {Springer},
  year      = {2013}
}
@inproceedings{DBLP:conf/icfem/ArltLS13,
  author    = {Stephan Arlt and
               Zhiming Liu and
               Martin Sch{\"{a}}f},
  title     = {Reconstructing Paths for Reachable Code},
  booktitle = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8144},
  pages     = {431--446},
  publisher = {Springer},
  year      = {2013}
}
@inproceedings{DBLP:conf/pldi/ArltRS13,
  author    = {Stephan Arlt and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {Joogie: from Java through Jimple to Boogie},
  booktitle = {SOAP@PLDI},
  pages     = {3--8},
  publisher = {{ACM}},
  year      = {2013}
}
@inproceedings{DBLP:conf/sigsoft/SchafSW13,
  author    = {Martin Sch{\"{a}}f and
               Daniel Schwartz{-}Narbonne and
               Thomas Wies},
  title     = {Explaining inconsistent code},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {521--531},
  publisher = {{ACM}},
  year      = {2013}
}
@inproceedings{DBLP:conf/vmcai/ChristESW13,
  author    = {J{\"{u}}rgen Christ and
               Evren Ermis and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Flow-Sensitive Fault Localization},
  booktitle = {{VMCAI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7737},
  pages     = {189--208},
  publisher = {Springer},
  year      = {2013}
}
@article{DBLP:journals/corr/abs-1305-0787,
  author    = {Daniel Dietsch and
               Andreas Podelski and
               Jaechang Nam and
               Pantelis M. Papadopoulos and
               Martin Sch{\"{a}}f},
  title     = {Monitoring Student Activity in Collaborative Software Development},
  journal   = {CoRR},
  volume    = {abs/1305.0787},
  year      = {2013}
}
@article{DBLP:journals/ac/ArltBPS12,
  author    = {Stephan Arlt and
               Cristiano Bertolini and
               Simon Pahl and
               Martin Sch{\"{a}}f},
  title     = {Trends in Model-based {GUI} Testing},
  journal   = {Adv. Comput.},
  volume    = {86},
  pages     = {183--222},
  year      = {2012}
}
@inproceedings{DBLP:conf/cav/ArltS12,
  author    = {Stephan Arlt and
               Martin Sch{\"{a}}f},
  title     = {Joogie: Infeasible Code Detection for Java},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  pages     = {767--773},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/fm/ErmisSW12,
  author    = {Evren Ermis and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Error Invariants},
  booktitle = {{FM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7436},
  pages     = {187--201},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/issre/ArltPBSBM12,
  author    = {Stephan Arlt and
               Andreas Podelski and
               Cristiano Bertolini and
               Martin Sch{\"{a}}f and
               Ishan Banerjee and
               Atif M. Memon},
  title     = {Lightweight Static Analysis for {GUI} Testing},
  booktitle = {{ISSRE}},
  pages     = {301--310},
  publisher = {{IEEE} Computer Society},
  year      = {2012}
}
@inproceedings{DBLP:conf/pts/ArltBSP12,
  author    = {Stephan Arlt and
               Pedro Borromeo and
               Martin Sch{\"{a}}f and
               Andreas Podelski},
  title     = {Parameterized {GUI} Tests},
  booktitle = {{ICTSS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7641},
  pages     = {247--262},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/vstte/BertoliniSS12,
  author    = {Cristiano Bertolini and
               Martin Sch{\"{a}}f and
               Pascal Schweitzer},
  title     = {Infeasible Code Detection},
  booktitle = {{VSTTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7152},
  pages     = {310--325},
  publisher = {Springer},
  year      = {2012}
}
@article{DBLP:journals/corr/abs-1205-4928,
  author    = {Stephan Arlt and
               Ishan Banerjee and
               Cristiano Bertolini and
               Atif M. Memon and
               Martin Sch{\"{a}}f},
  title     = {Grey-box {GUI} Testing: Efficient Generation of Event Sequences},
  journal   = {CoRR},
  volume    = {abs/1205.4928},
  year      = {2012}
}
@article{DBLP:journals/corr/abs-1205-6527,
  author    = {J{\"{u}}rgen Christ and
               Jochen Hoenicke and
               Martin Sch{\"{a}}f},
  title     = {Towards Bounded Infeasible Code Detection},
  journal   = {CoRR},
  volume    = {abs/1205.6527},
  year      = {2012}
}
@phdthesis{DBLP:phd/dnb/Schaf11,
  author    = {Martin Sch{\"{a}}f},
  title     = {Static detection of inevitable errors = Statische Erkennung von unvermeidbaren
               Fehlern},
  school    = {University of Freiburg, Germany},
  year      = {2011}
}
@inproceedings{DBLP:conf/fhies/BertoliniSS11,
  author    = {Cristiano Bertolini and
               Martin Sch{\"{a}}f and
               Volker Stolz},
  title     = {Towards a Formal Integrated Model of Collaborative Healthcare Workflows},
  booktitle = {{FHIES}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7151},
  pages     = {57--74},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/icst/ArltBS11,
  author    = {Stephan Arlt and
               Cristiano Bertolini and
               Martin Sch{\"{a}}f},
  title     = {Behind the Scenes: An Approach to Incorporate Context in {GUI} Test
               Case Generation},
  booktitle = {{ICST} Workshops},
  pages     = {222--231},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
@article{DBLP:journals/fmsd/HoenickeLPSW10,
  author    = {Jochen Hoenicke and
               K. Rustan M. Leino and
               Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Doomed program points},
  journal   = {Formal Methods Syst. Des.},
  volume    = {37},
  number    = {2-3},
  pages     = {171--199},
  year      = {2010}
}
@inproceedings{DBLP:conf/isola/LiLSY10,
  author    = {Xiaoshan Li and
               Zhiming Liu and
               Martin Sch{\"{a}}f and
               Ling Yin},
  title     = {AutoPA: Automatic Prototyping from Requirements},
  booktitle = {ISoLA {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6415},
  pages     = {609--624},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
  author    = {Jochen Hoenicke and
               K. Rustan M. Leino and
               Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {It's Doomed; We Can Prove It},
  booktitle = {{FM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  pages     = {338--353},
  publisher = {Springer},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics