Follow
Irfan Šljivo
Irfan Šljivo
KBR / NASA Ames Research Center
Verified email at nasa.gov
Title
Cited by
Cited by
Year
Safety and security co-analyses: A systematic literature review
E Lisova, I Šljivo, A Čaušević
IEEE Systems Journal 13 (3), 2189-2200, 2018
772018
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
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
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
372021
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
342013
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
332014
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
312017
Guiding assurance of architectural design patterns for critical applications
I Šljivo, GJ Uriagereka, S Puri, B Gallina
Journal of Systems Architecture 110, 101765, 2020
262020
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
242017
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
182014
Cooperative safety critical CPS platooning in SafeCOP
S Medawar, D Scholle, I Šljivo
2017 6th Mediterranean Conference on Embedded Computing (MECO), 1-5, 2017
162017
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
142018
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
142016
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
Assuring degradation cascades of car platoons via contracts
I Sljivo, B Gallina, B Kaiser
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
122017
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
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
102013
Modular safety cases for the assurance of industry 4.0
O Jaradat, I Sljivo, RD Hawkins, I Habli
Safety-Critical Systems Symposium, 2020
92020
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
92019
Building multiple-viewpoint assurance cases using assumption/guarantee contracts
I Sljivo, B Gallina
Proccedings of the 10th European Conference on Software Architecture …, 2016
92016
The system can't perform the operation now. Try again later.
Articles 1–20