Parametric analyses of attack-fault trees

Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga

Research output: Working paperProfessional

13 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 12 Feb 2019

Cite this

André, É., Lime, D., Ramparison, M., & Stoelinga, M. (2019). Parametric analyses of attack-fault trees.
André, Étienne ; Lime, Didier ; Ramparison, Mathias ; Stoelinga, Mariëlle. / Parametric analyses of attack-fault trees. 2019.
@techreport{9b08758edf7c4beead5abfb92e586474,
title = "Parametric analyses of attack-fault trees",
author = "{\'E}tienne Andr{\'e} and Didier Lime and Mathias Ramparison and Mari{\"e}lle Stoelinga",
note = "This is the extended version of the manuscript of the same name published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), the PHC Van Gogh project PAMPAS and ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST",
year = "2019",
month = "2",
day = "12",
language = "English",
type = "WorkingPaper",

}

André, É, Lime, D, Ramparison, M & Stoelinga, M 2019 'Parametric analyses of attack-fault trees'.

Parametric analyses of attack-fault trees. / André, Étienne; Lime, Didier; Ramparison, Mathias; Stoelinga, Mariëlle.

2019.

Research output: Working paperProfessional

TY - UNPB

T1 - Parametric analyses of attack-fault trees

AU - André, Étienne

AU - Lime, Didier

AU - Ramparison, Mathias

AU - Stoelinga, Mariëlle

N1 - This is the extended version of the manuscript of the same name published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), the PHC Van Gogh project PAMPAS and ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST

PY - 2019/2/12

Y1 - 2019/2/12

M3 - Working paper

BT - Parametric analyses of attack-fault trees

ER -

André É, Lime D, Ramparison M, Stoelinga M. Parametric analyses of attack-fault trees. 2019 Feb 12.