Topics

• Static analysis of mobile systems
• Static analysis of biological systems
• Static analysis of critical embedded software

Static analysis of mobile systems

• Jérôme Feret. Analyse de systèmes mobiles par interprétation abstraite. Thèse de doctorat, École Polytechnique, février 2005.

• Jérôme Feret. Abstract Interpretation of Mobile Systems. Volume 63(1) in Journal of Logic and Algebraic Programming, special issue on pi-calculus, 2005.

• Jérôme Feret. Dependency Analysis of Mobile Systems. In European Symposium on Programming (ESOP'02), number 2305 in Lecture Notes in Computer Science, 2002, © Springer.

• Jérôme Feret. Abstract Interpretation-Based Static Analysis of Mobile Ambients. In Eighth International Static Analysis Symposium (SAS'01), number 2126 in Lecture Notes in Computer Science, 2001, © Springer.

• Jérôme Feret. Occurrence counting analysis for the pi-calculus. In Electronic Notes in Theoretical Computer Science, volume 39. Elsevier Science Publishers, 2001. Available from http://www1.elsevier.com/gej-ng/31/29/23/66/27/show/Products/notes/index.htt, © 2001, Elsevier Science.

• Jérôme Feret. Confidentiality analysis of mobile systems. In Seventh International Static Analysis Symposium (SAS'00), number 1824 in Lecture Notes in Computer Science, 2000, © Springer.

• Jérôme Feret. Conception de pi-sa : un analyseur statique générique pour le pi-calcul. Mémoire de dea, SPP, septembre 1999.

Static analysis of biological systems

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Rule-based modelling of cellular signalling. Invited in the 18th International Conference on Concurrency Theory (CONCUR'07), To appear.

Static analysis of embedded critical software

• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux,& Xavier Rival. Varieties of Static Analyzers: A Comparison with Astrée. Invited in the 1st International Symposium on Theoretical Aspects of Software Engineering (TASE'07), To appear.

• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux,& Xavier Rival. Combination of Abstractions in the Astrée Static Analyzer. Invited in the 11th Annual Asian Computing Science Conference (ASIAN'06), To appear in LNCS.

• Jérôme Feret. The Arithmetic-Geometric Progression Abstract Domain. In Verification, Model Checking and Abstract Interpretation(VMCAI 2005) , number 3385 in Lecture Notes in Computer Science, 2005, © Springer.
  This paper received the "Best Paper Award" at VMCAI'05.

• Jérôme Feret. Numerical Abstract Domains for Digital Filters. Accepted in International workshop on Numerical & Symbolic Abstract Domains (NSAD 2005), To appear in Electronic Notes in Theoretical Computer Science, 2005, © Elsevier.

• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux & Xavier Rival. The Astrée Analyzer. In European Symposium on Programming (ESOP 2005), number 3444 in Lecture Notes in Computer Science, 2005, © Springer.

• Jérôme Feret. Static Analysis of Digital Filters. In European Symposium on Programming (ESOP 2004), number 2986 in Lecture Notes in Computer Science, 2004, © Springer.

• 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. In Programming Language Design and Implementation(PLDI 2003), 2003, © ACM.

• 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, invited chapter. In The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, T. Mogensen and D.A. Schmidt and I.H. Sudborough (Editors), number 2566 in Lecture Notes in Computer Science, 2002, © Springer.