John C. Day

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 1

Top Topics

Autonomous Systems

Uncertain Environments

Fault Management

Top Venues

ISSRE (Supplemental Proceedings)

Infotech@Aerospace

ACM SIGSOFT Softw. Eng. Notes

Publications

Rashied B. Amini, Abigail Azari, Shyam Bhaskaran, Patricia Beauchamp, Julie C. Castillo-Rogez, Rebecca Castaño, Seung Chung, John C. Day, Richard J. Doyle, Martin Feather, Lorraine M. Fesq, Jeremy Frank, P. Michael Furlong, Michel D. Ingham, Brian M. Kennedy, Ksenia Kolcio, Issa Nesnas, Robert Rasmussen, Glenn Reeves, Cristina Sorice, Bethany Theiling, Jay Wyatt
Advancing the Scientific Frontier with Increasingly Autonomous Systems. CoRR (2020)
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)
Ann T. Tai, Chris J. Walter, Lorraine M. Fesq, John C. Day
Fault-class-aware fault tree generation and analysis. ISSRE (Supplemental Proceedings) (2013)
Michel D. Ingham, John C. Day, Kenneth Donahue, Alexander Kadesch, Andrew Kennedy, Mohammed Omair Khan, Ethan Post, Shaun Standley
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems. Infotech@Aerospace (2012)