| 2022 | ICECCS | Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. | Sami Evangelista, Laure Petrucci, Lars Michael Kristensen |
| 2021 | VECoS | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. | Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista |
| 2018 | EuroPar | One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. | Camille Coti, Sami Evangelista, Laure Petrucci |
| 2018 | ICECCS | State Compression Based on One-Sided Communications for Distributed Model Checking. | Camille Coti, Sami Evangelista, Laure Petrucci |
| 2013 | ATVA | Multi-threaded Explicit State Space Exploration with State Reconstruction. | Sami Evangelista, Lars Michael Kristensen, Laure Petrucci |
| 2012 | ATVA | Improved Multi-Core Nested Depth-First Search. | Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
| 2011 | ATVA | Parallel Nested Depth-First Searches for LTL Model Checking. | Sami Evangelista, Laure Petrucci, Samir Youcef |
| 2009 | FMICS | Dynamic State Space Partitioning for External Memory Model Checking. | Sami Evangelista, Lars Michael Kristensen |
| 2007 | FORTE | A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. | Sami Evangelista, Christophe Pajault, Jean-Franois Pradat-Peyre |
| 2005 | ATVA | Syntactical Colored Petri Nets Reductions. | Sami Evangelista, Serge Haddad, Jean-Franois Pradat-Peyre |