| 2024 | ISSRE | Developing a Dependable Multi-Agent Rover Swarm Using cFS. | Pavlo Vlastos, Irfan Sljivo, Corey Carter, Aaron Woodard |
| 2023 | ICFEM | Guided Integration of Formal Verification in Assurance Cases. | Irfan Sljivo, Ewen Denney, Jonathan Menzies |
| 2019 | COMPSAC | Safety and Security Co-Analyses: A Systematic Literature Review. | Elena Lisova, Irfan Sljivo, Aida Causevic |
| 2017 | EDCC | Challenges of Safety Assurance for Industry 4.0. | Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins |
| 2017 | IECON | Contract-based assurance for wireless cooperative functions of vehicular systems. | Svetlana Girs, Irfan Sljivo, Omar Jaradat |
| 2017 | SAFECOMP | Assuring Degradation Cascades of Car Platoons via Contracts. | Irfan Sljivo, Barbara Gallina, Bernhard Kaiser |
| 2017 | SERVICES | Agent-Centred Approach for Assuring Ethics in Dependable Service Systems. | Irfan Sljivo, Elena Lisova, Sara Afshar |
| 2016 | ECSA | Building multiple-viewpoint assurance cases using assumption/guarantee contracts. | Irfan Sljivo, Barbara Gallina |
| 2016 | SAFECOMP | Towards Cloud-Based Enactment of Safety-Related Processes. | Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg |
| 2016 | SAFECOMP | Configuration-Aware Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson |
| 2015 | ICSR | A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri |
| 2015 | PRDC | Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2014 | SAFECOMP | Generation of Safety Case Argument-Fragments from Safety Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2013 | ISSRE | Strong and weak contract formalism for third-party component reuse. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2012 | SEW | Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. | Barbara Gallina, Irfan Sljivo, Omar Jaradat |