| The ten lockheed martin cyber-physical challenges: formalized, analyzed, and explained A Mavridou, H Bourbouh, D Giannakopoulou, T Pressburger, M Hejase, ... 2020 IEEE 28th International Requirements Engineering Conference (RE), 300-310, 2020 | 38 | 2020 |
| Constrained backward path tracking control using a plug-in jackknife prevention system for autonomous tractor-trailers M Hejase, J Jing, JM Maroli, YB Salamah, L Fiorentini, Ü Özgüner 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 22 | 2018 |
| Quantitative and risk-based framework for unmanned aircraft control system assurance M Hejase, A Kurt, T Aldemir, Ü Özgüner, SB Guarro, MK Yau, ... Journal of Aerospace Information Systems 15 (2), 57-71, 2018 | 22 | 2018 |
| Formal framework and models for validation and verification of software-intensive aerospace systems S Guarro, MK Yau, U Ozguner, T Aldemir, A Kurt, M Hejase, M Knudson AIAA Information Systems-AIAA Infotech@ Aerospace, 0418, 2017 | 18 | 2017 |
| Sensor fault diagnostic and Fault-Tolerant Control for the altitude control of a quadrotor UAV A Drak, H Noura, M Hejase, YAL Younes 2015 IEEE 8th GCC conference & exhibition, 1-5, 2015 | 17 | 2015 |
| Evaluation of the FRET and CoCoSim tools on the ten Lockheed Martin cyber-physical challenge problems A Mavridou, H Bourbouh, PL Garoche, M Hejase NASA, Tech. Rep., oct, 2019 | 15 | 2019 |
| Control method designs and comparisons for tractor-trailer vehicle backward path tracking J Jing, JM Maroli, YB Salamah, M Hejase, L Fiorentini, Ü Özgüner 2019 American Control Conference (ACC), 5531-5537, 2019 | 13 | 2019 |
| Design and testing of autonomous distributed space systems N Cramer, D Cellucci, C Adams, A Sweet, M Hejase, J Frank, R Levinson, ... 35th Annual Small Satellite Conference, 2021 | 11 | 2021 |
| Autonomous formation flight algorithm and platform for quadrotor uavs A Drak, M Hejase, MW ElShorbagy, A Wahyudie, H Noura International Journal of Robotics and Mechatronics 1 (4), 124-132, 2014 | 11 | 2014 |
| Formation Flight of Small Scale Unmanned Aerial Vehicles: A Review M Hejase, H Noura, A Drak Control Theory: Perspectives, Applications and Developments 1, 221-248, 2015 | 10 | 2015 |
| A methodology for model-based validation of autonomous vehicle systems M Hejase, U Ozguner, M Barbier, J Ibanez-Guzman 2020 IEEE Intelligent Vehicles Symposium (IV), 2097-2103, 2020 | 9 | 2020 |
| Systems and methods for preventing a jackknife condition in a tractor-trailer system M Hejase, J Jing, J Maroli, YB Salamah, L Fiorentini, U Ozguner US Patent App. 16/460,646, 2020 | 9 | 2020 |
| Identification of risk significant automotive scenarios under hardware failures M Hejase, A Kurt, T Aldemir, U Ozguner arXiv preprint arXiv:1804.04348, 2018 | 9 | 2018 |
| Risk Informed Safety Case Framework for Unmanned Aircraft System Flight Software Certification S Guarro, MK Yau, U Ozguner, T Aldemir, A Kurt, M Hejase, M Knudson AIAA Information Systems-AIAA Infotech@ Aerospace, 0910, 2017 | 7 | 2017 |
| A validation methodology for the minimization of unknown unknowns in autonomous vehicle systems M Hejase, M Barbier, U Ozguner, J Ibanez-Guzman, T Acarman 2020 IEEE Intelligent Vehicles Symposium (IV), 114-119, 2020 | 5 | 2020 |
| The backtracking process algorithm: A dynamic probabilistic risk assessment method for autonomous vehicle control systems M Hejase, A Kurt, T Aldemir, U Ozguner Proceedings of the 14th International Conference on Probabilistic Safety …, 2018 | 5 | 2018 |
| Formal validation and verification framework for model-based and adaptive control systems S Guarro, U Ozguner, T Aldemir, M Knudson, A Kurt, M Yau, M Hejase, ... NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 5 | 2016 |
| BioSentinel: Mission Summary and Lessons Learned From the First Deep Space Biology CubeSat Mission M Napoli, JD Homan, CJC Kong 37th Annual Small Satellite Conference, 2023 | 4 | 2023 |
| Dynamic Probabilistic Risk Assessment of Unmanned Aircraft Adaptive Flight Control Systems M Hejase, A Kurt, T Aldemir, U Ozguner, S Guarro, MK Yau, M Knudson 2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1982, 2018 | 4 | 2018 |
| A Hierarchical Hybrid State System Based Controller Design Approach for an Autonomous UAS Mission M Hejase, AE Oguz, A Kurt, U Ozguner, K Redmill 16th AIAA Aviation Technology, Integration, and Operations Conference, 3294, 2016 | 4 | 2016 |
