David P. Gluch

	2009
7		Hong Liu, David P. Gluch: Formal verification of AADL behavior models: a feasibility investigation. ACM Southeast Regional Conference 2009
6		David P. Gluch: Embedded systems engineering with the AADL: modeling & analysis. SIGAda 2009: 7-8
	2006
5		Hong Liu, David P. Gluch: Templates and automation for temporal query generation. ACM Southeast Regional Conference 2006: 80-84
	2004
4		Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch: A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. HASE 2004: 287-288
	2003
3		Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli: On a Partnership between Software Industry and Academia. CSEE&T 2003: 60-69
2		Edmund M. Clarke, Masahiro Fujita, David P. Gluch: Model Checking for Dependable Software-Intensive Systems. DSN 2003: 764
	1997
1		David Garlan, David P. Gluch, James E. Tomayko: Agents of Change: Educating Software Engineering Leaders. IEEE Computer 30(11): 59-65 (1997)

Coauthor Index

1	Edmund M. Clarke	[2]
2	Lazar Crawford	[4]
3	Jared Erwin	[4]
4	Masahiro Fujita	[2]
5	David Garlan	[1]
6	Steafano Grimaldi	[4]
7	Nader Kameli	[3]
8	Soheil Khajenoori	[3]
9	Andrew J. Kornecki	[3] [4]
10	Hong Liu	[5] [7]
11	Soma Mitra	[4]
12	James E. Tomayko	[1]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page