Seguir
Martin Schaef
Martin Schaef
Amazon Web Services
Dirección de correo verificada de amazon.com - Página principal
Título
Citado por
Citado por
Año
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
1142016
Error invariants
E Ermis, M Schäf, T Wies
International Symposium on Formal Methods, 187-201, 2012
832012
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
772012
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2013
612013
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
432019
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
382016
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
292009
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
282021
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
272017
Joogie: Infeasible Code Detection for Java
S Arlt, M Schäf
Computer Aided Verification - 24th International Conference, 767-773, 2012
272012
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
252012
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
252012
Explaining inconsistent code
M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
242013
Classifying bugs with interpolants
A Podelski, M Schäf, T Wies
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016
232016
Continuous compliance
M Kellogg, M Schäf, S Tasiran, MD Ernst
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
222020
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
222014
Trends in model-based gui testing
S Arlt, C Bertolini, S Pahl, M Schäf
Advances in Computers 86, 183-222, 2012
222012
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
222011
Doomed program points
J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies
Formal Methods in System Design 37, 171-199, 2010
212010
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
172019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20