Irfan Sljivo

According to our database, Irfan Sljivo authored at least 22 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Guided Integration of Formal Verification in Assurance Cases.

Irfan Sljivo, Ewen Denney, Jonathan Menzies

Proceedings of the Formal Methods and Software Engineering, 2023

2021

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

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Guiding assurance of architectural design patterns for critical applications.

Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina

J. Syst. Archit., 2020

2019

Safety and Security Co-Analyses: A Systematic Literature Review.

Elena Lisova, Irfan Sljivo, Aida Causevic

IEEE Syst. J., 2019

A Fault-Tolerant Controller Manager for Platooning Simulation.

Shahriar Hasan, Muhammed Abdullah Al Ahad, Irfan Sljivo, Ali Balador, Svetlana Girs, Elena Lisova

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

2018

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri

Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

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

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

Agent-Centred Approach for Assuring Ethics in Dependable Service Systems.

Irfan Sljivo, Elena Lisova, Sara Afshar

Proceedings of the 2017 IEEE World Congress on Services, 2017

Assuring Degradation Cascades of Car Platoons via Contracts.

Irfan Sljivo, Barbara Gallina, Bernhard Kaiser

Proceedings of the Computer Safety, Reliability, and Security, 2017

Cooperative safety critical CPS platooning in SafeCOP.

Samer Medawar, Detlef Scholle, Irfan Sljivo

Proceedings of the 6th Mediterranean Conference on Embedded Computing, 2017

Contract-based assurance for wireless cooperative functions of vehicular systems.

Svetlana Girs, Irfan Sljivo, Omar Jaradat

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Challenges of Safety Assurance for Industry 4.0.

Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Configuration-Aware Contracts.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson

Proceedings of the Computer Safety, Reliability, and Security, 2016

Towards Cloud-Based Enactment of Safety-Related Processes.

Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg

Proceedings of the Computer Safety, Reliability, and Security, 2016

Building multiple-viewpoint assurance cases using assumption/guarantee contracts.

Irfan Sljivo, Barbara Gallina

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2015

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.

Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Generation of Safety Case Argument-Fragments from Safety Contracts.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

Strong and weak contract formalism for third-party component reuse.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification.

Barbara Gallina, Irfan Sljivo, Omar Jaradat

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012