Search the dblp DataBase

Publications of Author

1. Darren D. Cofer, Murali Rangarajan
   Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:138-152 [Conf]
   
2. Samar Dajani-Brown, Darren D. Cofer, Amar Bouali
   Formal Verification of an Avionics Sensor Voter Using SCADE. [Citation Graph (0, 0)][DBLP]
   FORMATS/FTRTFT, 2004, pp:5-20 [Conf]
   
3. Darren D. Cofer
   Reliable Implementation of Hybrid Control Systems for Advanced Avionics. [Citation Graph (0, 0)][DBLP]
   Hybrid Systems, 1996, pp:93-112 [Conf]
   
4. Darren D. Cofer, Vijay K. Garg
   On Controlling Timed Discrete Event Systems. [Citation Graph (0, 0)][DBLP]
   Hybrid Systems, 1995, pp:340-349 [Conf]
   
5. Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
   Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. [Citation Graph (0, 0)][DBLP]
   ICSE, 2004, pp:304-313 [Conf]
   
6. Murali Rangarajan, Darren D. Cofer
   Model-Checking Complex Software - A Memory Perspective. [Citation Graph (0, 0)][DBLP]
   RISSEF, 2002, pp:283-296 [Conf]
   
7. Darren D. Cofer, Murali Rangarajan
   Formal Verification of Overhead Accounting in an Avionics RTOS. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 2002, pp:181-190 [Conf]
   
8. Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
   Applications of Model Checking at Honeywell Laboratories. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:296-303 [Conf]
   
9. Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt
   Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:34-48 [Conf]
   
10. Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer
    Analysis of Distributed Spin Applied to Industrial-Scale Models. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:267-285 [Conf]
    
11. Nicholas Weininger, Darren D. Cofer
    Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:93-112 [Conf]
    
12. Darren D. Cofer, Murali Rangarajan
    Simulation and verification II: event-triggered environments for verification of real-time systems. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:915-922 [Conf]
    
13. Tariq Samad, Darren D. Cofer, Vu Ha, Pam Binns
    High-confidence control: Ensuring reliability in high-performance real-time systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2004, v:19, n:4, pp:315-326 [Journal]
    
14. Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer
    A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:179-184 [Conf]
    
15. 
    A Formal Architecture Pattern for Real-Time Distributed Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Computing Worst-Case Response Times in Real-Time Avionics Applications. [Citation Graph (, )][DBLP]
    
    
17. 
    Integration of Formal Analysis into a Model-Based Software Development Process. [Citation Graph (, )][DBLP]
    
    
18. 
    Software model checking takes off. [Citation Graph (, )][DBLP]