Mohammad Hejase

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 8

Top Topics

Desired Trajectory

Dc Dc Converter

Top Venues

Publications

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE (2020)
Mohammad Hejase, Ümit Özgüner, Mathieu Barbier, Javier Ibañez-Guzmán
A Methodology for Model-Based Validation of Autonomous Vehicle Systems. IV (2020)
Mohammad Hejase, Mathieu Barbier, Ümit Özgüner, Javier Ibañez-Guzmán, Tankut Acarman
A Validation Methodology for the Minimization of Unknown Unknowns in Autonomous Vehicle Systems. IV (2020)
Junbo Jing, John M. Maroli, Yasser Bin Salamah, Mohammad Hejase, Lisa Fiorentini, Ümit Özgüner
Control Method Designs and Comparisons for Tractor-Trailer Vehicle Backward Path Tracking. ACC (2019)
Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner, Sergio B. Guarro, Michael K. Yau, Matthew Knudson
Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance. J. Aerosp. Inf. Syst. 15 (2) (2018)
Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner
Identification of Risk Significant Automotive Scenarios Under Hardware Failures. SCAV@CPSWeek (2018)
Mohammad Hejase, Junbo Jing, John M. Maroli, Yasser Bin Salamah, Lisa Fiorentini, Ümit Özgüner
Constrained Backward Path Tracking Control using a Plug-in Jackknife Prevention System for Autonomous Tractor-Trailers. ITSC (2018)
Sergio Guarro, Ümit Özgüner, Tunc Aldemir, Matt Knudson, Arda Kurt, Michael Yau, Mohammad Hejase, Steve Kwon
Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems. NFM (2016)