Irfan Sljivo

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