Brian LaValley

According to our database, Brian LaValley authored at least 2 papers between 2005 and 2012.

Collaborative distances:

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

2012

Compositional Verification of Architectural Models.

Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha

Proceedings of the NASA Formal Methods, 2012

2005

The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture.

Chris Walter, Peter Ellis, Brian LaValley

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005