Omar Jaradat

According to our database, Omar Jaradat authored at least 12 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Service Level Agreements for Safe and Configurable Production Environments.

Mohammad Ashjaei, Kester Dean Clegg, Lorenzo Corneo, Richard Hawkins, Omar Jaradat, Vincenzo Massimiliano Gulisano, Yiannis Nikolakopoulos

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Using Safety Contracts to Verify Design Assumptions During Runtime.

Omar Jaradat, Sasikumar Punnekkat

Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017

Contract-based assurance for wireless cooperative functions of vehicular systems.

Svetlana Girs, Irfan Sljivo, Omar Jaradat

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Challenges of Safety Assurance for Industry 4.0.

Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins

Proceedings of the 13th European Dependable Computing Conference, 2017

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases.

Omar Tawffeeq Saleem Jaradat, Iain Bate

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Systematic Maintenance of Safety Cases to Reduce Risk.

Omar Jaradat, Iain Bate

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Deriving Hierarchical Safety Contracts.

Omar Jaradat, Iain Bate

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.

Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.

Omar Jaradat, Iain Bate, Sasikumar Punnekkat

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

An Approach to Maintaining Safety Case Evidence After A System Change.

Omar Jaradat, Patrick J. Graydon, Iain Bate

CoRR, 2014

2012

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification.

Barbara Gallina, Irfan Sljivo, Omar Jaradat

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Automated Verification of AADL-Specifications Using UPPAAL.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012