Search the dblp DataBase

Publications of Author

1. Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
   Specification-Based Prototyping for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 1999, pp:163-179 [Conf]
   
2. Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
   Proving the Shalls. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:75-93 [Conf]
   
3. Steven P. Miller
   Specifying the mode logic of a flight guidance system in CoRE and SCR. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:44-53 [Conf]
   
4. Robert J. Souza, Steven P. Miller
   UNIX and Remote Procedure Calls: A Peaceful Coexistence? [Citation Graph (0, 0)][DBLP]
   ICDCS, 1986, pp:268-277 [Conf]
   
5. Steven P. Miller
   Early validation of requirements. [Citation Graph (0, 0)][DBLP]
   IFIP Congress Topical Sessions, 2004, pp:521-526 [Conf]
   
6. Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
   Coverage metrics for requirements-based testing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:25-36 [Conf]
   
7. Steven P. Miller
   Proving the Shalls: Requirements, Proofs, and Model-Based Development. [Citation Graph (0, 0)][DBLP]
   RE, 2006, pp:261- [Conf]
   
8. Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil
   Transferring Formal Methods Technology to Industry. [Citation Graph (0, 0)][DBLP]
   WIFT, 1998, pp:128-0 [Conf]
   
9. Mandayam K. Srivas, Steven P. Miller
   Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1996, v:8, n:2, pp:153-188 [Journal]
   
10. Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats P. E. Heimdahl
    Proving the shalls. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:303-319 [Journal]
    
11. 
    A Formal Architecture Pattern for Real-Time Distributed Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    Bridging the Gap Between Model-Based Development and Model Checking. [Citation Graph (, )][DBLP]
    
    
13. 
    Will This Be Formal? [Citation Graph (, )][DBLP]
    
    
14. 
    Integration of Formal Analysis into a Model-Based Software Development Process. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Methods for Critical Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Software model checking takes off. [Citation Graph (, )][DBLP]