Sami Evangelista

According to our database, Sami Evangelista authored at least 36 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Experimenting with Stubborn Sets on Petri Nets.

Sami Evangelista

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks.

Sami Evangelista, Laure Petrucci, Lars Michael Kristensen

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2021

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.

Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

2018

State Compression Based on One-Sided Communications for Distributed Model Checking.

Camille Coti, Sami Evangelista, Laure Petrucci

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters.

Camille Coti, Sami Evangelista, Laure Petrucci

Proceedings of the Euro-Par 2018: Parallel Processing, 2018

2015

Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.

Camille Coti, Sami Evangelista, Kais Klai

CoRR, 2015

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.

Camille Coti, Sami Evangelista, Kais Klai

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

A Sweep-Line Method for Büchi Automata-based Model Checking.

Sami Evangelista, Lars Michael Kristensen

Fundam. Informaticae, 2014

Distributed Behavioral Cartography of Timed Automata.

Étienne André, Camille Coti, Sami Evangelista

Proceedings of the 21st European MPI Users' Group Meeting, 2014

2013

Dynamic state space partitioning for external memory state space exploration.

Sami Evangelista, Lars Michael Kristensen

Sci. Comput. Program., 2013

Multi-threaded Explicit State Space Exploration with State Reconstruction.

Sami Evangelista, Lars Michael Kristensen, Laure Petrucci

Proceedings of the Automated Technology for Verification and Analysis, 2013

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

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

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

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, Harro Wimmel, Karsten Wolf

CoRR, 2012

Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue.

Sami Evangelista, Lars Michael Kristensen

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Improved Multi-Core Nested Depth-First Search.

Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2012

Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method.

Sami Evangelista, Lars Michael Kristensen

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Parallel Nested Depth-First Searches for LTL Model Checking.

Sami Evangelista, Laure Petrucci, Samir Youcef

Proceedings of the Automated Technology for Verification and Analysis, 2011

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

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Search-Order Independent State Caching.

Sami Evangelista, Lars Michael Kristensen

Trans. Petri Nets Other Model. Concurr., 2010

Solving the ignoring problem for partial order reduction.

Sami Evangelista, Christophe Pajault

Int. J. Softw. Tools Technol. Transf., 2010

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

Proceedings of the Applications and Theory of Petri Nets, 2010

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

Dynamic State Space Partitioning for External Memory Model Checking.

Sami Evangelista, Lars Michael Kristensen

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

ASAP: An Extensible Platform for State Space Analysis.

Michael Westergaard, Sami Evangelista, Lars Michael Kristensen

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Dynamic Delayed Duplicate Detection for External Memory Model Checking.

Sami Evangelista

Proceedings of the Model Checking Software, 2008

2007

Some Solutions to the Ignoring Problem.

Sami Evangelista, Christophe Pajault

Proceedings of the Model Checking Software, 2007

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.

Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

On the Computation of Stubborn Sets of Colored Petri Nets.

Sami Evangelista, Jean-François Pradat-Peyre

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Memory Efficient State Space Storage in Explicit Software Model Checking.

Sami Evangelista, Jean-François Pradat-Peyre

Proceedings of the Model Checking Software, 2005

Syntactical Colored Petri Nets Reductions.

Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre

Proceedings of the Automated Technology for Verification and Analysis, 2005

High Level Petri Nets Analysis with Helena.

Sami Evangelista

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Dynamic Tasks Verification with Quasar.

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technology, 2005

2003

Verifying linear time temporal logic properties of concurrent Ada programs with quasar.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Quasar: A New Tool for Concurrent Ada Programs Analysis.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technologies, 2003