E-LIB Suche - Ergebnisse für: Bouissou, Marc

1

A Compositional Semantics of Boolean-Logic Driven Markov Pr..:

Khan, Shahid ; Katoen, Joost-Pieter ; Bouissou, Marc
IEEE Transactions on Dependable and Secure Computing. 21 (2024) 2 - p. 701-716 , 2024

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

2

Scalable Reliability Analysis by Lazy Verification:

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

Khan, Shahid ; Katoen, Joost-Pieter ; Volk, Matthias. - p. 180-197 , 2021

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

3

A Compositional Semantics for Repairable BDMPs:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Khan, Shahid ; Katoen, Joost-Pieter ; Bouissou, Marc - p. 82-98 , 2020

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

4

Explaining Boolean-Logic Driven Markov Processes using GSPN:

, In: 2020 16th European Dependable Computing Conference (EDCC),

Khan, Shahid ; Katoen, Joost-Pieter ; Bouissou, Marc - p. 119-126 , 2020

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

5

Synergizing Reliability Modeling Languages: BDMPs without R..:

, In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC),

Khan, Shahid ; Katoen, Joost-Pieter ; Volk, Matthias. - p. 266-26609 , 2019

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

6

A survey of approaches combining safety and security for in..:

Kriaa, Siwar ; Pietre-Cambacedes, Ludovic ; Bouissou, Marc.
Reliability Engineering & System Safety. 139 (2015) - p. 156-178 , 2015

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

7

A new formalism that combines advantages of fault-trees and..:

Bouissou, Marc ; Bon, Jean-Louis
Reliability Engineering & System Safety. 82 (2003) 2 - p. 149-163 , 2003

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

8

Etat de l'art des méthodes de Sûreté de fonctionnement prob..:

Carer, Philippe ; Druet, Jules ; Legendre, Anthony...
hal-03878340. , 2022

Link: https://hal.science/hal-..

9

Bridging the Dependability and Model Checking worlds:

Bouissou, Marc ; Khan, Shahid
hal-03878345. , 2022

Link: https://hal.science/hal-..

10

Etat de l'art des méthodes de Sûreté de fonctionnement prob..:

Carer, Philippe ; Druet, Jules ; Legendre, Anthony...
hal-03878340. , 2022

Link: https://hal.science/hal-..

11

Generic method to transform a Modelica simulation model int..:

Bouissou, Marc ; Buffoni, Lena
hal-03452342. , 2020

Link: https://hal.science/hal-..

12

Various Ways to Quantify BDMPs:

Bouissou, Marc ; Khan, Shahid ; Katoen, Joost-Pieter.
info:eu-repo/semantics/altIdentifier/arxiv/arXiv:2004.13283. , 2020

Link: https://publications.rwt..

13

Various Ways to Quantify BDMPs:

Bouissou, Marc ; Khan, Shahid ; Katoen, Joost-Pieter.
http://arxiv.org/abs/2004.13283. , 2020

Link: http://arxiv.org/abs/200..

14

Generic method to transform a Modelica simulation model int..:

Bouissou, Marc ; Buffoni, Lena
hal-03452342. , 2020

Link: https://hal.archives-ouv..

15

Extensions of the I&AB method for the reliability assessmen..:

Bouissou, Marc
hal-02274758. , 2018

Link: https://hal-edf.archives..