Douglas Stuart

According to our database, Douglas Stuart authored at least 5 papers between 2000 and 2020.

Collaborative distances:

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

2020

Towards Assurance Evaluation of Autonomous Systems.

Steven Beland, Isaac Chang, Alexander Chen, Matthew Moser, James L. Paunicka, Douglas Stuart, John Vian, Christina Westover, Huafeng Yu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2018

A Formal Approach to Constructing Secure Air Vehicle Software.

Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart

Computer, 2018

2003

ORB Middleware Evolution for Networked Embedded Systems.

Christopher D. Gill, Venkita Subramonian, Jeff Parsons, Huang-Ming Huang, Stephen Torri, Douglas Niehaus, Douglas Stuart

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

2000

The SSEP toolset for product line development.

Douglas Stuart, Wonhee Sull, Steve Pruitt, Deborah Cobb, Fred Waskiewicz, T. W. Cook

Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

Dependency Navigation in Product Lines Using XML.

Douglas Stuart, Wonhee Sull, T. W. Cook

Proceedings of the Software Architectures for Product Families, 2000