The SCEAS System
Navigation Menu

Search the dblp DataBase


Sami Evangelista: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
    Dynamic Tasks Verification with Quasar. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2005, pp:91-104 [Conf]
  2. Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
    Quasar: A New Tool for Concurrent Ada Programs Analysis. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2003, pp:168-181 [Conf]
  3. Sami Evangelista
    High Level Petri Nets Analysis with Helena. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:455-464 [Conf]
  4. Sami Evangelista, Jean-François Pradat-Peyre
    On the Computation of Stubborn Sets of Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:146-165 [Conf]
  5. Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre
    Syntactical Colored Petri Nets Reductions. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:202-216 [Conf]
  6. Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
    Verifying linear time temporal logic properties of concurrent Ada programs with quasar. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2003, pp:17-24 [Conf]
  7. Sami Evangelista, Jean-François Pradat-Peyre
    Memory Efficient State Space Storage in Explicit Software Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:43-57 [Conf]
  8. Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre
    A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:177-195 [Conf]
  9. Sami Evangelista, Christophe Pajault
    Some Solutions to the Ignoring Problem. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:76-94 [Conf]

  10. ASAP: An Extensible Platform for State Space Analysis. [Citation Graph (, )][DBLP]

  11. The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. [Citation Graph (, )][DBLP]

  12. Dynamic Delayed Duplicate Detection for External Memory Model Checking. [Citation Graph (, )][DBLP]

  13. Dynamic State Space Partitioning for External Memory Model Checking. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002