BH akademski imenik

A method to generate reusable safety case argument-fragments from compositional safety analysis

1. 9. 2017.

25

Irfan Šljivo, Barbara Gallina, J. Carlson, Hans A. Hansson, Stefano Puri

Journal of Systems and Software

Preuzmi PDF

Vidi više

Challenges of Safety Assurance for Industry 4.0

1. 9. 2017.

34

Omar Jaradat, Irfan Šljivo, I. Habli, R. Hawkins

European Dependable Computing Conference

Preuzmi PDF

Vidi više

Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach

1. 8. 2017.

23

P. Pop, Detlef Scholle, Irfan Šljivo, Hans A. Hansson, G. Widforss, M. Rosqvist

Microprocessors and microsystems

Preuzmi PDF

Vidi više

Cooperative safety critical CPS platooning in SafeCOP

1. 6. 2017.

9

S. Medawar, Detlef Scholle, Irfan Šljivo

Mediterranean Conference on Embedded Computing

Preuzmi PDF

Vidi više

Agent-Centred Approach for Assuring Ethics in Dependable Service Systems

1. 6. 2017.

5

Irfan Šljivo, Elena Lisova, Sara Afshar

World Congress on Services

Preuzmi PDF

Vidi više

Building multiple-viewpoint assurance cases using assumption/guarantee contracts

28. 11. 2016.

8

Irfan Šljivo, Barbara Gallina

ECSA Workshops

Preuzmi PDF

Vidi više

Towards Cloud-Based Enactment of Safety-Related Processes

20. 9. 2016.

14

Sami Alajrami, Barbara Gallina, Irfan Šljivo, A. Romanovsky, Petter Isberg

International Conference on Computer Safety, Reliability, and Security

Preuzmi PDF

Vidi više

Configuration-Aware Contracts

20. 9. 2016.

4

Irfan Šljivo, Barbara Gallina, J. Carlson, Hans A. Hansson

SAFECOMP Workshops

Preuzmi PDF

Vidi više

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

18. 11. 2015.

4

Irfan Šljivo, Barbara Gallina, J. Carlson, Hans A. Hansson

Pacific Rim International Symposium on Dependable Computing

Preuzmi PDF

Vidi više

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems

8. 1. 2015.

7

Irfan Šljivo, Omar Jaradat, I. Bate, P. Graydon

IEEE International Symposium on High-Assurance Systems Engineering

Preuzmi PDF

Vidi više

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

4. 1. 2015.

10

Irfan Šljivo, Barbara Gallina, J. Carlson, Hans A. Hansson, Stefano Puri

International Conference on Software Reuse

Preuzmi PDF

Vidi više

Facilitating Reuse of Safety Case Artefacts Using Safety Contracts

2015.

2

Irfan Šljivo

Preuzmi PDF

Vidi više

Generation of Safety Case Argument-Fragments from Safety Contracts

10. 9. 2014.

27

Irfan Šljivo, Barbara Gallina, J. Carlson, Hans A. Hansson

International Conference on Computer Safety, Reliability, and Security

Preuzmi PDF

Vidi više

Strong and weak contract formalism for third-party component reuse

1. 11. 2013.

22

Irfan Šljivo, Barbara Gallina, J. Carlson, Hans A. Hansson

2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

Preuzmi PDF

Vidi više

Fostering Reuse within Safety-critical Component-based Systems through Fine-grained Contracts

2013.

8

Irfan Šljivo, J. Carlson, Barbara Gallina, Hans A. Hansson

Preuzmi PDF

Vidi više

Nema pronađenih rezultata, molimo da izmjenite uslove pretrage i pokušate ponovo!

Publikacije (31)

Filters

Filteri

Datum objave

Uključeni istraživači

Dodatni filteri

Pretplatite se na novosti o BH Akademskom Imeniku