Sami Evangelista

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 5

Top Topics

Top Venues

Fundam. Informaticae

Publications

Sami Evangelista
Experimenting with Stubborn Sets on Petri Nets. Petri Nets (2023)
Sami Evangelista, Laure Petrucci, Lars Michael Kristensen
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS (2022)
Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. VECoS (2021)
Camille Coti, Sami Evangelista, Laure Petrucci
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par (2018)
Camille Coti, Sami Evangelista, Laure Petrucci
State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS (2018)
Camille Coti, Sami Evangelista, Kais Klai
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. PNSE @ Petri Nets (2015)
Camille Coti, Sami Evangelista, Kais Klai
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System. CoRR (2015)
Sami Evangelista, Lars Michael Kristensen
A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae 131 (1) (2014)
Étienne André, Camille Coti, Sami Evangelista
Distributed Behavioral Cartography of Timed Automata. EuroMPI/ASIA (2014)
Sami Evangelista, Lars Michael Kristensen
Dynamic state space partitioning for external memory state space exploration. Sci. Comput. Program. 78 (7) (2013)
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA (2013)
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, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef
Modelling and Formal Verification of the NEO Protocol. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Sami Evangelista, Lars Michael Kristensen
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN (2012)
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
Improved Multi-Core Nested Depth-First Search. ATVA (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Sami Evangelista, Lars Michael Kristensen
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets (2012)
Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Leila Abidi, Christophe Cérin, Sami Evangelista
A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware. IEEE SCC (2011)
Sami Evangelista, Laure Petrucci, Samir Youcef
Parallel Nested Depth-First Searches for LTL Model Checking. ATVA (2011)
Sami Evangelista, Christophe Pajault
Solving the ignoring problem for partial order reduction. Int. J. Softw. Tools Technol. Transf. 12 (2) (2010)
Sami Evangelista, Lars Michael Kristensen
Search-Order Independent State Caching. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. Petri Nets (2010)
Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
ASAP: An Extensible Platform for State Space Analysis. Petri Nets (2009)
Sami Evangelista, Lars Michael Kristensen
Dynamic State Space Partitioning for External Memory Model Checking. FMICS (2009)
Sami Evangelista, Michael Westergaard, Lars Michael Kristensen
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Sami Evangelista
Dynamic Delayed Duplicate Detection for External Memory Model Checking. SPIN (2008)
Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. FORTE (2007)
Sami Evangelista, Christophe Pajault
Some Solutions to the Ignoring Problem. SPIN (2007)
Sami Evangelista, Jean-François Pradat-Peyre
On the Computation of Stubborn Sets of Colored Petri Nets. ICATPN (2006)
Sami Evangelista
High Level Petri Nets Analysis with Helena. ICATPN (2005)
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Dynamic Tasks Verification with Quasar. Ada-Europe (2005)
Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre
Syntactical Colored Petri Nets Reductions. ATVA (2005)
Sami Evangelista, Jean-François Pradat-Peyre
Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN (2005)
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
Verifying linear time temporal logic properties of concurrent Ada programs with quasar. SIGAda (2003)
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
Quasar: A New Tool for Concurrent Ada Programs Analysis. Ada-Europe (2003)