Pierre-Yves Piriou

According to our database, Pierre-Yves Piriou authored at least 8 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric.

Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou

CoRR, 2024

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

Justifying the Dependability and Security of Business-Critical Blockchain-based Applications.

Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan

Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021

2018

Model-Checking of Smart Contracts.

Zeinab Nehai, Pierre-Yves Piriou, Frédéric F. Daumas

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Simulation of Stochastic Blockchain Models.

Pierre-Yves Piriou, Jean-Francois Dumas

Proceedings of the 14th European Dependable Computing Conference, 2018

2017

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

2016

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

2013

A meta-model for integrating safety concerns into systems engineering processes.

Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze

Proceedings of the IEEE International Systems Conference, 2013