Omar Jaradat, Doctoral student

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.

[Show all publications]

Latest publications:

Contract-Based Assurance for Wireless Cooperative Functions of Vehicular Systems (Oct 2017)
Svetlana Girs, Irfan Sljivo, Omar Jaradat
43th 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)

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example (Apr 2017)
Omar Jaradat, Iain Bate

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)

Deriving Hierarchical Safety Contracts (Nov 2015)
Omar Jaradat, Iain Bate
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)