Pierre-Yves Piriou

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Topics

Statistical Databases

Hybrid Automata

Enterprise Wide

Top Venues

Reliab. Eng. Syst. Saf.

iThings/GreenCom/CPSCom/SmartData

Publications

Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou
Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric. CoRR (2024)
Loïc Desgeorges, Pierre-Yves Piriou, Thibault Lemattre, Hassane Chraibi
Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata. Reliab. Eng. Syst. Saf. 208 (2021)
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. BCCA (2021)
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. CoRR (2021)
Pierre-Yves Piriou, Jean-Francois Dumas
Simulation of Stochastic Blockchain Models. EDCC (2018)
Zeinab Nehai, Pierre-Yves Piriou, Frédéric F. Daumas
Model-Checking of Smart Contracts. iThings/GreenCom/CPSCom/SmartData (2018)
Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage
Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. Reliab. Eng. Syst. Saf. 163 (2017)
Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze
A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production. IEEE Syst. J. 10 (1) (2016)
Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze
A meta-model for integrating safety concerns into systems engineering processes. SysCon (2013)