Concepedia

M. Lowry

ML

4

Publications

266

Citations

4

H-Index

2001

Active since

Affiliations

Ames Research Center(Current)

M. Lowry is an author at Ames Research Center specializing in engineering, systems engineering, and verification.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSpace EngineeringFormal VerificationComputer Engineering

Publications per year

2001–2005

4

Publications

4

Formal analysis of a space-craft controller using SPIN

Klaus Havelund, M. Lowry, John Penix · IEEE Transactions on Software Engineering · 2001 · 178 citations

Engineering, Verification, Software Engineering +20

Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software

Stephen A. Jacklin, Johann Schumann, Pramod Gupta et al. · AIAA Guidance, Navigation, and Control Conference and Exhibit · 2004 · 40 citations

Engineering, Verification, Model Checking +17

Towards a theory for integration of mathematical verification and empirical testing

M. Lowry, Mark Boyd, D. Kulkami · 2002 · 35 citations

Software Maintenance, Nasa Software System, Software Reliability Testing +30

ASSESSING THE BENEFITS OF TRAVELER AND TRANSPORTATION INFORMATION SYSTEMS

Taryn Kristof, M. Lowry, G S Rutherford · 2005 · 13 citations

Engineering, Travel Behavior, Operations Research +18

Rows per page

1–4 of 4