Matthieu Perin

Publications

Citations

H-Index

2012

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Matthieu Perin is an author at École Normale Supérieure Paris-Saclay specializing in formal methods, reliability engineering, and formal verification.

ORCID

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringReliability EngineeringDesignVerificationProcess SafetySafety ScienceComplex Systems

Publications per year

2012–2015

Publications

Building meaningful timed models of closed-loop DES for verification purposes

Matthieu Perin, Jean-Marc Faure · Control Engineering Practice · 2012 · 19 citations · Full text

Reliability Engineering, Engineering, Runtime Verification +12

Model-driven multi-level safety analysis of critical systems

Nataliya Yakymets, Matthieu Perin, Agnès Lanusse · 2015 · 11 citations

Engineering, Safety Science, Software Engineering +18

Rows per page

1–2 of 2