Martin Schaef

Amazon Inc. - Seattle / United States

Others

AD Scientific Index ID: 4968742

Registration, Add Profile,
Premium Membership

Print Your Certificate

Martin Schaef's MOST POPULAR ARTICLES

1-) 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 782016

2-) Error invariantsE Ermis, M Schäf, T WiesFM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012772012

3-) 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 722012

4-) Flow-sensitive fault localizationJ Christ, E Ermis, M Schäf, T WiesInternational Workshop on Verification, Model Checking, and Abstract …, 2013612013

5-) One-click formal methodsJ Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...IEEE Software 36 (6), 61-65, 2019432019

ARTICLES

Add your articles