Martin Schäf - RankMe

51 papers A* 5A 3B 10C 3Journal 7Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	On the Pursuit of Insight and Elegance - Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday On the Pursuit of Insight and Elegance Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies
2025	—	`conf`	Safe Validation of Pricing Agreements. SEIP@ICSE John C. Kolesar, Tancrède Lepoint, Martin Schäf, Willem Visser
2024	—	`conf`	Inference for Ever-Changing Policy of Taint Analysis. ICSE-SEIP Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schäf, Yingjun Lyu, Hoan Nguyen, Omer Tripp
2024	A*	`conf`	Understanding Developer-Analyzer Interactions in Code Reviews. ASE Martin Schäf, Berk Çirisci, Linghui Luo, Muhammad Numair Mansur, Omer Tripp, Daniel Sanchez, Qiang Zhou, Muhammad Bilal Zafar
2023	—	`conf`	Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez
2023	A	`conf`	Model Generation For Java Frameworks. ICST Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf
2023	B	`conf`	Shifting Left for Early Detection of Machine-Learning Bugs. FM Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
2022	—	`conf`	Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2021	—	`conf`	Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
2021	—	`conf`	IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden
2021	—	`conf`	RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2020	A*	`conf`	Continuous Compliance. ASE Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
2020	A*	`conf`	Verifying object construction. ICSE Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
2019	—	`conf`	JayHorn: A Java Model Checker - (Competition Contribution). TACAS (3) Temesghen Kahsai, Philipp Rümmer, Martin Schäf
2019	J	`jnl`	One-Click Formal Methods. IEEE Softw. John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima S. Tanash, Carsten Varming, Michael W. Whalen
2017	—	`conf`	Abduction by Non-Experts. LPAR (Short Presentations) Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
2017	B	`conf`	Quantified Heap Invariants for Object-Oriented Programs. LPAR Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf
2016	—	`conf`	Classifying Bugs with Interpolants. TAP@STAF Andreas Podelski, Martin Schäf, Thomas Wies
2016	A*	`conf`	Crowdsourcing program preconditions via a classification game. ICSE Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.
2016	B	`conf`	Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer
2016	—	`conf`	JayHorn: A Framework for Verifying Java programs. CAV (1) Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
2016	A	`conf`	Multistaging to understand: Distilling the essence of java code examples. ICPC Huascar Sanchez, Jim Whitehead, Martin Schäf
2016	J	`jnl`	Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes Rody Kersten, Martin Schäf, Temesghen Kahsai
2015	—	`conf`	Bixie: Finding and Understanding Inconsistent Code. ICSE (2) Tim McCarthy, Philipp Rümmer, Martin Schäf
2015	—	`conf`	Conflict-Directed Graph Coverage. NFM Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
2015	B	`conf`	Finding Inconsistencies in Programs with Loops. LPAR Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf
2015	B	`conf`	Gamifying Program Analysis. LPAR Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
2015	B	`conf`	Severity Levels of Inconsistent Code. ATVA Martin Schäf, Ashish Tiwari
2015	—	`conf`	VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies
2014	C	`conf`	Concolic Fault Localization. SCAM Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
2014	—	`conf`	The Gradual Verifier. NASA Formal Methods Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
2013	B	`conf`	A Theory for Control-Flow Graph Exploration. ATVA Stephan Arlt, Philipp Rümmer, Martin Schäf
2013	—	`conf`	Explaining inconsistent code. ESEC/SIGSOFT FSE Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
2013	B	`conf`	Flow-Sensitive Fault Localization. VMCAI Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
2013	—	`conf`	Joogie: from Java through Jimple to Boogie. SOAP@PLDI Stephan Arlt, Philipp Rümmer, Martin Schäf
2013	J	`jnl`	Monitoring Student Activity in Collaborative Software Development CoRR Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf
2013	C	`conf`	Reconstructing Paths for Reachable Code. ICFEM Stephan Arlt, Zhiming Liu, Martin Schäf
2012	B	`conf`	Error Invariants. FM Evren Ermis, Martin Schäf, Thomas Wies
2012	J	`jnl`	Grey-box GUI Testing: Efficient Generation of Event Sequences CoRR Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf
2012	—	`conf`	Infeasible Code Detection. VSTTE Cristiano Bertolini, Martin Schäf, Pascal Schweitzer
2012	A*	`conf`	Joogie: Infeasible Code Detection for Java. CAV Stephan Arlt, Martin Schäf
2012	A	`conf`	Lightweight Static Analysis for GUI Testing. ISSRE Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon
2012	C	`conf`	Parameterized GUI Tests. ICTSS Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski
2012	J	`jnl`	Towards Bounded Infeasible Code Detection CoRR Jürgen Christ, Jochen Hoenicke, Martin Schäf
2012	J	`jnl`	Trends in Model-based GUI Testing. Adv. Comput. Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf
2011	—	`conf`	Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops Stephan Arlt, Cristiano Bertolini, Martin Schäf
2011	—	`—`	Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern. Martin Schäf
2011	—	`conf`	Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES Cristiano Bertolini, Martin Schäf, Volker Stolz
2010	—	`conf`	AutoPA: Automatic Prototyping from Requirements. ISoLA (1) Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
2010	J	`jnl`	Doomed program points. Formal Methods Syst. Des. Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
2009	B	`conf`	It's Doomed; We Can Prove It. FM Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies