David A. Cape

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Recursive Decomposition of Progress Graphs.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Dihomotopic Reduction Used in Deadlock Detection.
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.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006
Model Checking Control Communication of a FACTS Device.
Proceedings of the 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 2006


  Loading...