Concepedia

Michaël Périn

MP

Statistics

Publications

4

Citations

129

H-Index

4

Active since

1999

Affiliations

Verimag(Current)

Michaël Périn is an author at Verimag specializing in verification, engineering, and computer science.

Top concepts

EngineeringVerificationComputer ScienceFormal MethodsFormal VerificationCryptographyData SecuritySoftware AnalysisAutomated ReasoningSystems Engineering

Publications per year

1999–2018

4

Publications

4

Consistency checking for multiple view software architectures

Pascal Fradet, Daniel Le Métayer, Michaël Périn · ACM SIGSOFT Software Engineering Notes · 1999 · 74 citations

Software Maintenance, Train Control System, Engineering +22

Pattern-based abstraction for verifying secrecy in protocols

Liana Bozga, Yassine Lakhnech, Michaël Périn · International Journal on Software Tools for Technology Transfer · 2005 · 32 citations

Cryptographic Primitive, Engineering, Information Security +10

The Verified Polyhedron Library: an Overview

Sylvain Boulmé, Alexandre Marechaly, David Monniaux et al. · 2018 · 13 citations · Full text

Mathematical Programming, Engineering, Geometry +18

Generating Invariant-Based Certificates for Embedded Systems

Jan Olaf Blech, Michaël Périn · ACM Transactions on Embedded Computing Systems · 2012 · 10 citations

Invariant-based Certificates, Engineering, Verification +25

1–4 of 4