Michaël PÉRIN
Michaël PÉRIN
Assistant professor, VERIMAG / Univ. Grenoble-Alpes
Verified email at univ-grenoble-alpes.fr - Homepage
TitleCited byYear
Consistency checking for multiple view software architectures
P Fradet, D Le Métayer, M Périn
Software Engineering—ESEC/FSE’99, 410-428, 1999
1041999
Hermes: An automatic tool for verification of secrecy in security protocols
L Bozga, Y Lakhnech, M Périn
International Conference on Computer Aided Verification, 219-222, 2003
672003
Efficient generation of correctness certificates for the abstract domain of polyhedra
A Fouilhé, D Monniaux, M Périn
International Static Analysis Symposium, 345-365, 2013
352013
Pattern-based abstraction for verifying secrecy in protocols
L Bozga, Y Lakhnech, M Périn
International Conference on Tools and Algorithms for the Construction and …, 2003
312003
Polyhedral approximation of multivariate polynomials using Handelman’s theorem
A Maréchal, A Fouilhé, T King, D Monniaux, M Périn
International Conference on Verification, Model Checking, and Abstract …, 2016
232016
Pattern-based abstraction for verifying secrecy in protocols
L Bozga, Y Lakhnech, M Périn
International Journal on Software Tools for Technology Transfer 8 (1), 57-76, 2006
222006
Abstract interpretation for secrecy using patterns
L Bozga, Y Lakhnech, M Périn
Proceedings of TACAS, 299-314, 2002
222002
Generating invariant-based certificates for embedded systems
JO Blech, M Périn
ACM Transactions on Embedded Computing Systems (TECS) 11 (2), 34, 2012
162012
Scalable minimizing-operators on polyhedra via parametric linear programming
A Maréchal, D Monniaux, M Périn
International Static Analysis Symposium, 212-231, 2017
132017
Hermes, a tool verifying secrecy properties of unbounded security protocols
L Bozga, Y Lakhnech, M Périn
15th international conference on Computer-Aided Verification, 2003
132003
Efficient elimination of redundancies in polyhedra by raytracing
A Maréchal, M Périn
International Conference on Verification, Model Checking, and Abstract …, 2017
122017
Certification of smart-card applications in common criteria
I Narasamdya, M Périn
International Conference on Fundamental Approaches to Software Engineering …, 2009
112009
L’outil de vérification HERMES
L Bozga, Y Lakhnech, M Périn
Rapport technique EVA, 2002
112002
Spécifications graphiques multi-vues: formalisation et vérification de cohérence
M Périn
Rennes 1, 2000
112000
Modeling railway control systems using graph grammars: a case study
AA Holzbacher, M Périn, M Südholt
International Conference on Coordination Languages and Models, 172-186, 1997
101997
Three linearization techniques for multivariate polynomials in static analysis using convex polyhedra
A Maréchal, M Périn
Technical Report 7, Verimag, 2014
62014
Efficient certificate generation for the abstract domain of polyhedra
A Fouilhé, D Monniaux, M Périn
Static Analysis Symposium 3, 2013
52013
Certifying deadlock-freedom for BIP models
JO Blech, M Périn
Proceedings of th 12th International Workshop on Software and Compilers for …, 2009
42009
Towards certifying deadlock-freedom for BIP models
JO Blech, M Périn
HJM, 2008
42008
Un dispositif pour alerter les étudiants sur leur maîtrise des pré-requis nécessaires pour réussir leur entrée à l’Université
J Douady, C Hoffmann, F Carrier, B Chabaud, A Mantoux, Y Markowicz, ...
Actes du 27ème Congrès de l'Association internationale de pédagogie …, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20