Michaël Périn

According to our database, Michaël Périn authored at least 17 papers between 1997 and 2018.

Collaborative distances:

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

2018

The Verified Polyhedron Library: an Overview.

Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2017

Efficient Elimination of Redundancies in Polyhedra by Raytracing.

Alexandre Maréchal, Michaël Périn

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming.

Alexandre Maréchal, David Monniaux, Michaël Périn

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem.

Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2013

Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.

Alexis Fouilhé, David Monniaux, Michaël Périn

Proceedings of the Static Analysis - 20th International Symposium, 2013

2012

Generating Invariant-Based Certificates for Embedded Systems.

Jan Olaf Blech, Michaël Périn

ACM Trans. Embed. Comput. Syst., 2012

2010

Invariants and Robustness of BIP Models.

Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Gentzen-Prawitz Natural Deduction as a Teaching Tool

Jean-François Monin, Cristian Ene, Michaël Périn

CoRR, 2009

Certifying deadlock-freedom for BIP models.

Jan Olaf Blech, Michaël Périn

Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

Certification of smart-card applications in common criteria.

Iman Narasamdya, Michaël Périn

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

Convincing Proofs for Program Certification.

Manuel Garnacho, Michaël Périn

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

2006

Pattern-based abstraction for verifying secrecy in protocols.

Liana Bozga, Yassine Lakhnech, Michaël Périn

Int. J. Softw. Tools Technol. Transf., 2006

Certifying cryptographic protocols by abstract model-checking and proof concretization.

Romain Janvier, Yassine Lakhnech, Michaël Périn

SIGBED Rev., 2006

2005

Automatic Verification of Security Properties Based on Abstractions.

Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

2003

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.

Liana Bozga, Yassine Lakhnech, Michaël Périn

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

1999

Consistency Checking for Multiple View Software Architectures.

Pascal Fradet, Daniel Le Métayer, Michaël Périn

Proceedings of the Software Engineering, 1999

1997

Modeling Railway Control Systems Using Graph Grammars: A Case Study.

A. A. Holzbacher, Michaël Périn, Mario Südholt

Proceedings of the Coordination Languages and Models, Second International Conference, 1997