Confidentiality Analysis of Mobile Systems. - Jérôme Feret (SAS, 2000)

Occurrence Counting Analysis for the pi-Calculus. - Jérôme Feret (GETCO, 2000)

Abstract Interpretation-Based Static Analysis of Mobile Ambients. - Jérôme Feret (SAS, 2001)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (The Essence of Computation, 2002)

Dependency Analysis of Mobile Systems. - Jérôme Feret (ESOP, 2002)

A static analyzer for large safety-critical software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (PLDI, 2003)

Static Analysis of Digital Filters. - Jérôme Feret (ESOP, 2004)

The ASTREÉ Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ESOP, 2005)

The Arithmetic-Geometric Progression Abstract Domain. - Jérôme Feret (VMCAI, 2005)

Abstract interpretation of mobile systems. - Jérôme Feret (J. Log. Algebraic Methods Program., 2005)

Analyse des systèmes mobiles par interprétation abstraite. (Analysis of mobile systems by abstract interpretation). - Jérôme Feret (2005)

Combination of Abstractions in the ASTRÉE Static Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ASIAN, 2006)

Scalable Simulation of Cellular Signaling Networks. - Vincent Danos; Jérôme Feret; Walter Fontana; Jean Krivine (APLAS, 2007)

Rule-Based Modelling of Cellular Signalling. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (CONCUR, 2007)

Varieties of Static Analyzers: A Comparison with ASTREE. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Antoine Miné; Laurent Mauborgne; David Monniaux; Xavier Rival (TASE, 2007)

Rule-Based Modelling, Symmetries, Refinements. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (FMSB, 2008)

Investigation of a Biological Repair Scheme. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (Workshop on Membrane Computing, 2008)

Abstract Interpretation of Cellular Signalling Networks. - Vincent Danos; Jérôme Feret; Walter Fontana; Jean Krivine (VMCAI, 2008)

Partitioning the Threads of a Mobile System - Jérôme Feret (CoRR, 2008)

Why does Astrée scale up? - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Formal Methods Syst. Des., 2009)

Internal coarse-graining of molecular systems. - Jérôme Feret; Vincent Danos; Jean Krivine; Russ Harmer; Walter Fontana (Proc. Natl. Acad. Sci. USA, 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - 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; Élodie-Jane Sims (Softwaretechnik-Trends, 2009)

Rule-Based Modelling and Model Perturbation. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (Trans. Comp. Sys. Biology, 2009)

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (LICS, 2010)

Combining Model Reductions. - Ferdinanda Camporesi; Jérôme Feret; Heinz Koeppl; Tatjana Petrov (MFPS, 2010)

Fragments-based Model Reduction: Some Case Studies. - Jérôme Feret (CS2Bio, 2010)

Formal Model Reduction. - Jérôme Feret (SAS, 2011)

Formal Reduction for Rule-based Models. - Ferdinanda Camporesi; Jérôme Feret (MFPS, 2011)

Preface. - Jérôme Feret; Andre Levchenko (SASB, 2011)

Static analysis by abstract interpretation of embedded critical software. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (ACM SIGSOFT Softw. Eng. Notes, 2011)

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jonathan Hayman; Jean Krivine; Christopher D. Thompson-Walsh; Glynn Winskel (FSTTCS, 2012)

Reconstructing species-based dynamics from reduced stochastic rule-based models. - Tatjana Petrov; Jérôme Feret; Heinz Koeppl (WSC, 2012)

Lumpability abstractions of rule-based systems. - Jérôme Feret; Thomas A. Henzinger; Heinz Koeppl; Tatjana Petrov (Theor. Comput. Sci., 2012)

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. - Ferdinanda Camporesi; Jérôme Feret; Jonathan Hayman (CMSB, 2013)

Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models. - Jérôme Feret; Heinz Koeppl; Tatjana Petrov (Int. J. Softw. Informatics, 2013)

An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. - Jérôme Feret (SASB, 2014)

Derivation of Qualitative Dynamical Models from Biochemical Networks. - Wassim Abou-Jaoudé; Jérôme Feret; Denis Thieffry (CMSB, 2015)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Found. Trends Program. Lang., 2015)

