Mohammad Hejase

According to our database, Mohammad Hejase authored at least 8 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

A Methodology for Model-Based Validation of Autonomous Vehicle Systems.

Mohammad Hejase, Ümit Özgüner, Mathieu Barbier, Javier Ibañez-Guzmán

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

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

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2019

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

Proceedings of the 2019 American Control Conference, 2019

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., February, 2018

Identification of Risk Significant Automotive Scenarios Under Hardware Failures.

Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner

Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018

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

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2016

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

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016