| 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 | 55 | 2017 |
| 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 | 48 | 2012 |
| 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 | 46 | 2012 |
| 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 | 13 | 2017 |
| Facilitating the maintenance of safety cases O Jaradat, I Bate, S Punnekkat Current Trends in Reliability, Availability, Maintainability and Safety: An …, 2016 | 12 | 2016 |
| 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 | 12 | 2015 |
| 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 | 11 | 2015 |
| An approach to maintaining safety case evidence after a system change O Jaradat, P Graydon, I Bate arXiv preprint arXiv:1404.6846, 2014 | 10 | 2014 |
| Modular safety cases for the assurance of industry 4.0 O Jaradat, I Sljivo, RD Hawkins, I Habli Safety-Critical Systems Symposium, 2020 | 9 | 2020 |
| Using safety contracts to verify design assumptions during runtime O Jaradat, S Punnekkat Reliable Software Technologies–Ada-Europe 2018: 23rd Ada-Europe …, 2018 | 8 | 2018 |
| 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 | 6 | 2017 |
| Deriving hierarchical safety contracts O Jaradat, I Bate 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015 | 6 | 2015 |
| 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 | 6 | 2013 |
| Systematic maintenance of safety cases to reduce risk O Jaradat, I Bate International Conference on Computer Safety, Reliability, and Security, 17-29, 2016 | 5 | 2016 |
| Contracts-Based Maintenance of Safety Cases O Jaradat Mälardalen University, 2018 | 3 | 2018 |
| Automated architecture-based verification of safety-critical systems OTS Jaradat | 3 | 2011 |
| 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 | 2 | 2018 |
| 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 | 1 | 2017 |
| 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 |
