Automated Verification of AADL-Specifications Using UPPAAL. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Omar Jaradat (HASE, 2012)

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. - Barbara Gallina; Irfan Sljivo; Omar Jaradat (SEW, 2012)

An Approach to Maintaining Safety Case Evidence After A System Change. - Omar Jaradat; Patrick J. Graydon; Iain Bate (CoRR, 2014)

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. - Omar Jaradat; Iain Bate; Sasikumar Punnekkat (Ada-Europe, 2015)

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. - Irfan Sljivo; Omar Jaradat; Iain Bate; Patrick J. Graydon (HASE, 2015)

Deriving Hierarchical Safety Contracts. - Omar Jaradat; Iain Bate (PRDC, 2015)

Systematic Maintenance of Safety Cases to Reduce Risk. - Omar Jaradat; Iain Bate (SAFECOMP Workshops, 2016)

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. - Omar Tawffeeq Saleem Jaradat; Iain Bate (EDCC, 2017)

Challenges of Safety Assurance for Industry 4.0. - Omar Jaradat; Irfan Sljivo; Ibrahim Habli; Richard Hawkins (EDCC, 2017)

Contract-based assurance for wireless cooperative functions of vehicular systems. - Svetlana Girs; Irfan Sljivo; Omar Jaradat (IECON, 2017)

Using Safety Contracts to Verify Design Assumptions During Runtime. - Omar Jaradat; Sasikumar Punnekkat (Ada-Europe, 2018)

Service Level Agreements for Safe and Configurable Production Environments. - Mohammad Ashjaei; Kester Dean Clegg; Lorenzo Corneo; Richard Hawkins; Omar Jaradat; Vincenzo Massimiliano Gulisano; Yiannis Nikolakopoulos (ETFA, 2018)

Contracts-Based Maintenance of Safety Cases. - Omar Jaradat (2018)