The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steven P. Miller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.105secs, Finished in 0.105secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002