Steven P. Miller
Publication Activity (10 Years)
Years Active: 1986-2019
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Brian G. Booth, Steven P. Miller, Colin J. Brown, Kenneth J. Poskitt, Vann Chau, Ruth E. Grunau, Anne R. Synnes, Ghassan Hamarneh
- Amanmeet Garg, Ruth E. Grunau, Karteek Popuri, Steven P. Miller, Bruce Bjornson, Kenneth J. Poskitt, Mirza Faisal Beg
- John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen
- John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
- Darren D. Cofer, Steven P. Miller
- Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha
- Steven P. Miller, Michael W. Whalen, Darren D. Cofer
- Steven P. Miller
- Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
- Steven P. Miller
- Darren D. Cofer, Michael W. Whalen, Steven P. MillerModel-Checking of Safety-Critical Software for Avionics. ERCIM News 2008 (75) (2008)
- Steven P. Miller
- Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl
- Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
- Steven P. Miller
- Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
- Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
- Steven P. Miller
- Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil
- John Joseph Chilenski, Steven P. Miller
- Robert J. Souza, Steven P. Miller