Martin Schaef

Dikutip oleh

	Semua	Sejak 2020
Kutipan	960	448
indeks-h	19	12
indeks-i10	29	15

120

20102011201220132014201520162017201820192020202120222023202420253 8 25 57 67 84 89 50 51 56 87 69 60 105 114 13

Akses publik

Lihat semua

10 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Stephan ArltFederal Office for Information SecurityEmail yang diverifikasi di bsi.bund.de
Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail yang diverifikasi di ur.de
Thomas WiesNew York UniversityEmail yang diverifikasi di cs.nyu.edu
Cristiano BertoliniResearcher, Federal University of Santa MariaEmail yang diverifikasi di cin.ufpe.br
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail yang diverifikasi di informatik.uni-freiburg.de
Temesghen KahsaiPrincipal Applied Scientist @ AmazonEmail yang diverifikasi di amazon.com
Huascar SanchezSr. Computer Scientist @ SRI InternationalEmail yang diverifikasi di sri.com
Linghui LuoAmazon Web ServicesEmail yang diverifikasi di amazon.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail yang diverifikasi di amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityEmail yang diverifikasi di cs.sun.ac.za
Atif MemonProfessor of Computer Science, University of MarylandEmail yang diverifikasi di cs.umd.edu
Neha RungtaAmazon Web ServicesEmail yang diverifikasi di amazon.com
Omer TrippAmazonEmail yang diverifikasi di google.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaEmail yang diverifikasi di cs.umn.edu
Andrew GacekAmazon Web ServiceEmail yang diverifikasi di amazon.com
Byron CookProfessor of Computer Science, UCL, AmazonEmail yang diverifikasi di cs.ucl.ac.uk
Cole SchlesingerResearch Engineer, Galois Inc.Email yang diverifikasi di schlesinger.tech
Aritra SenguptaAutomated Reasoning Group, AWS.Email yang diverifikasi di cse.ohio-state.edu
Lee PikeLogothetica LLCEmail yang diverifikasi di logothetica.com
Martin KelloggAssistant Professor, NJITEmail yang diverifikasi di njit.edu

Ikuti

Martin Schaef

Amazon Web Services

Email yang diverifikasi di amazon.com - Beranda

formal methods static analysis fault localization testing


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	118	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	76	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	42	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	39	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	30	2009
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	28	2017
Joogie: Infeasible Code Detection for Java S Arlt, M Schäf Computer Aided Verification - 24th International Conference, 767-773, 2012	27	2012
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	26	2021
Towards a formal integrated model of collaborative healthcare workflows C Bertolini, M Schäf, V Stolz International Symposium on Foundations of Health Informatics Engineering and …, 2011	26	2011
Explaining inconsistent code M Schäf, D Schwartz-Narbonne, T Wies Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	25	2013
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
Continuous compliance M Kellogg, M Schäf, S Tasiran, MD Ernst Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020	24	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	23	2014
Classifying bugs with interpolants A Podelski, M Schäf, T Wies International Conference on Tests and Proofs, 151-168, 2016	22	2016
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	21	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	18	2019

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama