Jérôme Feret Chargé de recherche

Présentation

Jérôme Feret est Chargé de Recherche INRIA dans l'équipe projet Antique.Il s'intéresse à l'analyse statique, notamment, à ses applications dans la certification des systèmes critiques embarqués et dans l'étude des modèles en biologie des systèmes.

Jérôme Feret est coauteur des logiciels ASTREE et Kappa.

Publications

Communication dans un congrès (52)

CESAn: A Core Erlang Semantics Analyser Aurélie Kong Win Chang,Jérôme Feret,Gregor Gössler DisCoTec 2025 - 20th International Federated Conference on Distributed Computing Techniques / CORSE - Components Operationally: Reversibility and System Engineering, Jun 2025, Lille, France. pp.103-115, ⟨10.1007/978-3-031-99717-4_6⟩ Communication dans un congrès hal-05353119v1
Reachability Analysis for Parametric Rule-Based Models Jerome Feret,Rebecca Ghidini 23rd International Conference on Computational Methods in Systems Biology, CMSB 2025, François Fages; Sabine Péres, Sep 2025, Lyon, France. pp.21, ⟨10.1007/978-3-032-01436-8_9⟩ Communication dans un congrès hal-05121555v1
Abstraction of memory block manipulations by symbolic loop folding Jérôme Boillot,Jérôme Feret ESOP 2025 - 34th European Symposium on Programming, Viktor Vafeiadis, May 2025, Hamilton, Canada. pp.117-143, ⟨10.1007/978-3-031-91118-7_5⟩ Communication dans un congrès hal-04853849v1
On Model Reductions of Boolean Networks Claudine Chaouiya,Jerome Feret,Patricia Roxo 23rd International Conference on Computational Methods in Systems Biology, CMSB 2025, François Fages; Sabine Peres, Sep 2025, Lyon, France. pp.19, ⟨10.1007/978-3-032-01436-8_3⟩ Communication dans un congrès hal-05115042v1
Model reduction of infinite rule-based models Jerome Feret PADS 25 - 39th ACM SIGPLAN Principle of Advanced Discrete Simulation, Adelinde Uhrmacher, Jun 2025, Santa Fe (NM), United States Communication dans un congrès hal-05002272v1
Symbolic transformation of expressions in modular arithmetic Jérôme Boillot,Jérôme Feret Static Analysis: 30th International Symposium, SAS 2023, Oct 2023, Cascais, Portugal. pp.84-113, ⟨10.1007/978-3-031-44245-2_6⟩ Communication dans un congrès hal-04187086v1
A Semantics of Core Erlang with Handling of Signals Aurélie Kong Win Chang,Jerome Feret,Gregor Gössler Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩ Communication dans un congrès hal-04222884v1
A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation Jerome Feret,Albin Salazar VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States Communication dans un congrès hal-03886237v1
Distinguishing Context Dependent Events in Quotients of Causal Stories Sébastien Légaré,Jean Krivine,Jérôme Feret JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61 Communication dans un congrès hal-03389052v1
Sharing Ghost Variables in a Collection of Abstract Domains Marc Chevalier,Jérôme Feret VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2020, New Orleans, LA, United States Communication dans un congrès hal-02378809v1
Counters in Kappa: Semantics, Simulation, and Static Analysis Pierre Boutillier,Ioana Cristescu,Jérôme Feret ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩ Communication dans un congrès hal-02397876v1
Tropical Abstraction of Biochemical Reaction Networks with Guarantees Andreea Beica,Jérôme Feret,Tatjana Petrov SASB'18 - Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, Aug 2018, Freiburg, Germany Communication dans un congrès hal-01962674v1
Proving the absence of unbounded polymers in rule-based models Pierre Boutillier,Jérôme Feret,Aurélie Faure de Pebeyre Static Analysis and Systems Biology 2018, Aug 2018, Freiburg im Breisgau, Germany Communication dans un congrès hal-01967632v1
KaSa: A Static Analyzer for Kappa Pierre Boutillier,Ferdinanda Camporesi,Jean Coquet,Jérôme Feret,Kim Quyên Lýet al. CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. pp.285-291, ⟨10.1007/978-3-319-99429-1_17⟩ Communication dans un congrès hal-01888951v1
Finding All Potential Run-Time Errors and Data Races in Automotive Software Daniel Kästner,Antoine Miné,André Schmidt,Heinz Hille,Laurent Mauborgneet al. WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit, United States. pp.1-9, ⟨10.4271/2017-01-0054⟩ Communication dans un congrès hal-01674831v1
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models Ferdinanda Camporesi,Jérôme Feret,Kim Quyen Ly CMSB 2017 - 15th Conference on Computational Methods in Systems Biology, Heinz Koeppl, Sep 2017, Darmstadt, Germany. pp.291-299, ⟨10.1007/978-3-319-67471-1_18⟩ Communication dans un congrès hal-01613600v1
Using alternated sums to express the occurrence number of extended patterns in site-graphs Ferdinanda Camporesi,Jérôme Feret SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. pp.18 Communication dans un congrès hal-01613603v1
Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée Antoine Miné,Laurent Mauborgne,Xavier Rival,Jerome Feret,Patrick Cousotet al. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France Communication dans un congrès hal-01271552v1
Local traces: an over-approximation of the behaviour of the proteins in rule-based models Jérôme Feret,Kim Quyen Ly CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.116-131, ⟨10.1007/978-3-319-45177-0_8⟩ Communication dans un congrès hal-01379897v1
Reachability analysis via orthogonal sets of patterns Jérôme Feret,Kim Quyen Ly 7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), David Safranek; Guido Sanguinetti, Sep 2016, Edinburgh, United Kingdom Communication dans un congrès hal-01379902v1
Derivation of Qualitative Dynamical Models from Biochemical Networks Wassim Abou-Jaoudé,Jérôme Feret,Denis Thieffry Computational Methods in Systems Biology - CMSB 2015, Olivier Roux; Jérémie Bourdon, Sep 2015, Nantes, France. pp.195-207, ⟨10.1007/978-3-319-23401-4_17⟩ Communication dans un congrès hal-01199243v1
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models Jérôme Feret Static Analysis and Systems Biology, Heinz Koeppl; Loïc Paulevé, Sep 2014, Munich, Germany. pp.20, ⟨10.1016/j.entcs.2015.06.010⟩ Communication dans un congrès hal-01098556v1
Context-sensitive flow analyses: a hierarchy of model reductions Ferdinanda Camporesi,Jérôme Feret,Jonathan Hayman CMSB - 11th Conference on Computational Methods in Systems Biology - 2013, Ashutosh Gupta and Thomas A. Henzinger, Sep 2013, Klosterneuburg, Austria. pp.220-233, ⟨10.1007/978-3-642-40708-6_17⟩ Communication dans un congrès istex hal-00846893v1
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models. Tatjana Petrov,Jérôme Feret,Heinz Koeppl WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany Communication dans un congrès hal-00734483v1
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Vincent Danos,Jérôme Feret,Walter Fontana,Russell Harmer,Jonathan Haymanet al. FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩ Communication dans un congrès hal-00809065v1
Formal reduction for rule-based models Ferdinanda Camporesi,Jérôme Feret the 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, May 2011, Pittsburgh, United States. pp.29-59, ⟨10.1016/j.entcs.2011.09.014⟩ Communication dans un congrès inria-00636850v1
Formal Model Reduction Jérôme Feret Static Analysis Symposium, Sep 2011, Venice, Italy. pp.6, ⟨10.1007/978-3-642-23702-7_5⟩ Communication dans un congrès istex inria-00626640v1
Static Analysis and Verification of Aerospace Software by Abstract Interpretation Julien Bertrane,Patrick Cousot,Radhia Cousot,Jérôme Feret,Laurent Mauborgneet al. American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States Communication dans un congrès inria-00528611v1
Automatic reduction of stochastic rules-based models in a nutshell Ferdinanda Camporesi,Jérôme Feret,Heinz Koeppl,Tatjana Petrov International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩ Communication dans un congrès inria-00527548v1
Fragments-based model reduction: some case studies Jérôme Feret First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands Communication dans un congrès inria-00527960v1
Astree: Proving the Absence of Runtime Errors Daniel Kästner,Stephan Wilhelm,Stefana Nenova,Patrick Cousot,Radhia Cousotet al. Embedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France Communication dans un congrès inria-00528600v1
Combining Model Reductions Ferdinanda Camporesi,Jérôme Feret,Heinz Koeppl,Tatjana Petrov the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩ Communication dans un congrès inria-00527536v1
Static Analysis by Abstract Interpretation of Embedded Critical Software Julien Bertrane,Patrick Cousot,Radhia Cousot,Jérôme Feret,Laurent Mauborgneet al. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China Communication dans un congrès inria-00528632v1
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 Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381 Communication dans un congrès hal-00520112v1
Lumpability Abstractions of Rule-based Systems Jérôme Feret,Thomas Henzinger,Heinz Koeppl,Tatjana Petrov The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Ciobanu, G. and Koutny, M., Aug 2010, Jena, Germany Communication dans un congrès inria-00527971v1
Space Software Validation using Abstract Interpretation Olivier Bouissou,Eric Conquet,Patrick Cousot,Radhia Cousot,Jérôme Feretet al. The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7 Communication dans un congrès inria-00528590v1
Investigation of a biological repair scheme Vincent Danos,Jérôme Feret,Walter Fontana,Russell Harmer,Jean Krivine the 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩ Communication dans un congrès istex inria-00528319v1
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern. Daniel Kästner,Christian Ferdinand,Steplan Wilhelm,Stefana Nenova,Olha Honcharovaet al. Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany Communication dans un congrès hal-00753732v1
Abstract Interpretation of Cellular Signalling Networks Vincent Danos,Jérôme Feret,Walter Fontana,Jean Krivine the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI'08, Jan 2008, San Francisco, United States. pp.83-97, ⟨10.1007/978-3-540-78163-9_11⟩ Communication dans un congrès inria-00528352v1
Rule-based modelling, symmetries, refinements Vincent Danos,Jérôme Feret,Walter Fontana,Russell Harmer,Jean Krivine the 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jasmin Fisher, Jun 2008, Cambridge, United Kingdom. pp.103-122, ⟨10.1007/978-3-540-68413-8_8⟩ Communication dans un congrès istex inria-00528339v1
Scalable Simulation of Cellular Signaling Networks Vincent Danos,Jérôme Feret,Walter Fontana,Jean Krivine the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Shao, Z., Nov 2007, Singapore, Singapore. pp.139-157, ⟨10.1007/978-3-540-76637-7_10⟩ Communication dans un congrès istex inria-00528409v1
Rule-based modelling of cellular signalling Vincent Danos,Jerome Feret,Walter Fontana,Russell Harmer,Jean Krivine International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Lisbon, Portugal Communication dans un congrès hal-00164297v1
Reachability analysis of biological signalling pathways by abstract interpretation Jérôme Feret the International Conference of Computational Methods in Sciences and Engineerin - ICCMSE2007, T.E. Simos, Sep 2007, Corfu, Greece. pp.619 - 622, ⟨10.1063/1.2836158⟩ Communication dans un congrès inria-00528358v1
Combination of Abstractions in the ASTRÉE Static Analyzer Patrick Cousot,Radhia Cousot,Jérôme Feret,Laurent Mauborgne,Antoine Minéet al. the 11th Annual Asian Computing Science Conference - ASIAN'06, Okada, Mitsu and Satoh, Ichir, Dec 2006, Tokyo, Japan. pp.272-300, ⟨10.1007/978-3-540-77505-8_23⟩ Communication dans un congrès istex inria-00528571v1
The Arithmetic-Geometric Progression Abstract Domain Jérôme Feret the 6th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI 2005, Radhia Cousot, Jan 2005, Paris, France. pp.42-58, ⟨10.1007/978-3-540-30579-8_3⟩ Communication dans un congrès istex inria-00528450v1
Numerical Abstract Domains for Digital Filters Jérôme Feret NSAD 2005, Radhia Cousot, 2005, London, United Kingdom Communication dans un congrès hal-04951006v1
Static Analysis of Digital Filters Jérôme Feret the 13th European Symposium on Programming - ESOP 2004, David A. Schmidt, Mar 2004, Barcelona, Spain. pp.33-48, ⟨10.1007/978-3-540-24725-8_4⟩ Communication dans un congrès inria-00528447v1
A Static Analyzer for Large Safety-Critical Software Bruno Blanchet,Patrick Cousot,Radhia Cousot,Jerôme Feret,Laurent Mauborgneet al. 2003, pp.196 - 207, ⟨10.1145/781131.781153⟩ Communication dans un congrès hal-00128135v1
Dependency analysis of Mobile Systems Jérôme Feret the European Symposium on Programming (ESOP'02), Apr 2002, Grenoble, France. pp.314--330, ⟨10.1007/3-540-45927-8_22⟩ Communication dans un congrès istex inria-00527924v1
Abstract Interpretation-Based Static Analysis of Mobile Ambients Jérôme Feret the 8th International Symposium on Static Analysis (SAS'01), Jul 2001, Paris, France. pp.413--431, ⟨10.1007/3-540-47764-0_24⟩ Communication dans un congrès istex inria-00527929v1
Occurrence counting analysis for the pi-calculus Jérôme Feret GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000), Eric Goubault, Aug 2000, University Park, United States. pp.1--18, ⟨10.1016/S1571-0661(05)01155-2⟩ Communication dans un congrès inria-00527933v1
Confidentiality Analysis of Mobile Systems Jérôme Feret he 7th International Symposium on Static Analysis (SAS'00), J. Palsberg, Jun 2000, Santa Barbara, United States. pp.135--154, ⟨10.1007/978-3-540-45099-3_8⟩ Communication dans un congrès istex inria-00527941v1

Article dans une revue (14)

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,Jeremy Bomo,Anne Siegelet al. PLoS Computational Biology, 2024, 20 (7), pp.e1011858. ⟨10.1371/journal.pcbi.1011858⟩ Article dans une revue hal-04689199v1
Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models Jérôme Feret,Kim Quyên Lý IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018, 15 (4), pp.1124-1137. ⟨10.1109/TCBB.2018.2812195⟩ Article dans une revue hal-01967635v1
The Kappa platform for rule-based modeling Pierre Boutillier,Mutaamba Maasha,Xing Li,Héctor F Medina-Abarca,Jean Krivineet al. Bioinformatics, 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩ Article dans une revue hal-01962663v1
Formal Derivation of Qualitative Dynamical Models from Biochemical Networks Wassim Abou-Jaoudé,Denis Thieffry,Jérôme Feret BioSystems, 2016, pp.100. ⟨10.1016/j.biosystems.2016.09.001⟩ Article dans une revue hal-01379733v1
Static Analysis and Verification of Aerospace Software by Abstract Interpretation Julien Bertrane,Patrick Cousot,Radhia Cousot,Jérôme Feret,Laurent Mauborgneet al. Foundations and Trends in Programming Languages, 2015, 2 (2-3), pp.71-190. ⟨10.1561/2500000002⟩ Article dans une revue hal-01312241v1
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models Jérôme Feret,Heinz Koeppl,Tatjana Petrov International Journal of Software and Informatics (IJSI), 2014, Special issue of DCM'09, 7 (4), pp.527-604 Article dans une revue hal-00975861v1
Stochastic Fragments Jérôme Feret,Heinz Koeppl,Tatjana Petrov International Journal of Software and Informatics (IJSI), 2014, Special Issue on DCM09, 7 (4), pp.527-604 Article dans une revue hal-01098561v1
Combinatorial complexity and compositional drift in protein interaction networks. Eric J. Deeds,Jean Krivine,Jérôme Feret,Vincent Danos,Walter Fontana PLoS ONE, 2012, 7 (3), ⟨10.1371/journal.pone.0032032⟩ Article dans une revue hal-00677889v1
Lumpability Abstractions of Rule-based Systems Jérôme Feret,Thomas Henzinger,Heinz Koeppl,Tatjana Petrov Theoretical Computer Science, 2012, Modelling and Analysis of Biological Systems -- Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena), 431, pp.137-164. ⟨10.1016/j.tcs.2011.12.059⟩ Article dans une revue hal-00677894v1
Intrinsic Information carriers in combinatorial dynamical systems Russ Harmer,Vincent Danos,Jérôme Feret,Jean Krivine,Walter Fontana Chaos: An Interdisciplinary Journal of Nonlinear Science, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩ Article dans une revue hal-00520128v1
Rule-Based Modelling and Model Perturbation Vincent Danos,Jérôme Feret,Walter Fontana,Russ Harmer,Jean Krivine Transactions on Computational Systems Biology, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. ⟨10.1007/978-3-642-04186-0_6⟩ Article dans une revue istex inria-00528364v1
Internal coarse-graining of molecular systems Jérôme Feret,Vincent Danos,Jean Krivine,Russ Harmer,Walter Fontana Proceedings of the National Academy of Sciences of the United States of America, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩ Article dans une revue inria-00528330v1
Why does Astrée scale up? Patrick Cousot,Radhia Cousot,Jérôme Feret,Laurent Mauborgne,Antoine Minéet al. Formal Methods in System Design, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩ Article dans une revue istex inria-00528582v1
Abstract Interpretation of Mobile Systems Jérôme Feret Journal of Logic and Algebraic Programming, 2004, special issue on the pi-calcucus, 63 (1), pp.59-130. ⟨10.1016/j.jlap.2004.01.005⟩ Article dans une revue istex hal-04947676v1

Chapitre d'ouvrage (8)

Analyse statique et réduction de modèles de voies de signalisation intracellulaire Jérôme Feret Informatique Mathématique Une photographie en 2023, CNRS, pp.67, 2023 Chapitre d'ouvrage hal-04144668v1
Analyses des motifs accessibles dans les modèles Kappa Jérôme Feret Cédric Lhoussaine et Élisabeth Remy. Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, ISTE, 2022, 9781789480290 Chapitre d'ouvrage hal-03088539v1
The rule-based model approach. A Kappa model for hepatic stellate cells activation by TGFB1 Matthieu Bouguéon,Pierre Boutillier,Jérôme Feret,Octave Hazard,Nathalie Théret Elisabetta De Maria. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, pp.1-76, 2022, 978-1-119-71653-2 Chapitre d'ouvrage hal-03388100v2
Integrative models for TGF-$\beta$ signaling and extracellular matrix Nathalie Theret,Jérôme Feret,Arran Hodgkinson,Pierre Boutillier,Pierre Vignetet al. Sylvie Ricard-Blum. Extracellular Matrix Omics, 7, Springer, pp.17, 2020, Biology of Extracellular Matrix, 978-3-030-58329-3. ⟨10.1007/978-3-030-58330-9_10⟩ Chapitre d'ouvrage hal-02458073v1
L'analyseur statique Astrée Julien Bertrane,Jérôme Feret,Patrick Cousot,Radhia Cousot,Antoine Minéet al. Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5 Chapitre d'ouvrage inria-00636877v1
Rule Based Modeling and Model Refinement Elaine Murphy,Vincent Danos,Jérôme Feret,Jean Krivine,Russell Harmer H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩ Chapitre d'ouvrage inria-00527981v1
Rule-based modelling and model perturbations Vincent Danos,Jérôme Feret,Walter Fontana,Russ Harmer,Jean Krivine Corrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. ⟨10.1007/978-3-642-04186-0_6⟩ Chapitre d'ouvrage istex hal-00350299v1
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 Mauborgneet al. Mogensen, T. and Schmidt, D.A. and Sudborough, I.H. The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, 2566, Springer, pp.85-108, 2002, Lecture Notes in Computer Science, ⟨10.1007/3-540-36377-7_5⟩ Chapitre d'ouvrage istex inria-00528442v1

HDR (1)

Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites Jérôme Feret Informatique [cs]. ENS-PSL, 2023 HDR tel-04326091v1

Poster de conférence (3)

A Kappa model for hepatic stellate cells activation by TGFB1 Matthieu Bouguéon,Pierre Boutillier,Jerome Feret,Octave Hazard,Nathalie Theret CompSysBio 2021 - Advanced Lecture Course on Computational Systems Biology, Nov 2021, Aussois, France. pp.1-1 Poster de conférence hal-03545135v1
A Kappa model for hepatic stellate cells activation by TGFB1 Matthieu Bouguéon,Pierre Boutillier,Jerome Feret,Octave Hazard,Nathalie Theret CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux / Virtual, France. pp.1-6 Poster de conférence hal-03545256v1
Modelling Systems Biology Wide and Deep Sébastien Légaré,Jean Krivine,Russ Harmer,Jérôme Feret CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB Poster de conférence hal-03357485v1

Autre publication scientifique (1)

Modelling hepatic stellate cells activation by TGFB1 using Kappa language Matthieu Bouguéon,Pierre Boutillier,Jerome Feret,Octave Hazard,Nathalie Theret 2021, pp.1-23 Autre publication scientifique hal-03545569v1

Ouvrages (4)

Special issue &quot;Formal Method for Biological Systems Modelling Cédric Lhoussaine,Jérôme Feret Cedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197 Ouvrages hal-03542053v1
Computational Methods in Systems Biology Jérôme Feret,Heinz Koeppl Springer, 10545, pp.332, 2017, Lecture Notes in Bioinformatics, 978-3-319-67470-4. ⟨10.1007/978-3-319-67471-1⟩ Ouvrages hal-01613596v1
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011) Jérôme Feret,Andre Levchenko Jérôme Feret and Andre Levchenko. Elsevier, 284, pp.137, 2012, Electronic Notes in Theoretical Computer Science Ouvrages hal-00722482v1
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010) Jérôme Feret,Andre Levchenko Jérôme Feret and Andre Levchenko. Elsevier, 272, pp.56, 2011, Electronic Notes in Theoretical Computer Science Ouvrages hal-00722483v1

N°spécial de revue/special issue (1)

Formal Verification and Static Analysis of Molecular Devices and Biological Systems Jérôme Feret,Loïc Paulevé,David Šafránek Jérôme Feret; Loïc Paulevé; David Šafránek. Theoretical Computer Science, 765, 2019 N°spécial de revue/special issue hal-02962679v1

Proceedings/Recueil des communications (1)

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012) Jérôme Feret,Andre Levchenko Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science Proceedings/Recueil des communications hal-01147670v1

Thèse (1)

Analyse des systèmes mobiles par interprétation abstraite. Jérôme Feret Informatique mobile. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩ Thèse pastel-00001303v1