Login / Signup
David A. Cape
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
David A. Cape
,
Bruce M. McMillin
,
Benjamin W. Passer
,
Mayur Thakur
Recursive Decomposition of Progress Graphs.
SSIRI
(2009)
David A. Cape
,
Bruce M. McMillin
Dihomotopic Reduction Used in Deadlock Detection.
COMPSAC (1)
(2009)
Yan Sun
,
Bruce M. McMillin
,
Xiaoqing Frank Liu
,
David A. Cape
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.
QSIC
(2007)
David A. Cape
,
Bruce M. McMillin
,
James K. Townsend
Model Checking Control Communication of a FACTS Device.
ICPP Workshops
(2006)