The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael W. Whalen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael W. Whalen, Johann Schumann, Bernd Fischer
    AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:290-294 [Conf]
  2. Mats Per Erik Heimdahl, Michael W. Whalen
    Reduction and Slicing of Hierarchical State Machines. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:450-467 [Conf]
  3. Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen
    On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1998, pp:10435-10444 [Conf]
  4. Michael W. Whalen, Johann Schumann, Bernd Fischer
    Synthesizing Certified Code. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:431-450 [Conf]
  5. Michael W. Whalen, Mats Per Erik Heimdahl
    On the Requirements of High-Integrity Code Generation. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:217-0 [Conf]
  6. Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle
    Certification Support for Automatically Generated Programs. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:337- [Conf]
  7. Michael W. Whalen
    High-integrity code generation for state-based formalisms. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:725-727 [Conf]
  8. 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]
  9. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
    Deviation Analysis Through Model Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:37-46 [Conf]
  10. Michael W. Whalen, Mats Per Erik Heimdahl
    An Approach to Automatic Code Generation for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:315-318 [Conf]
  11. Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson
    NIMBUS: A Tool for Specification Centered Development. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:349- [Conf]
  12. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
    Deviation Analysis: A New Use of Model Checking. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:321-347 [Journal]
  13. Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl
    Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:731-757 [Journal]
  14. Paul D. Gader, Brian Forester, Margaret Ganzberger, Andrew Gillies, Brian Mitchell, Michael W. Whalen, Todd Yocum
    Recognition of handwritten digits using template and model matching. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 1991, v:24, n:5, pp:421-431 [Journal]
  15. 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]

  16. Model Validation using Automatically Generated Requirements-Based Tests. [Citation Graph (, )][DBLP]


  17. Requirements Coverage as an Adequacy Measure for Conformance Testing. [Citation Graph (, )][DBLP]


  18. Development of Security Software: A High Assurance Methodology. [Citation Graph (, )][DBLP]


  19. The effect of program and model structure on mc/dc test adequacy coverage. [Citation Graph (, )][DBLP]


  20. Integration of Formal Analysis into a Model-Based Software Development Process. [Citation Graph (, )][DBLP]


  21. Software model checking takes off. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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