Darren D. Cofer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino. SCP, 76(2):63-64, 2011. [doi]

2010

Model Checking: Cleared for Take OffDarren D. Cofer. spin 2010: 76-87 [doi]

Software model checking takes offSteven P. Miller, Michael W. Whalen, Darren D. Cofer. CACM, 53(2):58-64, 2010. [doi]

2009

A Formal Architecture Pattern for Real-Time Distributed SystemsAbdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer. rtss 2009: 161-170 [doi]

Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected PapersDarren D. Cofer, Alessandro Fantechi, editors, Volume 5596 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

Model-Checking of Safety-Critical Software for AvionicsDarren D. Cofer, Michael W. Whalen, Steven P. Miller. ercim, 2008(75), 2008. [doi]

2007

2004

2003

Simulation and verification II: event-triggered environments for verification of real-time systemsDarren D. Cofer, Murali Rangarajan. wsc 2003: 915-922 [doi]

Formal Modeling and Analysis of an Avionics Triplex Sensor VoterSamar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt. spin 2003: 34-48 [doi]

2002

Formal Verification of Overhead Accounting in an Avionics RTOSDarren D. Cofer, Murali Rangarajan. rtss 2002: 181-190 [doi]

Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOSDarren D. Cofer, Murali Rangarajan. emsoft 2002: 138-152 [doi]

Model-Checking Complex Software - A Memory PerspectiveMurali Rangarajan, Darren D. Cofer. rissef 2004: 283-296 [doi]

2001

Applications of Model Checking at Honeywell LaboratoriesDarren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal. spin 2001: 296-303 [doi]

2000

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case StudyNicholas Weininger, Darren D. Cofer. spin 2000: 93-112

1996

Reliable Implementation of Hybrid Control Systems for Advanced AvionicsDarren D. Cofer. hybrid 1997: 93-112

1995

On Controlling Timed Discrete Event SystemsDarren D. Cofer, Vijay K. Garg. hybrid 1996: 340-349