Get started
Author

Sami Évangelista

Observed names: EVANGELISTA, Sami, Evangelista S, Evangelista Sami, Evangelista, S., Evangelista, Sami, S. Evangelista, Sami Evangelista, Supervisors Sami Evangelista
Observed institutions: Conservatoire National des Arts et Métiers, Centre National de la Recherche Scientifique, Aarhus University, Université Sorbonne Paris Nord, Sorbonne Paris Cité, Centre d'études et de recherche en informatique et communications, Laboratoire d'Informatique de Paris-Nord
ORCID: 0000-0002-7666-583X
Observed ORCID: 0000-0002-7666-583X
OpenAlex ID: A5023649581
Improved Multi-Core Nested Depth-First Search
2012 · Sami Evangelista, Alfons Laarman, et al. · Lecture notes in computer science · 64
Solving the ignoring problem for partial order reduction
2010 · Sami Evangelista, Christophe Pajault · International Journal on Software Tools for Technology Transfer · 44
High Level Petri Nets Analysis with Helena
2005 · Sami Evangelista · Lecture notes in computer science · 41
Report on the Model Checking Contest at Petri Nets 2011
2012 · Fabrice Kordon, Alban Linard, et al. · Lecture notes in computer science · 33
Parallel Nested Depth-First Searches for LTL Model Checking
2011 · Sami Evangelista, Laure Petrucci, et al. · Lecture notes in computer science · 30
ASAP: An Extensible Platform for State Space Analysis
2009 · Michael Westergaard, Sami Evangelista, et al. · Lecture notes in computer science · 29
Syntactical Colored Petri Nets Reductions
2005 · S. Evangelista, S. Haddad, et al. · Lecture notes in computer science · 28
Memory Efficient State Space Storage in Explicit Software Model Checking
2005 · Sami Evangelista, Jean-François Pradat-Peyre · Lecture notes in computer science · 22
Quasar: A New Tool for Concurrent Ada Programs Analysis
2003 · Sami Evangelista, Claude Kaiser, et al. · Lecture notes in computer science · 19
A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware
2011 · Leila Abidi, Christophe Cérin, et al. · IEEE International Conference on Services Computing · 18
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets
2012 · Silien Hong, Fabrice Kordon, et al. · Lecture notes in computer science · 13
Multi-threaded Explicit State Space Exploration with State Reconstruction
2013 · Sami Evangelista, Lars Michael Kristensen, et al. · Lecture notes in computer science · 12
Dynamic Delayed Duplicate Detection for External Memory Model Checking
2008 · Sami Evangelista · Lecture notes in computer science · 11
Comparing Java, C# and Ada monitors queuing policies
2006 · Claude Kaiser, Jean-François Pradat-Peyre, et al. · ACM SIGAda Ada Letters · 11
Search-Order Independent State Caching
2010 · Sami Evangelista, Lars Michael Kristensen · Lecture notes in computer science · 10
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
2009 · Sami Evangelista, Michael Westergaard, et al. · Lecture notes in computer science · 10
Verifying linear time temporal logic properties of concurrent Ada programs with quasar
2003 · S. Evangelista, C. Kaiser, et al. · Annual ACM SIGAda International Conference on Ada (SIGAda) · 10
Raw Report on the Model Checking Contest at Petri Nets 2012
2012 · Kordon, F., Linard, A., et al. · arXiv (Cornell University) · 9
PDF
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
2010 · Christine Choppy, Anna Dedova, et al. · Lecture notes in computer science · 9
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method
2012 · Sami Evangelista, Lars Michael Kristensen · Lecture notes in computer science · 7
Distributed Behavioral Cartography of Timed Automata
2014 · Étienne André, Camille Coti, et al. · European MPI Users' Group Meeting (EuroMPI) · 6
A Sweep-Line Method for Büchi Automata-based Model Checking
2014 · Sami Evangelista, Lars Michael Kristensen · Fundamenta Informaticae · 6
Dynamic State Space Partitioning for External Memory Model Checking
2009 · Sami Evangelista, Lars Michael Kristensen · Lecture notes in computer science · 6
On the Computation of Stubborn Sets of Colored Petri Nets
2006 · Sami Evangelista, Jean-François Pradat-Peyre · Lecture notes in computer science · 6
Dynamic Tasks Verification with Quasar
2005 · Sami Evangelista, Claude Kaiser, et al. · Lecture notes in computer science · 6
Works count: 65
Citation count: 497
H-index: 12
I10-index: 17
Year
Topic
Type