dblp.uni-trier.dewww.uni-trier.de

Sami Evangelista

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EESami Evangelista: Dynamic Delayed Duplicate Detection for External Memory Model Checking. SPIN 2008: 77-94
2007
9EESami 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
8EESami Evangelista, Christophe Pajault: Some Solutions to the Ignoring Problem. SPIN 2007: 76-94
2006
7EESami Evangelista, Jean-François Pradat-Peyre: On the Computation of Stubborn Sets of Colored Petri Nets. ICATPN 2006: 146-165
2005
6EESami Evangelista, Serge Haddad, Jean-François Pradat-Peyre: Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216
5EESami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau: Dynamic Tasks Verification with Quasar. Ada-Europe 2005: 91-104
4EESami Evangelista: High Level Petri Nets Analysis with Helena. ICATPN 2005: 455-464
3EESami Evangelista, Jean-François Pradat-Peyre: Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN 2005: 43-57
2003
2EESami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau: Quasar: A New Tool for Concurrent Ada Programs Analysis. Ada-Europe 2003: 168-181
1EESami 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

1Serge Haddad [6]
2Claude Kaiser [1] [2] [5]
3Christophe Pajault [5] [8] [9]
4Jean-François Pradat-Peyre [1] [2] [3] [5] [6] [7] [9]
5Pierre Rousseau [1] [2] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)