Martin Schaef

Cited by

	All	Since 2020
Citations	948	441
h-index	19	12
i10-index	29	15

120

20102011201220132014201520162017201820192020202120222023202420253 7 23 59 63 82 89 52 52 58 88 69 59 107 113 5

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

Stephan ArltFederal Office for Information SecurityVerified email at bsi.bund.de
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Cristiano BertoliniResearcher, Federal University of Santa MariaVerified email at cin.ufpe.br
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Huascar SanchezSr. Computer Scientist @ SRI InternationalVerified email at sri.com
Linghui LuoAmazon Web ServicesVerified email at amazon.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Atif MemonProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Cole SchlesingerResearch Engineer, Galois Inc.Verified email at schlesinger.tech
Aritra SenguptaAutomated Reasoning Group, AWS.Verified email at cse.ohio-state.edu
Omer TrippAmazonVerified email at google.com
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Martin KelloggAssistant Professor, NJITVerified email at njit.edu

Martin Schaef

Amazon Web Services

Verified email at amazon.com - Homepage

formal methods static analysis fault localization testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
JayHorn: A Framework for Verifying Java programs T Kahsai, P Rümmer, H Sanchez, M Schäf Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	114	2016
Error invariants E Ermis, M Schäf, T Wies International Symposium on Formal Methods, 187-201, 2012	83	2012
Lightweight static analysis for GUI testing S Arlt, A Podelski, C Bertolini, M Schäf, I Banerjee, AM Memon 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012	77	2012
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2013	61	2013
One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019	43	2019
Detecting similar programs via the Weisfeiler-Leman graph kernel W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer Software Reuse: Bridging with Social-Awareness: 15th International …, 2016	38	2016
It’s doomed; we can prove it J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009	29	2009
Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities J Lepiller, R Piskac, M Schäf, M Santolucito Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021	28	2021
Quantified heap invariants for object-oriented programs T Kahsai, R Kersten, P Rümmer, M Schäf LPAR-21, May 7–12, 2017, Maun, Botswana, 368-384, 2017	27	2017
Joogie: Infeasible Code Detection for Java S Arlt, M Schäf Computer Aided Verification - 24th International Conference, 767-773, 2012	27	2012
Grey-box gui testing: Efficient generation of event sequences S Arlt, I Banerjee, C Bertolini, AM Memon, M Schäf arXiv preprint arXiv:1205.4928, 2012	25	2012
Towards a formal integrated model of collaborative healthcare workflows C Bertolini, M Schäf, V Stolz Foundations of Health Informatics Engineering and Systems: First …, 2012	25	2012
Explaining inconsistent code M Schäf, D Schwartz-Narbonne, T Wies Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	24	2013
Classifying bugs with interpolants A Podelski, M Schäf, T Wies Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016	23	2016
Continuous compliance M Kellogg, M Schäf, S Tasiran, MD Ernst Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020	22	2020
The gradual verifier S Arlt, C Rubio-González, P Rümmer, M Schäf, N Shankar NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014	22	2014
Trends in model-based gui testing S Arlt, C Bertolini, S Pahl, M Schäf Advances in Computers 86, 183-222, 2012	22	2012
Behind the scenes: an approach to incorporate context in GUI test case generation S Arlt, C Bertolini, M Schäf 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011	22	2011
Doomed program points J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies Formal Methods in System Design 37, 171-199, 2010	21	2010
JayHorn: A Java Model Checker: (Competition Contribution) T Kahsai, P Rümmer, M Schäf International Conference on Tools and Algorithms for the Construction and …, 2019	17	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors