 | 2009 |
|---|
| 6 |       | Hong Liu,
David P. Gluch:
Formal verification of AADL behavior models: a feasibility investigation.
ACM Southeast Regional Conference 2009 |
| 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) |
