default search action

combined dblp search
author search
venue search
publication search

ask others

Irfan Sljivo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/VlastosSCW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/VlastosSCW24
Pavlo Vlastos, Irfan Sljivo, Corey Carter, Aaron Woodard:
Developing a Dependable Multi-Agent Rover Swarm Using cFS. ISSRE (Workshops) 2024: 377-382
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SljivoDM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SljivoDM23
Irfan Sljivo, Ewen Denney, Jonathan Menzies:
Guided Integration of Formal Verification in Assurance Cases. ICFEM 2023: 172-190
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BourbouhFMSBD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BourbouhFMSBD021
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: 53-71
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/SljivoUPG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/SljivoUPG20
Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina:
Guiding assurance of architectural design patterns for critical applications. J. Syst. Archit. 110: 101765 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/LisovaSC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/LisovaSC19
Elena Lisova, Irfan Sljivo, Aida Causevic:
Safety and Security Co-Analyses: A Systematic Literature Review. IEEE Syst. J. 13(3): 2189-2200 (2019)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LisovaSC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LisovaSC19
Elena Lisova, Irfan Sljivo, Aida Causevic:
Safety and Security Co-Analyses: A Systematic Literature Review. COMPSAC (1) 2019: 833
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iccve/HasanASBGL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccve/HasanASBGL19
Shahriar Hasan, Muhammed Abdullah Al Ahad, Irfan Sljivo, Ali Balador, Svetlana Girs, Elena Lisova:
A Fault-Tolerant Controller Manager for Platooning Simulation. ICCVE 2019: 1-6
2018
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SljivoGCHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SljivoGCHP18
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe 2018: 19-33
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SljivoGCHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SljivoGCHP17
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: 570-590 (2017)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/PopSSHWR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/PopSSHWR17
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: 42-50 (2017)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/JaradatSHH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/JaradatSHH17
Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins:
Challenges of Safety Assurance for Industry 4.0. EDCC 2017: 103-106
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/GirsSJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/GirsSJ17
Svetlana Girs, Irfan Sljivo, Omar Jaradat:
Contract-based assurance for wireless cooperative functions of vehicular systems. IECON 2017: 8391-8396
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/MedawarSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/MedawarSS17
Samer Medawar, Detlef Scholle, Irfan Sljivo:
Cooperative safety critical CPS platooning in SafeCOP. MECO 2017: 1-5
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SljivoGK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SljivoGK17
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser:
Assuring Degradation Cascades of Car Platoons via Contracts. SAFECOMP Workshops 2017: 317-329
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/services/SljivoLA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/SljivoLA17
Irfan Sljivo, Elena Lisova, Sara Afshar:
Agent-Centred Approach for Assuring Ethics in Dependable Service Systems. SERVICES 2017: 51-58
2016
[c9]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ecsa/SljivoG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/SljivoG16
Irfan Sljivo, Barbara Gallina:
Building multiple-viewpoint assurance cases using assumption/guarantee contracts. ECSA Workshops 2016: 39
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SljivoGCH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SljivoGCH16
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson:
Configuration-Aware Contracts. SAFECOMP Workshops 2016: 43-54
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AlajramiGSRI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AlajramiGSRI16
Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg:
Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP 2016: 309-321
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/SljivoJBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/SljivoJBG15
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon:
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE 2015: 126-133
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/SljivoGCHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/SljivoGCHP15
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR 2015: 253-268
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/SljivoGCH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/SljivoGCH15
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. PRDC 2015: 129-138
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SljivoGCH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SljivoGCH14
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Generation of Safety Case Argument-Fragments from Safety Contracts. SAFECOMP 2014: 170-185
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SljivoGCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SljivoGCH13
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Strong and weak contract formalism for third-party component reuse. ISSRE (Supplemental Proceedings) 2013: 359-364
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/GallinaSJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/GallinaSJ12
Barbara Gallina, Irfan Sljivo, Omar Jaradat:
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. SEW 2012: 148-157

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.