David P. Gluch

13 papers A 1Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2012 — book
Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language.
Peter H. Feiler, David P. Gluch
2012 Misc conf
On Modelling, Simulating and Verifying a Decentralized Mission Control Algorithm for a Fleet of Collaborative UAVs.
ICCS
Pu Gao, Hong P. Liu, David P. Gluch
2009 — conf
Embedded systems engineering with the AADL: modeling & analysis.
SIGAda
David P. Gluch
2009 — conf
Formal verification of AADL behavior models: a feasibility investigation.
ACM Southeast Regional Conference
Hong P. Liu, David P. Gluch
2007 J jnl
Automated Code Generation for Safety-Related Applications: a Case Study.
Comput. Sci.
David P. Gluch, Andrew J. Kornecki
2006 — conf
Templates and automation for temporal query generation.
ACM Southeast Regional Conference
Hong P. Liu, David P. Gluch
2004 — conf
A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.
HASE
Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch
2004 J jnl
Conceptual modeling with the object-process methodology in software architecture.
J. Comput. Sci. Coll.
Hong Liu, David P. Gluch
2004 — conf
Pattern-Based Analysis of an Embedded Real-Time System Architecture.
IFIP-WADL
Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce A. Lewis
2003 A conf
Model Checking for Dependable Software-Intensive Systems.
DSN
Edmund M. Clarke, Masahiro Fujita, David P. Gluch
2003 — conf
On a Partnership between Software Industry and Academia.
CSEE&T
Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli
2002 J jnl
A proposal for introducing model checking into an undergraduate software engineering curriculum.
J. Comput. Sci. Coll.
Hong Liu, David P. Gluch
1997 J jnl
Agents of Change: Educating Software Engineering Leaders.
Computer
David Garlan, David P. Gluch, James E. Tomayko