Jérôme Feret

According to our database, Jérôme Feret authored at least 56 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation.

Jérôme Feret, Albin Salazar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Symbolic Transformation of Expressions in Modular Arithmetic.

Jérôme Boillot, Jérôme Feret

Proceedings of the Static Analysis - 30th International Symposium, 2023

A Semantics of Core Erlang with Handling of Signals.

Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites.

Jérôme Feret

, 2023

2020

Sharing Ghost Variables in a Collection of Abstract Domains.

Marc Chevalier, Jérôme Feret

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Proving the Absence of Unbounded Polymers in Rule-based Models.

Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Tropical Abstraction of Biochemical Reaction Networks with Guarantees.

Andreea Beica, Jérôme Feret, Tatjana Petrov

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

2019

Preface.

Jérôme Feret, Loïc Paulevé, David Safránek

Theor. Comput. Sci., 2019

Editorial.

Jérôme Feret, Heinz Koeppl

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Counters in Kappa: Semantics, Simulation, and Static Analysis.

Pierre Boutillier, Ioana Cristescu, Jérôme Feret

Proceedings of the Programming Languages and Systems, 2019

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

Reachability Analysis via Orthogonal Sets of Patterns.

Jérôme Feret, Kim Quyên Lý

Proceedings of SASB 2018, 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

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

Proceedings of the Computational Methods in Systems Biology, 2018

2017

KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models.

Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Formal derivation of qualitative dynamical models from biochemical networks.

Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret

Biosyst., 2016

Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models.

Jérôme Feret, Kim Quyên Lý

Proceedings of the Computational Methods in Systems Biology, 2016

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

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

Derivation of Qualitative Dynamical Models from Biochemical Networks.

Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry

Proceedings of the Computational Methods in Systems Biology, 2015

2014

An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models.

Jérôme Feret

Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

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

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions.

Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Lumpability abstractions of rule-based systems.

Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov

Theor. Comput. Sci., 2012

Reconstructing species-based dynamics from reduced stochastic rule-based models.

Tatjana Petrov, Jérôme Feret, Heinz Koeppl

Proceedings of the Winter Simulation Conference, 2012

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

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

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

Formal Reduction for Rule-based Models.

Ferdinanda Camporesi, Jérôme Feret

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Formal Model Reduction.

Jérôme Feret

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Preface.

Jérôme Feret, Andre Levchenko

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010

Fragments-based Model Reduction: Some Case Studies.

Jérôme Feret

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Combining Model Reductions.

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

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

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Rule-Based Modelling and Model Perturbation.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Trans. Comp. Sys. Biology, 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

Internal coarse-graining of molecular systems.

Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana

Proc. Natl. Acad. Sci. USA, 2009

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

2008

Partitioning the Threads of a Mobile System

Jérôme Feret

CoRR, 2008

Abstract Interpretation of Cellular Signalling Networks.

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine

Proceedings of the Verification, 2008

Investigation of a Biological Repair Scheme.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Rule-Based Modelling, Symmetries, Refinements.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

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

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Rule-Based Modelling of Cellular Signalling.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Scalable Simulation of Cellular Signaling Networks.

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

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

Proceedings of the Advances in Computer Science, 2006

2005

Analyse des systèmes mobiles par interprétation abstraite. (Analysis of mobile systems by abstract interpretation).

Jérôme Feret

PhD thesis, 2005

Abstract interpretation of mobile systems.

Jérôme Feret

J. Log. Algebraic Methods Program., 2005

The Arithmetic-Geometric Progression Abstract Domain.

Jérôme Feret

Proceedings of the Verification, 2005

The ASTREÉ Analyzer.

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival

Proceedings of the Programming Languages and Systems, 2005

2004

Static Analysis of Digital Filters.

Jérôme Feret

Proceedings of the Programming Languages and Systems, 2004

2003

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

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

Dependency Analysis of Mobile Systems.

Jérôme Feret

Proceedings of the Programming Languages and Systems, 2002

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

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Abstract Interpretation-Based Static Analysis of Mobile Ambients.

Jérôme Feret

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Occurrence Counting Analysis for the pi-Calculus.

Jérôme Feret

Proceedings of the 2nd Workshop on Geometry and Topology in Concurrency theory, 2000

Confidentiality Analysis of Mobile Systems.

Jérôme Feret

Proceedings of the Static Analysis, 7th International Symposium, 2000