| 2006 |
|---|
| 5 | EE | Hong Liu,
David P. Gluch:
Templates and automation for temporal query generation.
ACM Southeast Regional Conference 2006: 80-84 |
| 2004 |
|---|
| 4 | EE | 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 | EE | Andrew J. Kornecki,
Soheil Khajenoori,
David P. Gluch,
Nader Kameli:
On a Partnership between Software Industry and Academia.
CSEE&T 2003: 60-69 |
| 2 | EE | 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) |
