We stand with Ukraine  

John C. Day

Affiliations:
  • Jet Propulsion Lab, Pasadena, CA, USA


According to our database1, John C. Day authored at least 5 papers between 2012 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Advancing the Scientific Frontier with Increasingly Autonomous Systems.
[BibTeX]
[DOI]
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
CoRR, 2020

2014
Formal validation of fault management design solutions.
[BibTeX]
[DOI]
Corrina Gibson
,
Robert Karban
,
Luigi Andolfato
,
John C. Day
ACM SIGSOFT Softw. Eng. Notes, 2014

Abstractions for Executable and Checkable Fault Management Models.
[BibTeX]
[DOI]
Corrina Gibson
,
Robert Karban
,
Luigi Andolfato
,
John C. Day
Proceedings of the Conference on Systems Engineering Research, 2014

2013
Fault-class-aware fault tree generation and analysis.
[BibTeX]
[DOI]
Ann T. Tai
,
Chris J. Walter
,
Lorraine M. Fesq
,
John C. Day
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems.
[BibTeX]
[DOI]
Michel D. Ingham
,
John C. Day
,
Kenneth Donahue
,
Alexander Kadesch
,
Andrew Kennedy
,
Mohammed Omair Khan
,
Ethan Post
,
Shaun Standley
Proceedings of the Infotech@Aerospace 2012, 2012


  Loading...