E-LIB Suche - Ergebnisse für: Sljivo, Irfan

1

Guided Integration of Formal Verification in Assurance Case:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Sljivo, Irfan ; Denney, Ewen ; Menzies, Jonathan - p. 172-190 , 2023

Link: https://doi.org/10.1007/..

2

Integrating Formal Verification and Assurance: An Inspectio..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Bourbouh, Hamza ; Farrell, Marie ; Mavridou, Anastasia... - p. 53-71 , 2021

Link: https://doi.org/10.1007/..

3

Guiding assurance of architectural design patterns for crit..:

Šljivo, Irfan ; Uriagereka, Garazi Juez ; Puri, Stefano.
Journal of Systems Architecture. 110 (2020) - p. 101765 , 2020

Link: https://doi.org/10.1016/..

4

A Fault-Tolerant Controller Manager for Platooning Simulati..:

, In: 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE),

Hasan, Shahriar ; Al Ahad, Muhammed Abdullah ; Sljivo, Irfan... - p. 1-6 , 2019

Link: https://doi.org/10.1109/..

5

Safe cooperating cyber-physical systems using wireless comm..:

Pop, Paul ; Scholle, Detlef ; Šljivo, Irfan...
Microprocessors and Microsystems. 53 (2017) - p. 42-50 , 2017

Link: https://doi.org/10.1016/..

6

A method to generate reusable safety case argument-fragment..:

Šljivo, Irfan ; Gallina, Barbara ; Carlson, Jan..
Journal of Systems and Software. 131 (2017) - p. 570-590 , 2017

Link: https://doi.org/10.1016/..

7

Building multiple-viewpoint assurance cases using assumptio..:

, In: Proccedings of the 10th European Conference on Software Architecture Workshops,

Sljivo, Irfan ; Gallina, Barbara - p. 1-7 , 2016

Link: https://dl.acm.org/doi/1..

8

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

Lisova, Elena ; Sljivo, Irfan ; Causevic, Aida
IEEE Systems Journal, 1932-8184, 2019, 13:3, s. 2189-2200. , 2019

Link: http://urn.kb.se/resolve..

9

Tool-Supported Safety-Relevant Component Reuse: From Specif..:

Sljivo, Irfan ; Gallina, Barbara ; Carlson, Jan..
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 Ada-Europe-2018, p. 19-33. , 2018

Link: http://urn.kb.se/resolve..

10

Assurance Aware Contract-based Design for Safety-critical S..:

Sljivo, Irfan
Mälardalen University Press Dissertations, 1651-4238. , 2018

Link: http://urn.kb.se/resolve..

11

Cooperative safety critical CPS platooning in SafeCOP:

Medawar, S ; Scholle, D ; Šljivo, Irfan
2017 6th Mediterranean Conference on Embedded Computing, MECO 2017 - Including ECYPS 2017, Proceedings, p. 29-33. , 2017

Link: http://urn.kb.se/resolve..

12

Safe Cooperating Cyber-Physical Systems using Wireless Comm..:

Pop, Paul ; Scholle, Detlef ; Sljivo, Irfan...
https://orbit.dtu.dk/en/publications/9ca98e85-009a-4631-ba90-492c67f6b2d0. , 2017

Link: https://orbit.dtu.dk/en/..

13

Safe cooperating cyber-physical systems using wireless comm..:

Pop, P ; Scholle, D ; Šljivo, Irfan...
Microprocessors and microsystems, 0141-9331, 2017, 53, s. 42-50. , 2017

Link: http://urn.kb.se/resolve..

14

Configuration-aware contracts:

Sljivo, Irfan ; Gallina, Barbara ; Carlson, Jan.
Lecture Notes in Computer Science, 0302-9743. , 2016

Link: http://urn.kb.se/resolve..

15

Facilitating Reuse of Safety Case Artefacts Using Safety Co..:

Šljivo, Irfan
Mälardalen University Press Licentiate Theses, 1651-9256. , 2015

Link: http://urn.kb.se/resolve..