Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. - Barbara Gallina; Irfan Sljivo; Omar Jaradat (SEW, 2012)

Strong and weak contract formalism for third-party component reuse. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson (ISSRE (Supplemental Proceedings), 2013)

Generation of Safety Case Argument-Fragments from Safety Contracts. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson (SAFECOMP, 2014)

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. - Irfan Sljivo; Omar Jaradat; Iain Bate; Patrick J. Graydon (HASE, 2015)

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (ICSR, 2015)

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson (PRDC, 2015)

Building multiple-viewpoint assurance cases using assumption/guarantee contracts. - Irfan Sljivo; Barbara Gallina (ECSA Workshops, 2016)

Towards Cloud-Based Enactment of Safety-Related Processes. - Sami Alajrami; Barbara Gallina; Irfan Sljivo; Alexander B. Romanovsky; Petter Isberg (SAFECOMP, 2016)

Configuration-Aware Contracts. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans A. Hansson (SAFECOMP Workshops, 2016)

Challenges of Safety Assurance for Industry 4.0. - Omar Jaradat; Irfan Sljivo; Ibrahim Habli; Richard Hawkins (EDCC, 2017)

Contract-based assurance for wireless cooperative functions of vehicular systems. - Svetlana Girs; Irfan Sljivo; Omar Jaradat (IECON, 2017)

Cooperative safety critical CPS platooning in SafeCOP. - Samer Medawar; Detlef Scholle; Irfan Sljivo (MECO, 2017)

Assuring Degradation Cascades of Car Platoons via Contracts. - Irfan Sljivo; Barbara Gallina; Bernhard Kaiser (SAFECOMP Workshops, 2017)

Agent-Centred Approach for Assuring Ethics in Dependable Service Systems. - Irfan Sljivo; Elena Lisova; Sara Afshar (SERVICES, 2017)

A method to generate reusable safety case argument-fragments from compositional safety analysis. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (J. Syst. Softw., 2017)

Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach. - Paul Pop; Detlef Scholle; Irfan Sljivo; Hans Hansson; Gunnar Widforss; Malin Rosqvist (Microprocess. Microsystems, 2017)

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (Ada-Europe, 2018)

Assurance Aware Contract-based Design for Safety-critical Systems. - Irfan Sljivo (2018)

A Fault-Tolerant Controller Manager for Platooning Simulation. - Shahriar Hasan; Muhammed Abdullah Al Ahad; Irfan Sljivo; Ali Balador; Svetlana Girs; Elena Lisova (ICCVE, 2019)

Safety and Security Co-Analyses: A Systematic Literature Review. - Elena Lisova; Irfan Sljivo; Aida Causevic (IEEE Syst. J., 2019)

Guiding assurance of architectural design patterns for critical applications. - Irfan Sljivo; Garazi Juez Uriagereka; Stefano Puri; Barbara Gallina (J. Syst. Archit., 2020)

Integrating Formal Verification and Assurance: An Inspection Rover Case Study. - Hamza Bourbouh; Marie Farrell; Anastasia Mavridou; Irfan Sljivo; Guillaume Brat; Louise A. Dennis; Michael Fisher 001 (NFM, 2021)

Guided Integration of Formal Verification in Assurance Cases. - Irfan Sljivo; Ewen Denney; Jonathan Menzies (ICFEM, 2023)

Developing a Dependable Multi-Agent Rover Swarm Using cFS. - Pavlo Vlastos; Irfan Sljivo; Corey Carter; Aaron Woodard (ISSRE (Workshops), 2024)