Omar Jaradat

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