Michaël Périn

20 papers A* 1A 1B 5C 2Misc 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2018 Misc conf
The Verified Polyhedron Library: an Overview.
SYNASC
Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu
2017 B conf
Efficient Elimination of Redundancies in Polyhedra by Raytracing.
VMCAI
Alexandre Maréchal, Michaël Périn
2017 B conf
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming.
SAS
Alexandre Maréchal, David Monniaux, Michaël Périn
2016 B conf
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem.
VMCAI
Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn
2013 J jnl
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
CoRR
Alexis Fouilhé, David Monniaux, Michaël Périn
2013 B conf
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.
SAS
Alexis Fouilhé, David Monniaux, Michaël Périn
2012 J jnl
Generating Invariant-Based Certificates for Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Jan Olaf Blech, Michaël Périn
2010 — conf
Invariants and Robustness of BIP Models.
WING@ETAPS/IJCAR
Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn
2009 B conf
Certification of Smart-Card Applications in Common Criteria.
FASE
Iman Narasamdya, Michaël Périn
2009 Misc conf
Certification of smart-card applications in common criteria.
SAC
Iman Narasamdya, Michaël Périn
2009 C conf
Certifying deadlock-freedom for BIP models.
SCOPES
Jan Olaf Blech, Michaël Périn
2009 J jnl
Gentzen-Prawitz Natural Deduction as a Teaching Tool
CoRR
Jean-François Monin, Cristian Ene, Michaël Périn
2008 — conf
Convincing Proofs for Program Certification.
SafeCert@ETAPS
Manuel Garnacho, Michaël Périn
2006 J jnl
Certifying cryptographic protocols by abstract model-checking and proof concretization.
SIGBED Rev.
Romain Janvier, Yassine Lakhnech, Michaël Périn
2006 J jnl
Pattern-based abstraction for verifying secrecy in protocols.
Int. J. Softw. Tools Technol. Transf.
Liana Bozga, Yassine Lakhnech, Michaël Périn
2005 — conf
Automatic Verification of Security Properties Based on Abstractions.
VISSAS
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
2003 A* conf
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.
CAV
Liana Bozga, Yassine Lakhnech, Michaël Périn
2003 A conf
Pattern-Based Abstraction for Verifying Secrecy in Protocols.
TACAS
Liana Bozga, Yassine Lakhnech, Michaël Périn
1999 — conf
Consistency Checking for Multiple View Software Architectures.
ESEC / SIGSOFT FSE
Pascal Fradet, Daniel Le Métayer, Michaël Périn
1997 C conf
Modeling Railway Control Systems Using Graph Grammars: A Case Study.
COORDINATION
A. A. Holzbacher, Michaël Périn, Mario Südholt