Search the dblp DataBase

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]