Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems. - Sergio B. Guarro; Ümit Özgüner; Tunc Aldemir; Matt Knudson; Arda Kurt; Michael K. Yau; Mohammad Hejase; Steve Kwon (NFM, 2016)

Constrained Backward Path Tracking Control using a Plug-in Jackknife Prevention System for Autonomous Tractor-Trailers. - Mohammad Hejase; Junbo Jing; John M. Maroli; Yasser Bin Salamah; Lisa Fiorentini; Ümit Özgüner (ITSC, 2018)

Identification of Risk Significant Automotive Scenarios Under Hardware Failures. - Mohammad Hejase; Arda Kurt; Tunc Aldemir; Ümit Özgüner (SCAV@CPSWeek, 2018)

Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance. - Mohammad Hejase; Arda Kurt; Tunc Aldemir; Ümit Özgüner; Sergio B. Guarro; Michael K. Yau; Matthew Knudson (J. Aerosp. Inf. Syst., 2018)

Control Method Designs and Comparisons for Tractor-Trailer Vehicle Backward Path Tracking. - Junbo Jing; John M. Maroli; Yasser Bin Salamah; Mohammad Hejase; Lisa Fiorentini; Ümit Özgüner (ACC, 2019)

A Validation Methodology for the Minimization of Unknown Unknowns in Autonomous Vehicle Systems. - Mohammad Hejase; Mathieu Barbier; Ümit Özgüner; Javier Ibañez-Guzmán; Tankut Acarman (IV, 2020)

A Methodology for Model-Based Validation of Autonomous Vehicle Systems. - Mohammad Hejase; Ümit Özgüner; Mathieu Barbier; Javier Ibañez-Guzmán (IV, 2020)

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. - Anastasia Mavridou; Hamza Bourbouh; Dimitra Giannakopoulou; Thomas Pressburger; Mohammad Hejase; Pierre-Loïc Garoche; Johann Schumann (RE, 2020)