Darren D. Cofer

2007
16	EE	Murali Rangarajan, Darren D. Cofer: Computing Worst-Case Response Times in Real-Time Avionics Applications. FMICS 2007: 101-114
15	EE	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm: Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84
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. SEKE 2007: 179-184
2004
13	EE	Samar Dajani-Brown, Darren D. Cofer, Amar Bouali: Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT 2004: 5-20
12	EE	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. ICSE 2004: 304-313
11	EE	Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer: Analysis of Distributed Spin Applied to Industrial-Scale Models. SPIN 2004: 267-285
10	EE	Tariq Samad, Darren D. Cofer, Vu Ha, Pam Binns: High-confidence control: Ensuring reliability in high-performance real-time systems. Int. J. Intell. Syst. 19(4): 315-326 (2004)
2003
9	EE	Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt: Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. SPIN 2003: 34-48
8	EE	Darren D. Cofer, Murali Rangarajan: Simulation and verification II: event-triggered environments for verification of real-time systems. Winter Simulation Conference 2003: 915-922
2002
7	EE	Darren D. Cofer, Murali Rangarajan: Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. EMSOFT 2002: 138-152
6	EE	Darren D. Cofer, Murali Rangarajan: Formal Verification of Overhead Accounting in an Avionics RTOS. IEEE Real-Time Systems Symposium 2002: 181-190
5	EE	Murali Rangarajan, Darren D. Cofer: Model-Checking Complex Software - A Memory Perspective. RISSEF 2002: 283-296
2001
4	EE	Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303
2000
3		Nicholas Weininger, Darren D. Cofer: Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. SPIN 2000: 93-112
1996
2		Darren D. Cofer: Reliable Implementation of Hybrid Control Systems for Advanced Avionics. Hybrid Systems 1996: 93-112
1995
1		Darren D. Cofer, Vijay K. Garg: On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349

Coauthor Index

1	Devesh Bhatt	[14]
2	Pam Binns	[10]
3	Amar Bouali	[13]
4	Samar Dajani-Brown	[9] [11] [13]
5	Bruno Dutertre	[12]
6	Eric Engstrom	[4]
7	Vijay K. Garg	[1]
8	Robert P. Goldman	[4]
9	Vu Ha	[10] [12]
10	Gary Hartmann	[9]
11	Bruce H. Krogh	[15]
12	Ratnesh Kumar	[14]
13	Steven P. Miller	[15]
14	David J. Musliner	[4]
15	Steve Pratt	[9]
16	Murali Rangarajan	[5] [6] [7] [8] [11] [12] [16]
17	Harald Rueß	[12]
18	Tariq Samad	[10]
19	Kirk Schloegel	[11] [14]
20	Walter Storm	[15]
21	Steve Vestal	[4]
22	Nicholas Weininger	[3]
23	Michael W. Whalen	[15]
24	Changyan Zhou	[14]

Colors in the list of coauthors