 | 2009 |
|---|
| 14 |       | Steven P. Miller:
Bridging the Gap Between Model-Based Development and Model Checking.
TACAS 2009: 443-453 |
| 2008 |
|---|
| 13 | | Steven P. Miller:
Formal Methods for Critical Systems.
FMICS 2008: 1 |
| 12 | | Steven P. Miller:
Will This Be Formal?
TPHOLs 2008: 6-11 |
| 2007 |
|---|
| 11 | | 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 |
|---|
| 10 | | Michael W. Whalen,
Ajitha Rajan,
Mats Per Erik Heimdahl,
Steven P. Miller:
Coverage metrics for requirements-based testing.
ISSTA 2006: 25-36 |
| 9 | | Steven P. Miller:
Proving the Shalls: Requirements, Proofs, and Model-Based Development.
RE 2006: 261 |
| 8 | | Steven P. Miller,
Alan C. Tribble,
Michael W. Whalen,
Mats Per Erik Heimdahl:
Proving the shalls.
STTT 8(4-5): 303-319 (2006) |
| 2004 |
|---|
| 7 |  | Steven P. Miller:
Early validation of requirements.
IFIP Congress Topical Sessions 2004: 521-526 |
| 2003 |
|---|
| 6 | | Steven P. Miller,
Alan C. Tribble,
Mats Per Erik Heimdahl:
Proving the Shalls.
FME 2003: 75-93 |
| 1999 |
|---|
| 5 | | Jeffrey M. Thompson,
Mats Per Erik Heimdahl,
Steven P. Miller:
Specification-Based Prototyping for Embedded Systems.
ESEC / SIGSOFT FSE 1999: 163-179 |
| 1998 |
|---|
| 4 | | Steven P. Miller:
Specifying the mode logic of a flight guidance system in CoRE and SCR.
FMSP 1998: 44-53 |
| 3 | | Patrice Godefroid,
John Kelly,
Steven P. Miller,
Frank Weil:
Transferring Formal Methods Technology to Industry.
WIFT 1998: 128- |
| 1996 |
|---|
| 2 | | 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) |
| 1986 |
|---|
| 1 | | Robert J. Souza,
Steven P. Miller:
UNIX and Remote Procedure Calls: A Peaceful Coexistence?
ICDCS 1986: 268-277 |
