Darren D. Cofer

	2012
23		Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha: Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140
	2011
22		Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino: Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011)
	2010
21		Darren D. Cofer: Model Checking: Cleared for Take Off. SPIN 2010: 76-87
20		Steven P. Miller, Michael W. Whalen, Darren D. Cofer: Software model checking takes off. Commun. ACM 53(2): 58-64 (2010)
	2009
19		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
18		Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer: A Formal Architecture Pattern for Real-Time Distributed Systems. IEEE Real-Time Systems Symposium 2009: 161-170
	2008
17		Darren D. Cofer, Michael W. Whalen, Steven P. Miller: Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008(75): (2008)
	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	Abdullah Al-Nayeem	[18]
2	Devesh Bhatt	[14]
3	Pam Binns	[10]
4	Amar Bouali	[13]
5	Samar Dajani-Brown	[9] [11] [13]
6	Bruno Dutertre	[12]
7	Eric Engstrom	[4]
8	Alessandro Fantechi	[19] [22]
9	Andrew Gacek	[23]
10	Vijay K. Garg	[1]
11	Robert P. Goldman	[4]
12	Vu Ha	[10] [12]
13	Gary Hartmann	[9]
14	Bruce H. Krogh	[15]
15	Ratnesh Kumar	[14]
16	Brian LaValley	[23]
17	Stefan Leue	[22]
18	Pedro Merino	[22]
19	Steven P. Miller	[15] [17] [18] [20] [23]
20	David J. Musliner	[4]
21	Steve Pratt	[9]
22	Xiaokang Qiu	[18]
23	Murali Rangarajan	[5] [6] [7] [8] [11] [12] [16]
24	Harald Ruess (Harald Rueß)	[12]
25	Tariq Samad	[10]
26	Kirk Schloegel	[11] [14]
27	Lui Sha	[18] [23]
28	Walter Storm	[15]
29	Mu Sun	[18]
30	Steve Vestal	[4]
31	Nicholas Weininger	[3]
32	Michael W. Whalen	[15] [17] [20] [23]
33	Changyan Zhou	[14]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page