​
Login / Signup
Omar Jaradat
ORCID
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
Ada-Europe
HASE
IECON
PRDC
</>
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)