Statistics
Publications
4
Citations
289
H-Index
4
Active since
2000
Mike Lowry is an author at Ames Research Center specializing in verification, computer science, and model checking.
Publications per year
2000–2009
4
4
Combining test case generation and runtime verification
Cyrille Artho, Howard Barringer, Allen Goldberg et al. · Theoretical Computer Science · 2004 · 91 citations
Formal Analysis of the Remote Agent Before and After Flight
Klaus Havelund, Mike Lowry, Seungjoon Park et al. · 2000 · 74 citations
Model Based Analysis and Test Generation for Flight Software
Corina S. Păsăreanu, Johann Schumann, Peter Mehlitz et al. · 2009 · 39 citations · Full text
1–4 of 4