Omar Jaradat

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 5

Top Topics

Service Level Agreements

Intelligent User Interfaces

Safety Critical

Systems Development

Top Venues

Publications

Omar Jaradat, Sasikumar Punnekkat
Using Safety Contracts to Verify Design Assumptions During Runtime. Ada-Europe (2018)
Mohammad Ashjaei, Kester Dean Clegg, Lorenzo Corneo, Richard Hawkins, Omar Jaradat, Vincenzo Massimiliano Gulisano, Yiannis Nikolakopoulos
Service Level Agreements for Safe and Configurable Production Environments. ETFA (2018)
Svetlana Girs, Irfan Sljivo, Omar Jaradat
Contract-based assurance for wireless cooperative functions of vehicular systems. IECON (2017)
Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins
Challenges of Safety Assurance for Industry 4.0. EDCC (2017)
Omar Jaradat, Iain Bate
Systematic Maintenance of Safety Cases to Reduce Risk. SAFECOMP Workshops (2016)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. Ada-Europe (2015)
Omar Jaradat, Iain Bate
Deriving Hierarchical Safety Contracts. PRDC (2015)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE (2015)
Omar Jaradat, Patrick J. Graydon, Iain Bate
An Approach to Maintaining Safety Case Evidence After A System Change. CoRR (2014)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
Automated Verification of AADL-Specifications Using UPPAAL. HASE (2012)
Barbara Gallina, Irfan Sljivo, Omar Jaradat
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. SEW (2012)