The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Darren D. Cofer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


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