Biblio

Filters: Author is A. Ayoub  [Clear All Filters]
2018-05-23
A. Ayoub, B. Chang, O. Sokolsky, I. Lee.  2013.  Assessing the Overall Sufficiency of Safety Arguments. Proceedings of the 21st Safety-critical Systems Symposium (SSS'13).
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2012}).
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
B. Kim, A. Ayoub, O. Sokolsky, P. Jones, Y. Zhang, R. Jetley, I. Lee.  2011.  Safety-Assured Development of the GPCA Infusion Pump Software. {EMSOFT}. :155–164.