Corrina Gibson

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Fault Tolerance

Knowledge Based Systems

Fault Management

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Corrina Gibson, Robert Karban, Luigi Andolfato, John C. Day
Abstractions for Executable and Checkable Fault Management Models. CSER (2014)
Corrina Gibson, Robert Karban, Luigi Andolfato, John C. Day
Formal validation of fault management design solutions. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Corrina Gibson, Todd D. Murphey
Geometric integration of impact during an orbital docking procedure. CASE (2010)