default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSami Evangelista
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c26]Sami Evangelista
:
Experimenting with Stubborn Sets on Petri Nets. Petri Nets 2023: 346-365- 2022
- [c25]Sami Evangelista, Laure Petrucci, Lars Michael Kristensen:
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS 2022: 107-116 - 2021
- [c24]Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista:
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. VECoS 2021: 27-42
2010 – 2019
- 2018
- [c23]Camille Coti, Sami Evangelista, Laure Petrucci:
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par 2018: 432-446 - [c22]Camille Coti, Sami Evangelista, Laure Petrucci:
State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS 2018: 41-50 - 2015
- [c21]Camille Coti, Sami Evangelista, Kais Klai:
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification. PNSE @ Petri Nets 2015: 315-316 - [i2]Camille Coti, Sami Evangelista, Kais Klai:
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System. CoRR abs/1502.03431 (2015) - 2014
- [j8]Sami Evangelista, Lars Michael Kristensen:
A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae 131(1): 27-53 (2014) - [c20]Étienne André, Camille Coti, Sami Evangelista:
Distributed Behavioral Cartography of Timed Automata. EuroMPI/ASIA 2014: 109 - 2013
- [j7]Sami Evangelista, Lars Michael Kristensen:
Dynamic state space partitioning for external memory state space exploration. Sci. Comput. Program. 78(7): 778-795 (2013) - [c19]Sami Evangelista, Lars Michael Kristensen, Laure Petrucci:
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA 2013: 208-223 - 2012
- [j6]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: 121-140 (2012) - [j5]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: 169-196 (2012) - [j4]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: 197-225 (2012) - [c18]Sami Evangelista, Lars Michael Kristensen:
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Petri Nets 2012: 248-267 - [c17]Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol:
Improved Multi-Core Nested Depth-First Search. ATVA 2012: 269-283 - [c16]Sami Evangelista, Lars Michael Kristensen:
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN 2012: 43-61 - [i1]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 abs/1209.2382 (2012) - 2011
- [c15]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: 496-503 - [c14]Sami Evangelista, Laure Petrucci, Samir Youcef:
Parallel Nested Depth-First Searches for LTL Model Checking. ATVA 2011: 381-396 - 2010
- [j3]Sami Evangelista, Christophe Pajault:
Solving the ignoring problem for partial order reduction. Int. J. Softw. Tools Technol. Transf. 12(2): 155-170 (2010) - [j2]Sami Evangelista, Lars Michael Kristensen:
Search-Order Independent State Caching. Trans. Petri Nets Other Model. Concurr. 4: 21-41 (2010) - [c13]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: 145-164
2000 – 2009
- 2009
- [j1]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: 189-215 (2009) - [c12]Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312 - [c11]Sami Evangelista, Lars Michael Kristensen:
Dynamic State Space Partitioning for External Memory Model Checking. FMICS 2009: 70-85 - 2008
- [c10]Sami Evangelista:
Dynamic Delayed Duplicate Detection for External Memory Model Checking. SPIN 2008: 77-94 - 2007
- [c9]Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre:
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. FORTE 2007: 177-195 - [c8]Sami Evangelista, Christophe Pajault:
Some Solutions to the Ignoring Problem. SPIN 2007: 76-94 - 2006
- [c7]Sami Evangelista, Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets. ICATPN 2006: 146-165 - 2005
- [c6]Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau:
Dynamic Tasks Verification with Quasar. Ada-Europe 2005: 91-104 - [c5]Sami Evangelista:
High Level Petri Nets Analysis with Helena. ICATPN 2005: 455-464 - [c4]Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216 - [c3]Sami Evangelista, Jean-François Pradat-Peyre:
Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN 2005: 43-57 - 2003
- [c2]Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau:
Quasar: A New Tool for Concurrent Ada Programs Analysis. Ada-Europe 2003: 168-181 - [c1]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: 17-24
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
