In 2012, Omar finished two years M.Sc program in Software Engineering at Mälardalen University (MDH). In the same year, he started his Ph.D. in Safety Argumentation for safety critical systems, where the main focus is on modular safety cases and composable certification. Omar is involved in the SYNOPSIS research project in the Innovation, Design and Engineering department at MDH.
Using Safety Contracts to Verify Design Assumptions During Runtime (Jun 2018) Omar Jaradat, Sasikumar Punnekkat 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
Contract-Based Assurance for Wireless Cooperative Functions of Vehicular Systems (Oct 2017) Svetlana Girs, Irfan Sljivo, Omar Jaradat 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases (Sep 2017) Omar Jaradat, Iain Bate European Dependable Computing Conference (EDCC'17)
Challenges of Safety Assurance for Industry 4.0 (Sep 2017) Omar Jaradat, Irfan Sljivo, Ibrahim Habli , Richard Hawkins European Dependable Computing Conference (EDCC'17)
Systematic Maintenance of Safety Cases to Reduce Risk (Sep 2016) Omar Jaradat, Iain Bate 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)