Search the dblp DataBase

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]