Omar Jaradat

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Service Level Agreements for Safe and Configurable Production Environments.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Using Safety Contracts to Verify Design Assumptions During Runtime.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
Contract-based assurance for wireless cooperative functions of vehicular systems.
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.
Proceedings of the 13th European Dependable Computing Conference, 2017

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases.
Proceedings of the 13th European Dependable Computing Conference, 2017

2016
Systematic Maintenance of Safety Cases to Reduce Risk.
Proceedings of the Computer Safety, Reliability, and Security, 2016

2015
Deriving Hierarchical Safety Contracts.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

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

2012
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Automated Verification of AADL-Specifications Using UPPAAL.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012


  Loading...