Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	David P.
Last name:	Gluch
DBLP:	44/3080
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	Hong Liu, David P. Gluch. Formal verification of AADL behavior models: a feasibility investigation.	Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009 2009	(0)	2009
	Hong Liu, David P. Gluch. Templates and automation for temporal query generation.	Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006 2006	(0)	2006
	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.	8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA 2004	(0)	2004
	Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli. On a Partnership between Software Industry and Academia.	16th Conference on Software Engineering Education and Training (CSEET 2003), 20-22 March 2003, Madrid, Spain 2003	(0)	2003
	Edmund M. Clarke, Masahiro Fujita, David P. Gluch. Model Checking for Dependable Software-Intensive Systems.	2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings 2003	(0)	2003
	David Garlan, David P. Gluch, James E. Tomayko. Agents of Change: Educating Software Engineering Leaders.	IEEE Computer 1997, Volume 30	(0)	1997

Your query returned 6 matches in the database.