Search the dblp DataBase

Publications of Author

1. Bertrand Jeannet, Wendelin Serwe
   Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:258-273 [Conf]
   
2. Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
   Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:204-219 [Conf]
   
3. Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli
   Automatic data mapping of signal processing applications. [Citation Graph (0, 0)][DBLP]
   ASAP, 1997, pp:350-0 [Conf]
   
4. Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi
   UPPAAL - Now, Next, and Future. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:99-124 [Conf]
   
5. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
   Reachability Analysis of Probabilistic Systems by Successive Refinements. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:39-56 [Conf]
   
6. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
   Reduction and Refinement Strategies for Probabilistic Analysis. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:57-76 [Conf]
   
7. Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
   From Safety Verification to Safety Testing. [Citation Graph (0, 0)][DBLP]
   TestCom, 2004, pp:160-176 [Conf]
   
8. Bertrand Jeannet
   Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:52-68 [Conf]
   
9. Bertrand Jeannet, Denis Gopan, Thomas W. Reps
   A Relational Abstraction for Functions. [Citation Graph (0, 0)][DBLP]
   SAS, 2005, pp:186-202 [Conf]
   
10. Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
    Dynamic Partitioning in Analyses of Numerical Properties. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:39-50 [Conf]
    
11. Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
    A Relational Approach to Interprocedural Shape Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:246-264 [Conf]
    
12. Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva
    Symbolic Test Selection Based on Approximate Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:349-364 [Conf]
    
13. Bertrand Jeannet
    Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:23, n:1, pp:5-37 [Journal]
    
14. Camille Constant, Bertrand Jeannet, Thierry Jéron
    Automatic Test Generation from Interprocedural Specifications. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:41-57 [Conf]
    
15. Tristan Le Gall, Bertrand Jeannet
    Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:52-68 [Conf]
    
16. 
    Apron: A Library of Numerical Abstract Domains for Static Analysis. [Citation Graph (, )][DBLP]
    
    
17. 
    Model-Based Test Selection for Infinite-State Reactive Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Relational Interprocedural Verification of Concurrent Programs. [Citation Graph (, )][DBLP]