Jérôme Feret

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Venues

CMSB

SASB

VMCAI

IEEE ACM Trans. Comput. Biol. Bioinform.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Jérôme Feret, Albin Salazar
A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. VMCAI (2023)
Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler
A Semantics of Core Erlang with Handling of Signals. Erlang Workshop (2023)
Jérôme Boillot, Jérôme Feret
Symbolic Transformation of Expressions in Modular Arithmetic. SAS (2023)
Andreea Beica, Jérôme Feret, Tatjana Petrov
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB (2020)
Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret
Proving the Absence of Unbounded Polymers in Rule-based Models. SASB (2020)
Marc Chevalier, Jérôme Feret
Sharing Ghost Variables in a Collection of Abstract Domains. VMCAI (2020)
Pierre Boutillier, Ioana Cristescu, Jérôme Feret
Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP (2019)
Jérôme Feret, Loïc Paulevé, David Safránek
Preface. Theor. Comput. Sci. 765 (2019)
Jérôme Feret, Heinz Koeppl
Editorial. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Jérôme Feret, Kim Quyên Lý
Reachability Analysis via Orthogonal Sets of Patterns. SASB 335 (2018)
Jérôme Feret, Kim Quyen Ly
Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
The Kappa platform for rule-based modeling. Bioinform. 34 (13) (2018)
Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet
KaSa: A Static Analyzer for Kappa. CMSB (2018)
Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. CMSB (2017)
Jérôme Feret, Kim Quyên Lý
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. CMSB (2016)
Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret
Formal derivation of qualitative dynamical models from biochemical networks. Biosyst. 149 (2016)
Jérôme Feret, Andre Levchenko
Preface. Electron. Notes Theor. Comput. Sci. 313 (2015)
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
Aboveground-Biomass Estimation of a Complex Tropical Forest in India Using Lidar. Remote. Sens. 7 (8) (2015)
Jérôme Feret
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. Electron. Notes Theor. Comput. Sci. 316 (2015)
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. Found. Trends Program. Lang. 2 (2-3) (2015)
Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
Derivation of Qualitative Dynamical Models from Biochemical Networks. CMSB (2015)
Jérôme Feret, Heinz Koeppl, Tatjana Petrov
Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models. Int. J. Softw. Informatics 7 (4) (2013)
Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. CMSB (2013)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS (2012)
Jérôme Feret, Andre Levchenko
Preface. Electron. Notes Theor. Comput. Sci. 284 (2012)
Tatjana Petrov, Jérôme Feret, Heinz Koeppl
Reconstructing species-based dynamics from reduced stochastic rule-based models. WSC (2012)
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431 (2012)
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. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Jérôme Feret
Formal Model Reduction. SAS (2011)
Ferdinanda Camporesi, Jérôme Feret
Formal Reduction for Rule-based Models. MFPS (2011)
Jérôme Feret, Andre Levchenko
Preface. Electron. Notes Theor. Comput. Sci. 272 (2011)
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
Lumpability Abstractions of Rule-based Systems MeCBIC (2010)
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. LICS (2010)
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
Combining Model Reductions. MFPS (2010)
Jérôme Feret
Fragments-based Model Reduction: Some Case Studies. Electron. Notes Theor. Comput. Sci. 268 (2010)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11 (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, Élodie-Jane Sims
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Why does Astrée scale up? Formal Methods Syst. Des. 35 (3) (2009)
Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA 106 (16) (2009)
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
Abstract Interpretation of Cellular Signalling Networks. VMCAI (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling, Symmetries, Refinements. FMSB (2008)
Jérôme Feret
Partitioning the Threads of a Mobile System CoRR (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Investigation of a Biological Repair Scheme. Workshop on Membrane Computing (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling of Cellular Signalling. CONCUR (2007)
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
Scalable Simulation of Cellular Signaling Networks. APLAS (2007)
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 CoRR (2007)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
Varieties of Static Analyzers: A Comparison with ASTREE. TASE (2007)
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. ASIAN (2006)
Jérôme Feret
Abstract interpretation of mobile systems. J. Log. Algebraic Methods Program. 63 (1) (2005)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. ESOP (2005)
Jérôme Feret
The Arithmetic-Geometric Progression Abstract Domain. VMCAI (2005)
Jérôme Feret
Static Analysis of Digital Filters. ESOP (2004)
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. PLDI (2003)
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. The Essence of Computation (2002)
Jérôme Feret
Dependency Analysis of Mobile Systems. ESOP (2002)
Jérôme Feret
Occurrence Counting Analysis for the pi-Calculus. Electron. Notes Theor. Comput. Sci. 39 (2) (2001)
Jérôme Feret
Abstract Interpretation-Based Static Analysis of Mobile Ambients. SAS (2001)
Jérôme Feret
Confidentiality Analysis of Mobile Systems. SAS (2000)

Jérôme Feret.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jérôme Feret