Contracts-Based Maintenance of Safety Cases (Nov 2018) Omar Jaradat
Enhancing the Maintainability of Safety Cases Using Safety Contracts (Nov 2015) Omar Jaradat
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)
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example (Apr 2017) Omar Jaradat, Iain Bate
Service Level Agreements for Safe and Configurable Production Environments: A Case Study. Mohammad Ashjaei, Kester Clegg , Lorenzo Corneo , Richard Hawkins , Omar Jaradat, Yiannis Nikolakopoulos