×

zbMATH — the first resource for mathematics

Evangelista, Sami

Compute Distance To:
Author ID: evangelista.sami Recent zbMATH articles by "Evangelista, Sami"
Published as: Evangelista, Sami; Evangelista, S.
Documents Indexed: 13 Publications since 2003

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 6 times in 4 Documents Cited by Year
Parallel nested depth-first searches for LTL model checking. Zbl 1348.68134
Evangelista, Sami; Petrucci, Laure; Youcef, Samir
1
2011
The ComBack method revisited: caching strategies and extension with delayed duplicate detection. Zbl 1266.68048
Evangelista, Sami; Westergaard, Michael; Kristensen, Lars M.
1
2009
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
High level Petri nets analysis with Helena. Zbl 1128.68377
Evangelista, Sami
1
2005
Quasar: A new tool for concurrent Ada programs analysis. Zbl 1032.68849
Evangelista, Sami; Kaiser, Claude; Pradat-Peyre, Jean-François; Rousseau, Pierre
1
2003
Syntactical colored Petri nets reductions. Zbl 1170.68538
Evangelista, S.; Haddad, S.; Pradat-Peyre, J.-F.
1
2005
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
Parallel nested depth-first searches for LTL model checking. Zbl 1348.68134
Evangelista, Sami; Petrucci, Laure; Youcef, Samir
1
2011
The ComBack method revisited: caching strategies and extension with delayed duplicate detection. Zbl 1266.68048
Evangelista, Sami; Westergaard, Michael; Kristensen, Lars M.
1
2009
High level Petri nets analysis with Helena. Zbl 1128.68377
Evangelista, Sami
1
2005
Syntactical colored Petri nets reductions. Zbl 1170.68538
Evangelista, S.; Haddad, S.; Pradat-Peyre, J.-F.
1
2005
Quasar: A new tool for concurrent Ada programs analysis. Zbl 1032.68849
Evangelista, Sami; Kaiser, Claude; Pradat-Peyre, Jean-François; Rousseau, Pierre
1
2003

Citations by Year