Concepedia

Sami Évangelista

SÉ

Statistics

Publications

4

Citations

83

H-Index

4

Active since

2003

Affiliations

Conservatoire National des Arts et Métiers(Current)

Centre d'études et de recherche en informatique et communications

Sami Évangelista is an author at Conservatoire National des Arts et Métiers specializing in computing, computer science, and formal methods.

Publications per year

2003–2011

4

Publications

4

Solving the ignoring problem for partial order reduction

Sami Évangelista, Christophe Pajault · International Journal on Software Tools for Technology Transfer · 2010 · 43 citations

Computing, Computational Engineering, Formal Methods +6

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 Évangelista · 2011 · 18 citations

Computing, Computer Science, Computer Systems +17

Comparing Java, C# and Ada monitors queuing policies

Claude Kaiser, Jean‐François Pradat‐Peyre, Sami Évangelista et al. · ACM SIGAda Ada Letters · 2006 · 11 citations

Computing, Computer Engineering, Computer Science +15

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

Sami Évangelista, Claude Kaiser, Jean‐François Pradat‐Peyre et al. · 2003 · 11 citations

Computing, Computer Science, Algorithms +16

1–4 of 4