| 2018 | SYNASC | The Verified Polyhedron Library: an Overview. | Sylvain Boulm, Alexandre Marchal, David Monniaux, Michal Prin, Hang Yu |
| 2017 | SAS | Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. | Alexandre Marchal, David Monniaux, Michal Prin |
| 2017 | VMCAI | Efficient Elimination of Redundancies in Polyhedra by Raytracing. | Alexandre Marchal, Michal Prin |
| 2016 | VMCAI | Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. | Alexandre Marchal, Alexis Fouilh, Tim King, David Monniaux, Michal Prin |
| 2013 | SAS | Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. | Alexis Fouilh, David Monniaux, Michal Prin |
| 2010 | CADE | Invariants and Robustness of BIP Models. | Jan Olaf Blech, Thanh-Hung Nguyen, Michal Prin |
| 2009 | FASE | Certification of Smart-Card Applications in Common Criteria. | Iman Narasamdya, Michal Prin |
| 2009 | SAC | Certification of smart-card applications in common criteria. | Iman Narasamdya, Michal Prin |
| 2009 | SCOPES | Certifying deadlock-freedom for BIP models. | Jan Olaf Blech, Michal Prin |
| 2003 | CAV | HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. | Liana Bozga, Yassine Lakhnech, Michal Prin |
| 2003 | TACAS | Pattern-Based Abstraction for Verifying Secrecy in Protocols. | Liana Bozga, Yassine Lakhnech, Michal Prin |
| 1997 | Coordination | Modeling Railway Control Systems Using Graph Grammars: A Case Study. | A. A. Holzbacher, Michal Prin, Mario Sdholt |