Aboveground-Biomass Estimation of a Complex Tropical Forest in India Using Lidar. - Cédric Véga; Udayalakshmi Vepakomma; Jules Morel; Jean-Luc Bader; Gopalakrishnan Rajashekar; Chandra Shekhar Jha; Jérôme Feret; Christophe Proisy; Raphaël Pélissier; Vinay Kumar Dadhwal (Remote. Sens., 2015)

Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. - Jérôme Feret; Kim Quyên Lý (CMSB, 2016)

Formal derivation of qualitative dynamical models from biochemical networks. - Wassim Abou-Jaoudé; Denis Thieffry; Jérôme Feret (Biosyst., 2016)

KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. - Ferdinanda Camporesi; Jérôme Feret; Kim Quyên Lý (CMSB, 2017)

KaSa: A Static Analyzer for Kappa. - Pierre Boutillier; Ferdinanda Camporesi; Jean Coquet; Jérôme Feret; Kim Quyên Lý; Nathalie Théret; Pierre Vignet (CMSB, 2018)

The Kappa platform for rule-based modeling. - Pierre Boutillier; Mutaamba Maasha; Xing Li; Héctor F. Medina-Abarca; Jean Krivine; Jérôme Feret; Ioana Cristescu; Angus G. Forbes; Walter Fontana (Bioinform., 2018)

Reachability Analysis via Orthogonal Sets of Patterns. - Jérôme Feret; Kim Quyên Lý (SASB, 2018)

Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models. - Jérôme Feret; Kim Quyen Ly (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Counters in Kappa: Semantics, Simulation, and Static Analysis. - Pierre Boutillier; Ioana Cristescu; Jérôme Feret (ESOP, 2019)

Editorial. - Jérôme Feret; Heinz Koeppl (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Preface. - Jérôme Feret; Loïc Paulevé; David Safránek (Theor. Comput. Sci., 2019)

Tropical Abstraction of Biochemical Reaction Networks with Guarantees. - Andreea Beica; Jérôme Feret; Tatjana Petrov (SASB, 2020)

Proving the Absence of Unbounded Polymers in Rule-based Models. - Pierre Boutillier; Aurélie Faure de Pebeyre; Jérôme Feret (SASB, 2020)

Sharing Ghost Variables in a Collection of Abstract Domains. - Marc Chevalier; Jérôme Feret (VMCAI, 2020)

Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites. - Jérôme Feret (2023)

A Semantics of Core Erlang with Handling of Signals. - Aurélie Kong Win Chang; Jérôme Feret; Gregor Gössler (Erlang Workshop, 2023)

Symbolic Transformation of Expressions in Modular Arithmetic. - Jérôme Boillot; Jérôme Feret (SAS, 2023)

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. - Jérôme Feret; Albin Salazar (VMCAI, 2023)

A rule-based multiscale model of hepatic stellate cell plasticity: Critical role of the inactivation loop in fibrosis progression. - Matthieu Bouguéon; Vincent Legagneux; Octave Hazard; Jérémy Bomo; Anne Siegel; Jérôme Feret; Nathalie Théret (PLoS Comput. Biol., 2024)

On Model Reductions of Boolean Networks. - Claudine Chaouiya; Jérôme Feret; Patrícia Tenera Roxo (CMSB, 2025)

Reachability Analysis for Parametric Rule-Based Models. - Jérôme Feret; Rebecca Ghidini (CMSB, 2025)

Abstraction of memory block manipulations by symbolic loop folding. - Jérôme Boillot; Jérôme Feret (ESOP (1), 2025)

Model reduction of infinite rule-based models. - Jérôme Feret (SIGSIM-PADS, 2025)