Irfan Šljivo
Irfan Šljivo
KBR / NASA Ames Research Center
Email verificata su nasa.gov
Titolo
Citata da
Citata da
Anno
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
372012
Generation of safety case argument-fragments from safety contracts
I Sljivo, B Gallina, J Carlson, H Hansson
International Conference on Computer Safety, Reliability, and Security, 170-185, 2014
252014
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
192013
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
172017
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
162017
A method to generate reusable safety case fragments from compositional safety analysis
I Sljivo, B Gallina, J Carlson, H Hansson, S Puri
International Conference on Software Reuse, 253-268, 2015
152015
Safety and security co-analyses: A systematic literature review
E Lisova, I Šljivo, A Čaušević
IEEE Systems Journal 13 (3), 2189-2200, 2018
142018
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
132017
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
Towards cloud-based enactment of safety-related processes
S Alajrami, B Gallina, I Sljivo, A Romanovsky, P Isberg
International Conference on Computer Safety, Reliability, and Security, 309-321, 2016
82016
Assuring degradation cascades of car platoons via contracts
I Sljivo, B Gallina, B Kaiser
International Conference on Computer Safety, Reliability, and Security, 317-329, 2017
72017
Cooperative safety critical cps platooning in safecop
S Medawar, D Scholle, I Šljivo
2017 6th Mediterranean Conference on Embedded Computing (MECO), 1-5, 2017
72017
Using safety contracts to guide the integration of reusable safety elements within ISO 26262
B Gallina, J Carlson, H Hansson
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015
72015
Fostering reuse within safety-critical component-based systems through fine-grained contracts
I Sljivo, J Carlson, B Gallina, H Hansson
International Workshop on Critical Software Component Reusability and …, 2013
72013
Configuration-aware contracts
I Sljivo, B Gallina, J Carlson, H Hansson
International Conference on Computer Safety, Reliability, and Security, 43-54, 2016
62016
Agent-centred approach for assuring ethics in dependable service systems
I Šljivo, E Lisova, S Afshar
2017 IEEE World Congress on Services (SERVICES), 51-58, 2017
52017
Building multiple-viewpoint assurance cases using assumption/guarantee contracts
I Sljivo, B Gallina
Proccedings of the 10th European Conference on Software Architecture …, 2016
52016
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
52015
Tool-supported safety-relevant component reuse: From specification to argumentation
I Sljivo, B Gallina, J Carlson, H Hansson, S Puri
Ada-Europe International Conference on Reliable Software Technologies, 19-33, 2018
32018
Assurance aware contract-based design for safety-critical systems
I Sljivo
Mälardalen University, 2018
22018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20