Irfan Sljivo

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 20

Top Topics

Service Systems

Safety Critical

Top Venues

SAFECOMP Workshops

J. Syst. Archit.

Publications

Irfan Sljivo, Ewen Denney, Jonathan Menzies
Guided Integration of Formal Verification in Assurance Cases. ICFEM (2023)
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM (2021)
Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina
Guiding assurance of architectural design patterns for critical applications. J. Syst. Archit. 110 (2020)
Elena Lisova, Irfan Sljivo, Aida Causevic
Safety and Security Co-Analyses: A Systematic Literature Review. COMPSAC (1) (2019)
Elena Lisova, Irfan Sljivo, Aida Causevic
Safety and Security Co-Analyses: A Systematic Literature Review. IEEE Syst. J. 13 (3) (2019)
Shahriar Hasan, Muhammed Abdullah Al Ahad, Irfan Sljivo, Ali Balador, Svetlana Girs, Elena Lisova
A Fault-Tolerant Controller Manager for Platooning Simulation. ICCVE (2019)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe (2018)
Irfan Sljivo, Elena Lisova, Sara Afshar
Agent-Centred Approach for Assuring Ethics in Dependable Service Systems. SERVICES (2017)
Svetlana Girs, Irfan Sljivo, Omar Jaradat
Contract-based assurance for wireless cooperative functions of vehicular systems. IECON (2017)
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
Assuring Degradation Cascades of Car Platoons via Contracts. SAFECOMP Workshops (2017)
Paul Pop, Detlef Scholle, Irfan Sljivo, Hans Hansson, Gunnar Widforss, Malin Rosqvist
Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach. Microprocess. Microsystems 53 (2017)
Samer Medawar, Detlef Scholle, Irfan Sljivo
Cooperative safety critical CPS platooning in SafeCOP. MECO (2017)
Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins
Challenges of Safety Assurance for Industry 4.0. EDCC (2017)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. 131 (2017)
Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg
Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP (2016)
Irfan Sljivo, Barbara Gallina
Building multiple-viewpoint assurance cases using assumption/guarantee contracts. ECSA Workshops (2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson
Configuration-Aware Contracts. SAFECOMP Workshops (2016)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE (2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR (2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. PRDC (2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Generation of Safety Case Argument-Fragments from Safety Contracts. SAFECOMP (2014)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Strong and weak contract formalism for third-party component reuse. ISSRE (Supplemental Proceedings) (2013)
Barbara Gallina, Irfan Sljivo, Omar Jaradat
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. SEW (2012)