Martin Schaef

Cited by

	All	Since 2018
Citations	738	341
h-index	17	10
i10-index	24	10

201020112012201320142015201620172018201920202021202220233 7 22 60 64 86 89 49 55 57 87 72 64 6

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stephan ArltAlbert-Ludwigs-Universität FreiburgVerified email at informatik.uni-freiburg.de
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Cristiano BertoliniResearcher, Federal University of PernambucoVerified 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 SanchezComputer Scientist @ SRI InternationalVerified email at sri.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
Atif MemonProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
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
Linghui LuoAmazon Web ServicesVerified email at amazon.com
Jim WhiteheadProfessor of Computer Science, University of California, Santa CruzVerified email at cs.ucsc.edu
Daniel FavaUniversity of Oslo, NorwayVerified email at ifi.uio.no
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com

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	77	2016
Error invariants E Ermis, M Schäf, T Wies FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012	75	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	72	2012
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	56	2013
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	32	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	26	2009
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
One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019	24	2019
Joogie: Infeasible Code Detection for Java S Arlt, M Schäf Computer Aided Verification - 24th International Conference, 767-773, 2012	24	2012
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	23	2014
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	21	2012
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
Explaining inconsistent code M Schäf, D Schwartz-Narbonne, T Wies Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	20	2013
Trends in model-based gui testing S Arlt, C Bertolini, S Pahl, M Schäf Advances in Computers 86, 183-222, 2012	20	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	19	2011
Classifying bugs with interpolants A Podelski, M Schäf, T Wies Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016	18	2016
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	17	2017
JayHorn: A Java Model Checker: (Competition Contribution) T Kahsai, P Rümmer, M Schäf Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019	15	2019
Joogie: From java through jimple to boogie S Arlt, P Rümmer, M Schäf Proceedings of the 2Nd ACM SIGPLAN International Workshop on State Of the …, 2013	13	2013
Crowdsourcing program preconditions via a classification game D Fava, D Shapiro, J Osborn, M Schäef, EJ Whitehead Jr Proceedings of the 38th International Conference on Software Engineering …, 2016	12	2016

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