Concepedia

Pierre-Yves Piriou

PP

Statistics

Publications

5

Citations

154

H-Index

5

Active since

2015

Affiliations

Électricité de France (France)(Current)

École Normale Supérieure Paris-Saclay

Pierre-Yves Piriou is an author at Électricité de France (France) specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsAutomated ReasoningFormal VerificationBlockchainVerificationAutomationSimulation

Publications per year

2015–2020

5

Publications

5

Model-Checking of Smart Contracts

Zeinab Nehaï, Pierre-Yves Piriou, Frédéric Daumas · 2018 · 80 citations

Engineering, Verification, Software Engineering +20

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 · Reliability Engineering & System Safety · 2017 · 24 citations

Engineering, Verification, Safety Science +17

Simulation of Stochastic Blockchain Models

Pierre-Yves Piriou, Jean‐François Dumas · 2018 · 22 citations

Stochastic Simulation, Blockchain Consensus Protocol, Engineering +12

Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata

Loïc Desgeorges, Pierre-Yves Piriou, Thibault Lemattre et al. · Reliability Engineering & System Safety · 2020 · 18 citations

Logical Automaton, Engineering, Automated Reasoning +8

Modeling standby redundancies in repairable systems as guarded preemption mechanisms

Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage · IFAC-PapersOnLine · 2015 · 10 citations · Full text

1–5 of 5