J. Feret, publications

Static analysis of mobile systems

• Jérôme Feret. Partitioning the threads of a mobile system. Arxiv. 2008

• Jérôme Feret. Analysis of Mobile Systems by Abstract Interpretation. Thèse de doctorat, École Polytechnique, february 2005.

• Jérôme Feret. Abstract interpretation of mobile systems. Journal of Logic and Algebraic Programming, special issue on pi-calculus, vol. 63(1), pp. 59--130. 2005, © Elsevier Science..

• Jérôme Feret. Dependency analysis of mobile systems. In European Symposium on Programming (ESOP'02), number 2305 in Lecture Notes in Computer Science, pp. 314--330. 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, pp. 413--431. 2001, © Springer.

• Jérôme Feret. Occurrence counting analysis for the pi-calculus. In Electronic Notes in Theoretical Computer Science, volume 39.(2). Elsevier Science Publishers, 2001. © 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, pp. 135--154. 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

• Jérôme Feret & Andre Levchenko (Eds.). Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011). In Electronic Notes in Theoretical Computer Science, volume 284. © 2012, Elsevier Science.

• Jérôme Feret, Thomas Henzinger, Heinz Koeppl,& Tatjana Petrov. Lumpability Abstractions of Rule-based Systems. In Theoretical Computer Science, special issue on MeCBIC 2009-2010, vol 431, pp. 137--164. © 2012, Elsevier Inc.

• Eric J. Deeds, Jean Krivine, Jérôme Feret, Vincent Danos,& Walter Fontana. Combinatorial complexity and compositional drift in protein interaction networks. In PLoS ONE, volume 7(3). © 2012, Public Library of Science.

• Tatjana Petrov, Jérôme Feret,& Heinz Koeppl. Reconstructing species-based dynamics from reduced stochastic rule-based models. In Proceedings of the Winter Simulation Conference (WSC 2012).

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh,& Glynn Winskel. Rewriting and Pathway Reconstruction for Rule-Based Models. In Proceedings of the 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), in Leibniz International Proceedings in Informatics, volume 18, pp 276--288. © 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

• Jérôme Feret & Andre Levchenko (Eds.). Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010). In Electronic Notes in Theoretical Computer Science, volume 272. © 2011, Elsevier Science.

• Ferdinanda Camporesi, Jérôme Feret. Formal reduction of rule-based models. In Mathematical Foundations of Programming Semantics (MFPS XXVII), in Electronic Notes in Theoretical Computer Science, volume 276, pp 31--61. © 2011, Elsevier Science.

• Jérôme Feret. Formal model reduction. In Static Analysis Symposium (SAS 2011), number 6887 in Lecture Notes in Computer Science, p 6. © 2011, Springer.

• Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov. Combining model reductions. In Mathematical Foundations of Programming Semantics (MFPS XXVI), in Electronic Notes in Theoretical Computer Science, volume 265, pp 73--96. © 2010, Elsevier Science.

• Jérôme Feret. Fragments-based model reduction: some case studies. In Interactions between Computer Science and Biology (CS2Bio 2010), in Electronic Notes in Theoretical Computer Science, volume 268, pp 77--96 © 2010, Elsevier Science.

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Abstracting the differential semantics of rule-based models: exact and automated model reduction . In Logic in Computer Science (LICS 2010). 2010, © IEEE Computer Society.

• Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov. Automatic reduction of stochastic rules-based models in a nutshell. In International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), in American Institute of Physics conference proceedings, numero 1281, pp. 1330--1334. 2010, © American Institute of Physics.

• Jérôme Feret, Thomas Henzinger, Heinz Koeppl,& Tatjana Petrov. Lumpability Abstractions of Rule-based Systems. In The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), in Electronic Proceedings in Theoretical Computer Science, volume 40, pp 142--161. © 2010, Elsevier Science.

• Russell Harmer, Vincent Danos, Jérôme Feret, Jean Krivine,& Walter Fontana. Intrinsic Information Carriers in Combinatorial Dynamics Systems. In Chaos, volume 20(3), 2010, © American Institute of Physics.

• Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine,& Russell Harmer. Rule Based Modelling and Model Refinement. In Elements of Computational Systems Biology , Wiley Book Series on Bioinformatics, 2010. © John Wiley & Sons, Inc.

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Investigation of a biological repair scheme. In Membrane Computing(WMC9), number 5391 in Lecture Notes in Computer Sciences. 2009, © Springer.

• Jérôme Feret, Vincent Danos, Jean Krivine, Russell Harmer,& Walter Fontana. Internal coarse-graining of molecular systems. Proceedings of National Academy of Sciences of the United States of America(PNAS), volume 106.(16). 2009, © National Academy of Sciences.

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Rule-based modelling and model perturbation. Accepted to Transactions on Computational Systems Biology XI, 2009, number 5740 in Lecture Notes in Computer Science. 2009, © Springer.

• Vincent Danos, Jérôme Feret, Walter Fontana,& Jean Krivine. Abstract interpretation of cellular signalling networks. In Verification, Model Checking, and Abstract Interpretation(VMCAI 2008), number 4905 in Lecture Notes in Computer Sciences. 2008, © Springer.

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Rule-based modelling, symmetries, refinements. In Formal Modelling Systems Biology(FMSB 2008), number 5054 in Lecture Notes in Bioinformatics. 2008, © Springer.

• Jérôme Feret. Reachability analysis of biological signalling pathways by abstract interpretation. In International Conference of Computational Methods in Sciences and Engineering(ICCMSE'07), numero 963(2) in American Institute of Physics conference proceedings. 2007, © American Institute of Physics.

• Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Rule-based modelling of cellular signalling. Invited in International Conference on Concurrency Theory(CONCUR 2007), number 4703 in Lecture Notes in Computer Science. 2007, © Springer.

• Vincent Danos, Jérôme Feret, Walter Fontana,& Jean Krivine. Scalable modelling of biological pathways. Invited in Asian Symposium on Programming Systems(APLAS 2007), number 4807 in Lecture Notes in Computer Science. 2007, © Springer.

Static analysis of embedded critical software

• Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné,& Xavier Rival. L'analyseur statique Astrée, In Utilisations industrielles des techniques formelles : interprétation abstraite, J.-L. Boulanger (Editor) in Hermes Science - Lavoisier, 2010. © Hermes-Lavoisier.

• Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné,& Xavier Rival. Astrée: Proving the Absence of Runtime Errors. In Embedded Real Time Software and Systems (ERTSS 2010).

• Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné,& Xavier Rival. Static Analysis by Abstract Interpretation of Embedded Critical Software. In Third IEEE International workshop UML and Formal Methods. © ACM.

• Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné,& Xavier Rival. Static Analysis and Verification of Aerospace Software by Abstract Interpretation. In American Institute of Aeronautics and Astronautics (AIAA 2010). © AIAA.
  This paper received the "Best Paper Award" from the AIAA Infotech@Aerospace Conference.

• Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Eric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival,& Michel Turin. Space Software Validation using Abstract Interpretation. In DAta System In Aerospace (DASIA 2009). © ESA 2009.

• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné,& Xavier Rival. Why does ASTRÉE scale up? In Formal Methods in System Design. 2009.

• Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, and Élodie-Jane Sims. Astree: Nachweis der Abwesenheit von Laufzeitfehlern. In Workshop ``Entwicklung zuverlässiger Software-Systeme'', Regensburg, German, 18 June 2009.

• 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 Theoretical Aspects of Software Engineering(TASE'07), © IEEE Computer Society.

• 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 Asian Computing Science Conference (ASIAN'06), number 4435 in Lecture Notes in Computer Science. 2006, © Springer.

• Jérôme Feret. The Arithmetic-Geometric Progression Abstract Domain. In Verification, Model Checking and Abstract Interpretation(VMCAI'05), 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 Numerical & Symbolic Abstract Domains(NSAD'05).

• 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.