The SCEAS System
Navigation Menu

Search the dblp DataBase


Bertrand Jeannet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.017secs, Finished in 0.018secs
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