A meta-model for integrating safety concerns into systems engineering processes. - Pierre-Yves Piriou; Jean-Marc Faure; Gilles Deleuze (SysCon, 2013)

A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production. - Pierre-Yves Piriou; Jean-Marc Faure; Gilles Deleuze (IEEE Syst. J., 2016)

Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. - Pierre-Yves Piriou; Jean-Marc Faure; Jean-Jacques Lesage (Reliab. Eng. Syst. Saf., 2017)

Simulation of Stochastic Blockchain Models. - Pierre-Yves Piriou; Jean-Francois Dumas (EDCC, 2018)

Model-Checking of Smart Contracts. - Zeinab Nehai; Pierre-Yves Piriou; Frédéric F. Daumas (iThings/GreenCom/CPSCom/SmartData, 2018)

Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. - Pierre-Yves Piriou; Olivier Boudeville; Gilles Deleuze; Sara Tucci Piergiovanni; Önder Gürcan (BCCA, 2021)

Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata. - Loïc Desgeorges; Pierre-Yves Piriou; Thibault Lemattre; Hassane Chraibi (Reliab. Eng. Syst. Saf., 2021)

Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger Fabric. - Erwan Mahe; Rouwaida Abdallah; Sara Tucci Piergiovanni; Pierre-Yves Piriou (LADC, 2024)

Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric. - Erwan Mahe; Rouwaida Abdallah; Sara Tucci Piergiovanni; Pierre-Yves Piriou (CoRR, 2024)

Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric. - Erwan Mahe; Rouwaida Abdallah; Pierre-Yves Piriou; Sara Tucci Piergiovanni (CoRR, 2025)