David A. Cape

According to our database, David A. Cape authored at least 4 papers between 2006 and 2009.

Collaborative distances:

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

2009

Recursive Decomposition of Progress Graphs.

David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Dihomotopic Reduction Used in Deadlock Detection.

David A. Cape, Bruce M. McMillin

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.

Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Model Checking Control Communication of a FACTS Device.

David A. Cape, Bruce M. McMillin, James K. Townsend

Proceedings of the 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 2006