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:

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)

Enhancing the Maintainability of Safety Cases Using Safety Contracts (Nov 2015)
Omar Jaradat

Using Sensitivity Analysis to Facilitate The Maintenance of Safety Cases (Jun 2015)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Facilitating the Maintenance of Safety Cases (Jun 2015)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
The 3rd International Conference on Reliability, Safety and Hazard - Advances in Reliability, Maintenance and Safety (ICRES-ARMS'15)