Author of the publication

The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.

. FTCS, page 680-685. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Checking the Multi-Formalism Language FIGARO., , , , and . DSN, page 463-470. IEEE, (2021)Cross-fertilization between safety and security engineering., and . Reliab. Eng. Syst. Saf., (2013)Various Ways to Quantify BDMPs., , , and . MARS@ETAPS, volume 316 of EPTCS, page 1-14. (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , and 10 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 55-89. EasyChair, (2021)Scalable Reliability Analysis by Lazy Verification., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 180-197. Springer, (2021)A Compositional Semantics for Repairable BDMPs., , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 82-98. Springer, (2020)Explaining Boolean-Logic Driven Markov Processes using GSPNs., , and . EDCC, page 119-126. IEEE, (2020)The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.. FTCS, page 680-685. IEEE Computer Society, (1993)Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs., , , and . PRDC, page 266-275. IEEE, (2019)