Access content directly

Jérôme Feret

Research fellow
79
Documents

Presentation

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](https://www.astreea.ens.fr/) et [Kappa](https://www.kappalanguage.org/).
Jérôme Feret is a research fellow at INRIA in the project team Antique. He is interested in Static Analysis. He is focussing on application to the certification of critical embedded systems and the studies of models in Systems Biology. Jérôme Feret is coautor of the following software: [ASTREE](https://www.astreea.ens.fr/) and [Kappa](https://www.kappalanguage.org/).

Research domains

Quantitative Methods [q-bio.QM] Computation and Language [cs.CL]

Publications

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⟩
Journal articles hal-01967635v1
Image document

The Kappa platform for rule-based modeling

Pierre Boutillier , Mutaamba Maasha , Xing Li , Héctor F Medina-Abarca , Jean Krivine
Bioinformatics, 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
Journal articles hal-01962663v1
Image document

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⟩
Journal articles hal-01379733v1
Image document

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne
Foundations and Trends in Programming Languages, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩
Journal articles 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
Journal articles 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
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-00677894v1
Image document

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⟩
Journal articles hal-00520128v1

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⟩
Journal articles inria-00528330v1

Why does Astrée scale up?

Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné
Formal Methods in System Design, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩
Journal articles inria-00528582v1

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⟩
Journal articles inria-00528364v1

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⟩
Journal articles inria-00527910v1
Image document

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⟩
Conference papers hal-04222884v1
Image document

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
Conference papers hal-04187086v1
Image document

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
Conference papers hal-03389052v1
Image document

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
Conference papers 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⟩
Conference papers hal-02397876v1
Image document

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
Conference papers hal-01962674v1
Image document

KaSa: A Static Analyzer for Kappa

Pierre Boutillier , Ferdinanda Camporesi , Jean Coquet , Jérôme Feret , Kim Quyên Lý
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⟩
Conference papers hal-01888951v1
Image document

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
Conference papers hal-01967632v1

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

Daniel Kästner , Antoine Miné , André Schmidt , Heinz Hille , Laurent Mauborgne
WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
Conference papers hal-01674831v1
Image document

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⟩
Conference papers hal-01613600v1
Image document

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
Conference papers hal-01613603v1
Image document

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
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Conference papers hal-01271552v1
Image document

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⟩
Conference papers hal-01379897v1
Image document

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
Conference papers hal-01379902v1

Derivation of Qualitative Dynamical Models from Biochemical Networks

Wassim Abou-Jaoudé , Jérôme Feret , Denis Thieffry
CMSB 2015 : Computational Methods in Systems Biology, Olivier Roux; Jérémie Bourdon, Sep 2015, Nantes, France. pp.195-207, ⟨10.1007/978-3-319-23401-4_17⟩
Conference papers hal-01199243v1
Image document

Le suivi de la contamination des écosystèmes par les pesticides OPA-C : un dispositif de bassins versants instrumentés aux Antilles

Patrick Andrieux , Philippe Cattan , Georges Adèle , Laurette Arnaud , Thierry Bajazet
44. Congrès du Groupe Français des Pesticides : "Protection des cultures et santé environmentale : héritages et conceptions nouvelles", Groupe Français des Pesticides (GFP). FRA.; Université des Antilles et de la Guyane (UAG). Schoelcher, FRA.; Institut de Recherche pour le Développement (IRD). FRA., 2014, Schoelcher, Martinique, France
Conference papers hal-01594994v1
Image document

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⟩
Conference papers 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⟩
Conference papers 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
Conference papers hal-00734483v1
Image document

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Vincent Danos , Jérôme Feret , Walter Fontana , Russell Harmer , Jonathan Hayman
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⟩
Conference papers hal-00809065v1

Formal Model Reduction

Jérôme Feret
Static Analysis Symposium, Sep 2011, Venice, Italy. pp.6, ⟨10.1007/978-3-642-23702-7_5⟩
Conference papers inria-00626640v1

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⟩
Conference papers inria-00636850v1

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
Conference papers inria-00527960v1

Static Analysis by Abstract Interpretation of Embedded Critical Software

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
Conference papers inria-00528632v1

Astree: Proving the Absence of Runtime Errors

Daniel Kästner , Stephan Wilhelm , Stefana Nenova , Patrick Cousot , Radhia Cousot
Embedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
Conference papers inria-00528600v1

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
Conference papers inria-00528611v1

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⟩
Conference papers inria-00527536v1

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
Conference papers inria-00527971v1

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⟩
Conference papers inria-00527548v1
Image document

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
Conference papers hal-00520112v1
Image document

Space Software Validation using Abstract Interpretation

Olivier Bouissou , Eric Conquet , Patrick Cousot , Radhia Cousot , Jérôme Feret
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
Conference papers inria-00528590v1

Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.

Daniel Kästner , Christian Ferdinand , Steplan Wilhelm , Stefana Nenova , Olha Honcharova
Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany
Conference papers hal-00753732v1
Image document

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⟩
Conference papers inria-00528352v1

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⟩
Conference papers inria-00528319v1

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⟩
Conference papers 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⟩
Conference papers 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, Portugal
Conference papers 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⟩
Conference papers inria-00528358v1

Combination of Abstractions in the ASTRÉE Static Analyzer

Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné
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⟩
Conference papers 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⟩
Conference papers inria-00528450v1

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⟩
Conference papers inria-00528447v1
Image document

A Static Analyzer for Large Safety-Critical Software

Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne
2003, pp.196 - 207, ⟨10.1145/781131.781153⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers inria-00527929v1

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⟩
Conference papers inria-00527941v1

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⟩
Conference papers inria-00527933v1
Image document

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
Book sections hal-04144668v1
Image document

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
Book sections hal-03088539v1
Image document

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
Book sections hal-03388100v2
Image document

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

Nathalie Theret , Jérôme Feret , Arran Hodgkinson , Pierre Boutillier , Pierre Vignet
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⟩
Book sections hal-02458073v1

L'analyseur statique Astrée

Julien Bertrane , Jérôme Feret , Patrick Cousot , Radhia Cousot , Antoine Miné
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
Book sections 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⟩
Book sections inria-00527981v1
Image document

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⟩
Book sections 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
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⟩
Book sections inria-00528442v1

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
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 hal-01147670v1

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
Books 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⟩
Books 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
Books 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
Books hal-00722483v1
Image document

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
Conference poster hal-03357485v1
Image document

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
Conference poster hal-03545135v1
Image document

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
Conference poster hal-03545256v1