Omar Jaradat
Omar Jaradat
Doctoral Student, Mälardalen University
Verified email at mdh.se - Homepage
Title
Cited by
Cited by
Year
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
412012
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
402012
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
252017
Using sensitivity analysis to facilitate the maintenance of safety cases
O Jaradat, I Bate, S Punnekkat
Ada-Europe International Conference on Reliable Software Technologies, 162-176, 2015
122015
An approach to maintaining safety case evidence after a system change
O Jaradat, P Graydon, I Bate
arXiv preprint arXiv:1404.6846, 2014
102014
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
92017
Using safety contracts to verify design assumptions during runtime
O Jaradat, S Punnekkat
Ada-Europe International Conference on Reliable Software Technologies, 3-18, 2018
82018
Facilitating the maintenance of safety cases
O Jaradat, I Bate, S Punnekkat
Current Trends in Reliability, Availability, Maintainability and Safety, 349-371, 2016
82016
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
72015
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
62017
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
A safety-centric change management framework by tailoring agile and V-Model processes
A Salameh, O Jaradat
32018
Systematic maintenance of safety cases to reduce risk
O Jaradat, I Bate
International Conference on Computer Safety, Reliability, and Security, 17-29, 2016
32016
Automated architecture-based verification of safety-critical systems
OTS Jaradat
32011
Modular Safety Cases for the Assurance of Industry 4.0
O Jaradat, I Sljivo, RD Hawkins, I Habli
Safety-Critical Systems Symposium, 2020
22020
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
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
12018
Contracts-Based Maintenance of Safety Cases
O Jaradat
Mälardalen University, 2018
12018
Enhancing the Maintainability of Safety Cases Using Safety Contracts
O Jaradat
Mälardalen University, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20