Follow
Omar Jaradat
Omar Jaradat
Doctoral Student, Mälardalen University
Verified email at mdh.se - Homepage
Title
Cited by
Cited by
Year
Challenges of safety assurance for industry 4.0
O Jaradat, I Sljivo, I Habli, R Hawkins
2017 13th European Dependable Computing Conference (EDCC), 103-106, 2017
482017
Automated verification of AADL-specifications using UPPAAL
A Johnsen, K Lundqvist, P Pettersson, O Jaradat
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012
482012
Towards a safety-oriented process line for enabling reuse in safety critical systems development and certification
B Gallina, I Sljivo, O Jaradat
2012 35th Annual IEEE Software Engineering Workshop, 148-157, 2012
482012
Contract-based assurance for wireless cooperative functions of vehicular systems
S Girs, I Sljivo, O Jaradat
IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017
132017
Using sensitivity analysis to facilitate the maintenance of safety cases
O Jaradat, I Bate, S Punnekkat
Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015
122015
Deriving safety contracts to support architecture design of safety critical systems
I Sljivo, O Jaradat, I Bate, P Graydon
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
112015
An approach to maintaining safety case evidence after a system change
O Jaradat, P Graydon, I Bate
arXiv preprint arXiv:1404.6846, 2014
102014
Modular safety cases for the assurance of industry 4.0
O Jaradat, I Sljivo, RD Hawkins, I Habli
Safety-Critical Systems Symposium, 2020
92020
Using safety contracts to verify design assumptions during runtime
O Jaradat, S Punnekkat
Reliable Software Technologies–Ada-Europe 2018: 23rd Ada-Europe …, 2018
92018
Facilitating the maintenance of safety cases
O Jaradat, I Bate, S Punnekkat
Current Trends in Reliability, Availability, Maintainability and Safety: An …, 2016
92016
Using safety contracts to guide the maintenance of systems and safety cases
OTS Jaradat, I Bate
2017 13th European Dependable Computing Conference (EDCC), 95-102, 2017
72017
Deriving hierarchical safety contracts
O Jaradat, I Bate
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015
62015
The role of architectural model checking in conducting preliminary safety assessment
O Jaradat, P Graydon, I Bate
Proceedings of the 31st International System Safety Conference (ISSC …, 2013
62013
Systematic maintenance of safety cases to reduce risk
O Jaradat, I Bate
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE …, 2016
52016
Contracts-Based Maintenance of Safety Cases
O Jaradat
Mälardalen University, 2018
32018
Automated architecture-based verification of safety-critical systems
OTS Jaradat
32011
Service level agreements for safe and configurable production environments
M Ashjaei, K Clegg, L Corneo, R Hawkins, O Jaradat, VM Gulisano, ...
2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018
22018
Using safety contracts to guide the maintenance of systems and safety cases: An example
O Jaradat, I Bate
Mälardalen Real-Time Research Centre, Mälardalen University, 2017
22017
Managing Continuous Assurance of Complex Dependable Systems: Report from a workshop held at the Scandinavian Conference on System and Software Safety (SCSSS) 2022.
F Warg, A Thorsén, A Cassel, O Jaradat, N Nejad, DJ Chen, S Ursing
2022
A Safety-Centric Change Management Framework by Tailoring Agile and V-Model Processes
O Jaradat
36th International System Safety Conference, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20