Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Steven P. Miller
2010 – today
- 2012
[c14]Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha: Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140- 2011
- [j5]Sam M. Doesburg, Urs Ribary, Anthony T. Herdman, Steven P. Miller, Kenneth J. Poskitt, Alexander Moiseev, Michael F. Whitfield, Anne Synnes, Ruth E. Grunau: Altered long-range alpha-band synchronization during visual short-term memory retention in children born very preterm. NeuroImage 54(3): 2330-2339 (2011)
- 2010
- [j4]Steven P. Miller, Michael W. Whalen, Darren D. Cofer: Software model checking takes off. Commun. ACM 53(2): 58-64 (2010)
2000 – 2009
- 2009
- [c13]Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer: A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS 2009: 161-170
- [c12]Steven P. Miller: Bridging the Gap Between Model-Based Development and Model Checking. TACAS 2009: 443-453
- 2008
- [j3]Darren D. Cofer, Michael W. Whalen, Steven P. Miller: Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008(75) (2008)
- [c11]
- [c10]
- 2007
- [c9]Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm: Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84
- 2006
- [j2]Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl: Proving the shalls. STTT 8(4-5): 303-319 (2006)
- [c8]Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller: Coverage metrics for requirements-based testing. ISSTA 2006: 25-36
- [c7]Steven P. Miller: Proving the Shalls: Requirements, Proofs, and Model-Based Development. RE 2006: 261
- 2004
- [c6]
- 2003
- [c5]
1990 – 1999
- 1999
- [c4]Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller: Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE 1999: 163-179
- 1998
- [c3]Steven P. Miller: Specifying the mode logic of a flight guidance system in CoRE and SCR. FMSP 1998: 44-53
- [c2]Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil: Transferring Formal Methods Technology to Industry. WIFT 1998: 128-
- 1996
- [j1]Mandayam K. Srivas, Steven P. Miller: Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. Formal Methods in System Design 8(2): 153-188 (1996)
1980 – 1989
- 1986
- [c1]Robert J. Souza, Steven P. Miller: UNIX and Remote Procedure Calls: A Peaceful Coexistence? ICDCS 1986: 268-277
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-24 21:46 CET by the dblp team