Darren D. Cofer

	2009
17		Darren D. Cofer, Alessandro Fantechi: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers Springer 2009
	2007
16		Murali Rangarajan, Darren D. Cofer: Computing Worst-Case Response Times in Real-Time Avionics Applications. FMICS 2007: 101-114
15		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		Samar Dajani-Brown, Darren D. Cofer, Amar Bouali: Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT 2004: 5-20
12		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		Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer: Analysis of Distributed Spin Applied to Industrial-Scale Models. SPIN 2004: 267-285
10		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		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		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		Darren D. Cofer, Murali Rangarajan: Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. EMSOFT 2002: 138-152
6		Darren D. Cofer, Murali Rangarajan: Formal Verification of Overhead Accounting in an Avionics RTOS. IEEE Real-Time Systems Symposium 2002: 181-190
5		Murali Rangarajan, Darren D. Cofer: Model-Checking Complex Software - A Memory Perspective. RISSEF 2002: 283-296
	2001
4		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	Alessandro Fantechi	[17]
8	Vijay K. Garg	[1]
9	Robert P. Goldman	[4]
10	Vu Ha	[10] [12]
11	Gary Hartmann	[9]
12	Bruce H. Krogh	[15]
13	Ratnesh Kumar	[14]
14	Steven P. Miller	[15]
15	David J. Musliner	[4]
16	Steve Pratt	[9]
17	Murali Rangarajan	[5] [6] [7] [8] [11] [12] [16]
18	Harald Rueß	[12]
19	Tariq Samad	[10]
20	Kirk Schloegel	[11] [14]
21	Walter Storm	[15]
22	Steve Vestal	[4]
23	Nicholas Weininger	[3]
24	Michael W. Whalen	[15]
25	Changyan Zhou	[14]

Colors in the list of coauthors