The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Grégoire Sutre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez
    Effective Recognizability and Model Checking of Reactive Fiffo Automata. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:106-123 [Conf]
  2. Jérôme Leroux, Grégoire Sutre
    Flat Counter Automata Almost Everywhere! [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:489-503 [Conf]
  3. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
    Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:526-538 [Conf]
  4. Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
    Well-Abstracted Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:566-580 [Conf]
  5. Jérôme Leroux, Grégoire Sutre
    On Flatness for 2-Dimensional Vector Addition Systems with States. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:402-416 [Conf]
  6. Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre
    Verification of Embedded Reactive Fiffo Systems. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:400-414 [Conf]
  7. Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre
    An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:361-375 [Conf]
  8. Alain Finkel, Grégoire Sutre
    An Algorithm Constructing the Semilinear Post* for 2-Dim Reset/Transfer VASS. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:353-362 [Conf]
  9. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Lazy abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:58-70 [Conf]
  10. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Software Verification with BLAST. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:235-239 [Conf]
  11. Alain Finkel, Grégoire Sutre
    Decidability of Reachability Problems for Classes of Two Counters Automata. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:346-357 [Conf]
  12. Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
    Well-abstracted transition systems: application to FIFO automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:181, n:1, pp:1-31 [Journal]
  13. Jérôme Leroux, Grégoire Sutre
    Accelerated Data-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:184-199 [Conf]
  14. Frédéric Herbreteau, Grégoire Sutre, The Quang Tran
    Unfolding Concurrent Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:706-720 [Conf]

  15. Polynomial Precise Interval Analysis Revisited. [Citation Graph (, )][DBLP]


  16. Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. [Citation Graph (, )][DBLP]


  17. Flat counter automata almost everywhere!. [Citation Graph (, )][DBLP]


  18. Reachability Analysis of Communicating Pushdown Systems. [Citation Graph (, )][DBLP]


  19. Acceleration in Convex Data-Flow Analysis. [Citation Graph (, )][DBLP]


  20. Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. [Citation Graph (, )][DBLP]


  21. Accelerated Data-Flow Analysis [Citation Graph (, )][DBLP]


Search in 0.041secs, Finished in 0.042secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002