| Safety and security co-analyses: A systematic literature review E Lisova, I Šljivo, A Čaušević IEEE Systems Journal 13 (3), 2189-2200, 2018 | 81 | 2018 |
| 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 | 52 | 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 |
| Integrating formal verification and assurance: an inspection rover case study H Bourbouh, M Farrell, A Mavridou, I Sljivo, G Brat, LA Dennis, M Fisher NASA Formal Methods Symposium, 53-71, 2021 | 43 | 2021 |
| Generation of safety case argument-fragments from safety contracts I Sljivo, B Gallina, J Carlson, H Hansson Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 37 | 2014 |
| Strong and weak contract formalism for third-party component reuse I Sljivo, B Gallina, J Carlson, H Hansson 2013 IEEE International Symposium on Software Reliability Engineering …, 2013 | 35 | 2013 |
| A method to generate reusable safety case argument-fragments from compositional safety analysis I Šljivo, B Gallina, J Carlson, H Hansson, S Puri Journal of Systems and Software 131, 570-590, 2017 | 33 | 2017 |
| Guiding assurance of architectural design patterns for critical applications I Šljivo, GJ Uriagereka, S Puri, B Gallina Journal of Systems Architecture 110, 101765, 2020 | 30 | 2020 |
| Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach P Pop, D Scholle, I Šljivo, H Hansson, G Widforss, M Rosqvist Microprocessors and microsystems 53, 42-50, 2017 | 23 | 2017 |
| Towards cloud-based enactment of safety-related processes S Alajrami, B Gallina, I Sljivo, A Romanovsky, P Isberg Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 18 | 2016 |
| A method to generate reusable safety case fragments from compositional safety analysis I Sljivo, B Gallina, J Carlson, H Hansson, S Puri Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th …, 2014 | 18 | 2014 |
| Tool-supported safety-relevant component reuse: From specification to argumentation I Sljivo, B Gallina, J Carlson, H Hansson, S Puri Reliable Software Technologies–Ada-Europe 2018: 23rd Ada-Europe …, 2018 | 16 | 2018 |
| Cooperative safety critical CPS platooning in SafeCOP S Medawar, D Scholle, I Šljivo 2017 6th Mediterranean Conference on Embedded Computing (MECO), 1-5, 2017 | 15 | 2017 |
| 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 | 12 | 2017 |
| Assuring degradation cascades of car platoons via contracts I Sljivo, B Gallina, B Kaiser Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017 | 12 | 2017 |
| 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 | 12 | 2015 |
| A fault-tolerant controller manager for platooning simulation S Hasan, MA Al Ahad, I Sljivo, A Balador, S Girs, E Lisova 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE), 1-6, 2019 | 10 | 2019 |
| Fostering reuse within safety-critical component-based systems through fine-grained contracts I Sljivo, J Carlson, B Gallina, H Hansson Proceedings of the International Workshop on Critical Software Component …, 2013 | 10 | 2013 |
| 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 |
| Building multiple-viewpoint assurance cases using assumption/guarantee contracts I Sljivo, B Gallina Proccedings of the 10th European Conference on Software Architecture …, 2016 | 9 | 2016 |
