David P. Gluch

According to our database, David P. Gluch authored at least 11 papers between 1997 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

On Modelling, Simulating and Verifying a Decentralized Mission Control Algorithm for a Fleet of Collaborative UAVs.

Pu Gao, Hong P. Liu, David P. Gluch

Proceedings of the International Conference on Computational Science, 2012

Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language.

Peter H. Feiler, David P. Gluch

SEI series in software engineering, Addison-Wesley, ISBN: 978-0-321-88894-5, 2012

2009

Embedded systems engineering with the AADL: modeling & analysis.

David P. Gluch

Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

Formal verification of AADL behavior models: a feasibility investigation.

Hong P. Liu, David P. Gluch

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2007

Automated Code Generation for Safety-Related Applications: a Case Study.

David P. Gluch, Andrew J. Kornecki

Comput. Sci., 2007

2006

Templates and automation for temporal query generation.

Hong P. Liu, David P. Gluch

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2004

Pattern-Based Analysis of an Embedded Real-Time System Architecture.

Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce A. Lewis

Proceedings of the Architecture Description Languages, 2004

A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report.

Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Model Checking for Dependable Software-Intensive Systems.

Edmund M. Clarke, Masahiro Fujita, David P. Gluch

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

On a Partnership between Software Industry and Academia.

Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

1997

Agents of Change: Educating Software Engineering Leaders.

David Garlan, David P. Gluch, James E. Tomayko

Computer, 1997