Modeling Railway Control Systems Using Graph Grammars: A Case Study. - A. A. Holzbacher; Michaël Périn; Mario Südholt (COORDINATION, 1997)

Consistency Checking for Multiple View Software Architectures. - Pascal Fradet; Daniel Le Métayer; Michaël Périn (ESEC / SIGSOFT FSE, 1999)

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. - Liana Bozga; Yassine Lakhnech; Michaël Périn (CAV, 2003)

Automatic Verification of Security Properties Based on Abstractions. - Liana Bozga; Cristian Ene; Romain Janvier; Yassine Lakhnech; Laurent Mazaré; Michaël Périn (VISSAS, 2005)

Certifying cryptographic protocols by abstract model-checking and proof concretization. - Romain Janvier; Yassine Lakhnech; Michaël Périn (SIGBED Rev., 2006)

Pattern-based abstraction for verifying secrecy in protocols. - Liana Bozga; Yassine Lakhnech; Michaël Périn (Int. J. Softw. Tools Technol. Transf., 2006)

Convincing Proofs for Program Certification. - Manuel Garnacho; Michaël Périn (SafeCert@ETAPS, 2008)

Certification of smart-card applications in common criteria. - Iman Narasamdya; Michaël Périn (SAC, 2009)

Certifying deadlock-freedom for BIP models. - Jan Olaf Blech; Michaël Périn (SCOPES, 2009)

Gentzen-Prawitz Natural Deduction as a Teaching Tool - Jean-François Monin; Cristian Ene; Michaël Périn (CoRR, 2009)

Invariants and Robustness of BIP Models. - Jan Olaf Blech; Thanh-Hung Nguyen; Michaël Périn (WING@ETAPS/IJCAR, 2010)

Generating Invariant-Based Certificates for Embedded Systems. - Jan Olaf Blech; Michaël Périn (ACM Trans. Embed. Comput. Syst., 2012)

Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. - Alexis Fouilhé; David Monniaux; Michaël Périn (SAS, 2013)

Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. - Alexandre Maréchal; Alexis Fouilhé; Tim King 001; David Monniaux; Michaël Périn (VMCAI, 2016)

Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. - Alexandre Maréchal; David Monniaux; Michaël Périn (SAS, 2017)

Efficient Elimination of Redundancies in Polyhedra by Raytracing. - Alexandre Maréchal; Michaël Périn (VMCAI, 2017)

The Verified Polyhedron Library: an Overview. - Sylvain Boulmé; Alexandre Maréchal; David Monniaux; Michaël Périn; Hang Yu 005 (SYNASC, 2018)