The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jérôme Feret: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:85-108 [Conf]
  2. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    The ASTREÉ Analyzer. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:21-30 [Conf]
  3. Jérôme Feret
    Dependency Analysis of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:314-330 [Conf]
  4. Jérôme Feret
    Static Analysis of Digital Filters. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:33-48 [Conf]
  5. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    A static analyzer for large safety-critical software. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:196-207 [Conf]
  6. Jérôme Feret
    Confidentiality Analysis of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:135-154 [Conf]
  7. Jérôme Feret
    Abstract Interpretation-Based Static Analysis of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:412-430 [Conf]
  8. Jérôme Feret
    The Arithmetic-Geometric Progression Abstract Domain. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:42-58 [Conf]
  9. Jérôme Feret
    Occurrence Counting Analysis for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:39, n:2, pp:- [Journal]
  10. Jérôme Feret
    Abstract interpretation of mobile systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:63, n:1, pp:59-130 [Journal]
  11. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
    Rule-Based Modelling of Cellular Signalling. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:17-41 [Conf]
  12. Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
    Varieties of Static Analyzers: A Comparison with ASTREE. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:3-20 [Conf]
  13. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
    A Static Analyzer for Large Safety-Critical Software [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  14. Scalable Simulation of Cellular Signaling Networks. [Citation Graph (, )][DBLP]


  15. Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]


  16. Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. [Citation Graph (, )][DBLP]


  17. Investigation of a Biological Repair Scheme. [Citation Graph (, )][DBLP]


  18. Abstract Interpretation of Cellular Signalling Networks. [Citation Graph (, )][DBLP]


  19. Rule-Based Modelling, Symmetries, Refinements. [Citation Graph (, )][DBLP]


  20. Partitioning the Threads of a Mobile System [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002