Jérôme Feret

Chargé de recherche
86
Documents

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.

Domaines de recherche

Bio-Informatique, Biologie Systémique [q-bio.QM] Informatique et langage [cs.CL]

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Finding All Potential Run-Time Errors and Data Races in Automotive Software

Daniel Kästner , Antoine Miné , André Schmidt , Heinz Hille , Laurent Mauborgne et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Cousot et al.

8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France

Communication dans un congrès hal-01271552v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Vincent Danos , Jérôme Feret , Walter Fontana , Russell Harmer , Jonathan Hayman et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne et al.

American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States

Communication dans un congrès inria-00528611v1
Deposit thumbnail

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
Deposit thumbnail

Astree: Proving the Absence of Runtime Errors

Daniel Kästner , Stephan Wilhelm , Stefana Nenova , Patrick Cousot , Radhia Cousot et al.

Embedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France

Communication dans un congrès inria-00528600v1
Deposit thumbnail

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
Deposit thumbnail

Static Analysis by Abstract Interpretation of Embedded Critical Software

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne et al.

the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China

Communication dans un congrès inria-00528632v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Space Software Validation using Abstract Interpretation

Olivier Bouissou , Eric Conquet , Patrick Cousot , Radhia Cousot , Jérôme Feret et 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
Deposit thumbnail

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
Deposit thumbnail

Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.

Daniel Kästner , Christian Ferdinand , Steplan Wilhelm , Stefana Nenova , Olha Honcharova et al.

Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany

Communication dans un congrès hal-00753732v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

A Static Analyzer for Large Safety-Critical Software

Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne et al.

2003, pp.196 - 207, ⟨10.1145/781131.781153⟩

Communication dans un congrès hal-00128135v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Siegel et al.

PLoS Computational Biology, 2024, 20 (7), pp.e1011858. ⟨10.1371/journal.pcbi.1011858⟩

Article dans une revue hal-04689199v1
Deposit thumbnail

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
Deposit thumbnail

The Kappa platform for rule-based modeling

Pierre Boutillier , Mutaamba Maasha , Xing Li , Héctor F Medina-Abarca , Jean Krivine et al.

Bioinformatics, 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩

Article dans une revue hal-01962663v1
Deposit thumbnail

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
Deposit thumbnail

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Integrative models for TGF-$\beta$ signaling and extracellular matrix

Nathalie Theret , Jérôme Feret , Arran Hodgkinson , Pierre Boutillier , Pierre Vignet et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Mauborgne et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Special issue "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

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