PUBLICATIONS
Ph.D. Thesis
Master Thesis
Journal Papers
- Hoda Mehrpouyan, Brandon Haley, IremY. Tumer, Chris Hoyle, and Andy Dong, " Resiliency Analysis for Complex System Design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing. Volume 29 - Issue 01 - February 2015, pp 93-108 Copyright © Cambridge University Press 2015.
- Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume P. Brat, Irem Y. Tumer, and Chris Hoyle. "Towards A Framework for Resilient Design of Complex Engineered Systems.", Research In Engineering Design. Accepted with revision.
- Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume P. Brat, Irem Y. Tumer, and Chris Hoyle, "Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning", Journal of the International Council on Systems Engineering (INCOSE). Accepted with revision.
Conference Papers
- Hoda Mehrpouyan, I.Y. Tumer, C. Hoyle, D. Giannakopoulou, and G.P. Brat " Early Prognosis Of The Safety Of a Conceptual Design Through Formal and Semi-Formal Verification Approaches.", The 2014 Prognostics and Health Management Conference, PHM’14. Fort Worth, Texas. October 2014.
- Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, and Chris Hoyle. " Combination Of Compositional Verification and Model Checking For Safety Assessment Of Complex Engineered Systems." In ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference.
- Hoda Mehrpouyan, Brandon Haley, Andy Dong, Irem Y. Tumer, and Chris Hoyle, " Resilient design of complex engineered systems against cascading failure." The 2013 International Mechanical Engineering Congress & Exposition. San Diego, CA. November 2013.
- Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, and Chris Hoyle. "Complex System Design Verification Using Assumption Generation." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference.
- Hoda Mehrpouyan, Brandon Haley, Andy Dong, Irem Y. Tumer, and Chris Hoyle. "Resilient Design of Complex Engineered Systems." In ASME 2013 International Design Engineering Technical Conferences and Design Automation Conference.
- Hoda Mehrpouyan, Peter Bunus, and Tolga Kurtoglu. "Model-based hazard analysis of undesirable environmental and components interaction." In Aerospace Conference, 2012 IEEE (pp. 1-8).
- Hoda Mehrpouyan, David C. Jensen, Christopher Hoyle, Irem Y. Tumer, and Tolga Kurtoglu. "A Model-Based Failure Identification and Propagation Framework for Conceptual Design of Complex Systems." In ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, (pp. 1087-1096).