Search the dblp DataBase

Publications of Author

1. Hong Liu, David P. Gluch
   Templates and automation for temporal query generation. [Citation Graph (0, 0)][DBLP]
   ACM Southeast Regional Conference, 2006, pp:80-84 [Conf]
   
2. Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli
   On a Partnership between Software Industry and Academia. [Citation Graph (0, 0)][DBLP]
   CSEE&T, 2003, pp:60-69 [Conf]
   
3. Edmund M. Clarke, Masahiro Fujita, David P. Gluch
   Model Checking for Dependable Software-Intensive Systems. [Citation Graph (0, 0)][DBLP]
   DSN, 2003, pp:764- [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   HASE, 2004, pp:287-288 [Conf]
   
5. David Garlan, David P. Gluch, James E. Tomayko
   Agents of Change: Educating Software Engineering Leaders. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1997, v:30, n:11, pp:59-65 [Journal]
   
6. 
   Formal verification of AADL behavior models: a feasibility investigation. [Citation Graph (, )][DBLP]