Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 20

Doctoral Thesis (1)

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

Licentiate Thesis (1)

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

Conference/Workshop Paper (16)

Modular Safety Cases for the Assurance of Industry 4.0 (Feb 2020)
Omar Jaradat, Irfan Sljivo, Richard Hawkins , Ibrahim Habli
28th Safety-Critical Systems Symposium (SCSS'20)

Service Level Agreements for Safe and Configurable Production Environments (Sep 2018)
Mohammad Ashjaei, Kester Clegg , Lorenzo Corneo , Richard Hawkins , Omar Jaradat, Vincenzo Gulisano , Yiannis Nikolakopoulos
International Conference on Emerging Technologies and Factory Automation - Work in Progress Session (ETFA-WiP'18)

A Safety-Centric Change Management Framework by Tailoring Agile and V-Model Processes (Aug 2018)
Omar Jaradat, Abdallah Salameh
36th International System Safety Conference (ISSC 2018)

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)

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

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)

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems (Jan 2015)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick Graydon
16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015)

An Approach to Maintaining Safety Case Evidence After A System Change (May 2014)
Omar Jaradat, Patrick Graydon, Iain Bate
2014 Tenth European Dependable Computing Conference (EDCC 2014)

The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment (Aug 2013)
Omar Jaradat, Patrick Graydon, Iain Bate
31st International System Safety Conference (ISSC'13)

Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)

Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. (Oct 2012)
Barbara Gallina, Irfan Sljivo, Omar Jaradat
35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)

Report - MRTC (1)

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

Report (1)

Service Level Agreements for Safe and Configurable Production Environments: A Case Study.
Mohammad Ashjaei, Kester Clegg , Lorenzo Corneo , Richard Hawkins , Omar Jaradat, Yiannis Nikolakopoulos

Items per page: