Dr. Badreddin's main research area is in Model Driven software Development, and Model Driven Systems Engineering. His research involves development of novel modeling and design approaches, notations, and tools.

• STEM Accelerator Award - UTEP (09/01/2017-09/30/2017)

• Healthcare Informatics, University of Ottawa (2013)
• Ph D in Computer Science, University of Ottawa (2012)
• MS in Computer Science, American University (2007)
• BS in Computer Science, University of Massachusetts (2002)

• Theoretical Explanation of Recent Empirically Successful Code Quality Metrics Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII) 24 5 (2020), Vladik Y. Kreinovich, Omar A. Masmali, Hoang P. Nguyen, Omar B. Badreddin.
• Model Driven Software Engineering in Education: A Multi-Case Study on Perception of Tools and UML (2017), Grischa Liebel, Omar B. Badreddin, Rogardt Heldal.
• Model Driven Software Engineering in Education: A Multi-Case Study on Perception of Tools and UML (2017), Grischa Liebel, Omar B. Badreddin, Rogardt Heldal.
• A controlled experiment for evaluating the comprehensibility of UML Action Languages (2016), Omar B. Badreddin, Maged Elaasar, Abdelwahab Hamou-Lhadj.
• Action languages and precise modeling for cyber-physical systems design and testing (2016), Omar B. Badreddin, Maged Elaasar, Vahdat Abdelzad.
• Action languages and precise modeling for cyber-physical systems design and testing (2016), Omar B. Badreddin, Maged Elaasar, Vahdat Abdelzad.
• Biomedical Engineering Systems and Technologies: 8th International Joint Conference, BIOSTEC 2015, Lisbon, Portugal, January 12-15, 2015, Revised Selected Papers Springer 574 (2016), Ana Fred, Hugo Gamboa, Dirk Elias.
• Biomedical Engineering Systems and Technologies: 8th International Joint Conference, BIOSTEC 2015, Lisbon, Portugal, January 12-15, 2015, Revised Selected Papers Springer 574 (2016), Ana Fred, Hugo Gamboa, Dirk Elias.
• Design and Evaluation of Seamless Hand Hygiene Monitoring System. (2016), Omar B. Badreddin, Ryan Simmons, Waylon Dixon, Ricardo Castillo, Michael Albanese, Duke Ayers, Ian Humphrey.
• fSysML: Foundational Executable SysML for Cyber-Physical System Modeling. (2016), Omar B. Badreddin, Vahdat Abdelzad, Timothy Lethbridge, Maged Elaasar.
• Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings Springer (2016), Tiziana Margaria, Bernhard Steffen.
• Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings Springer 9952 (2016), Tiziana Margaria, Bernhard Steffen.
• Modeling meets programming: a comparative study in model driven engineering action languages (2016), Maged Elaasar, Omar B. Badreddin.
• Modeling meets programming: a comparative study in model driven engineering action languages (2016), Maged Elaasar, Omar B. Badreddin.
• Towards promoting design and UML modeling practices in the open source community (2016), Abdullah Aldaeej, Omar B. Badreddin.
• Towards promoting design and UML modeling practices in the open source community (2016), Abdullah Aldaeej, Omar B. Badreddin.

No info available.

• Crowd-Sourcing of Smart Phones Sensors Data to Explore Drivers’ Interactions with Roadways Topology
• Investigations and Platform Design for Cyber Physical Systems