Sami Evangelista

37 papers B 10C 3Misc 2Journal 11Unranked 11

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