Quasar: A New Tool for Concurrent Ada Programs Analysis. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2003)

Verifying linear time temporal logic properties of concurrent Ada programs with quasar. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (SIGAda, 2003)

Dynamic Tasks Verification with Quasar. - Sami Evangelista; Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2005)

High Level Petri Nets Analysis with Helena. - Sami Evangelista (ICATPN, 2005)

Syntactical Colored Petri Nets Reductions. - Sami Evangelista; Serge Haddad; Jean-François Pradat-Peyre (ATVA, 2005)

Memory Efficient State Space Storage in Explicit Software Model Checking. - Sami Evangelista; Jean-François Pradat-Peyre (SPIN, 2005)

On the Computation of Stubborn Sets of Colored Petri Nets. - Sami Evangelista; Jean-François Pradat-Peyre (ICATPN, 2006)

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. - Sami Evangelista; Christophe Pajault; Jean-François Pradat-Peyre (FORTE, 2007)

Some Solutions to the Ignoring Problem. - Sami Evangelista; Christophe Pajault (SPIN, 2007)

Dynamic Delayed Duplicate Detection for External Memory Model Checking. - Sami Evangelista (SPIN, 2008)

ASAP: An Extensible Platform for State Space Analysis. - Michael Westergaard; Sami Evangelista; Lars Michael Kristensen (Petri Nets, 2009)

Dynamic State Space Partitioning for External Memory Model Checking. - Sami Evangelista; Lars Michael Kristensen (FMICS, 2009)

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. - Sami Evangelista; Michael Westergaard; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2009)

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. - Christine Choppy; Anna Dedova; Sami Evangelista; Silien Hong; Kais Klai; Laure Petrucci (Petri Nets, 2010)

Solving the ignoring problem for partial order reduction. - Sami Evangelista; Christophe Pajault (Int. J. Softw. Tools Technol. Transf., 2010)

Search-Order Independent State Caching. - Sami Evangelista; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2010)

A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware. - Leila Abidi; Christophe Cérin; Sami Evangelista (IEEE SCC, 2011)

Parallel Nested Depth-First Searches for LTL Model Checking. - Sami Evangelista; Laure Petrucci; Samir Youcef (ATVA, 2011)

Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. - Sami Evangelista; Lars Michael Kristensen (Petri Nets, 2012)

Improved Multi-Core Nested Depth-First Search. - Sami Evangelista; Alfons Laarman; Laure Petrucci; Jaco van de Pol (ATVA, 2012)

Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. - Sami Evangelista; Lars Michael Kristensen (SPIN, 2012)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Modelling and Formal Verification of the NEO Protocol. - Christine Choppy; Anna Dedova; Sami Evangelista; Kais Klai; Laure Petrucci; Samir Youcef (Trans. Petri Nets Other Model. Concurr., 2012)

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. - Silien Hong; Fabrice Kordon; Emmanuel Paviot-Adet; Sami Evangelista (Trans. Petri Nets Other Model. Concurr., 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

Multi-threaded Explicit State Space Exploration with State Reconstruction. - Sami Evangelista; Lars Michael Kristensen; Laure Petrucci (ATVA, 2013)

Dynamic state space partitioning for external memory state space exploration. - Sami Evangelista; Lars Michael Kristensen (Sci. Comput. Program., 2013)

Distributed Behavioral Cartography of Timed Automata. - Étienne André; Camille Coti; Sami Evangelista (EuroMPI/ASIA, 2014)

A Sweep-Line Method for Büchi Automata-based Model Checking. - Sami Evangelista; Lars Michael Kristensen (Fundam. Informaticae, 2014)

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. - Camille Coti; Sami Evangelista; Kais Klai (PNSE @ Petri Nets, 2015)

Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System. - Camille Coti; Sami Evangelista; Kais Klai (CoRR, 2015)

One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. - Camille Coti; Sami Evangelista; Laure Petrucci (Euro-Par, 2018)

State Compression Based on One-Sided Communications for Distributed Model Checking. - Camille Coti; Sami Evangelista; Laure Petrucci (ICECCS, 2018)

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. - Kais Klai; Chiheb Ameur Abid; Jaime Arias 001; Sami Evangelista (VECoS, 2021)

Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. - Sami Evangelista; Laure Petrucci; Lars Michael Kristensen (ICECCS, 2022)

Experimenting with Stubborn Sets on Petri Nets. - Sami Evangelista (Petri Nets, 2023)

Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks. - Sami Evangelista; Lars Michael Kristensen; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2025)