Jérôme Feret

70 papers A* 2A 4B 12Misc 2Journal 18Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	CESAn: A Core Erlang Semantics Analyser. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler
2025	—	`conf`	Abstraction of memory block manipulations by symbolic loop folding. ESOP (1) Jérôme Boillot, Jérôme Feret
2025	—	`conf`	Model reduction of infinite rule-based models. SIGSIM-PADS Jérôme Feret
2025	—	`conf`	On Model Reductions of Boolean Networks. CMSB Claudine Chaouiya, Jérôme Feret, Patrícia Tenera Roxo
2025	—	`conf`	Reachability Analysis for Parametric Rule-Based Models. CMSB Jérôme Feret, Rebecca Ghidini
2024	J	`jnl`	A rule-based multiscale model of hepatic stellate cell plasticity: Critical role of the inactivation loop in fibrosis progression. PLoS Comput. Biol. Matthieu Bouguéon, Vincent Legagneux, Octave Hazard, Jérémy Bomo, Anne Siegel, Jérôme Feret, Nathalie Théret
2023	B	`conf`	A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. VMCAI Jérôme Feret, Albin Salazar
2023	—	`conf`	A Semantics of Core Erlang with Handling of Signals. Erlang Workshop Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler
2023	—	`book`	Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites. Jérôme Feret
2023	B	`conf`	Symbolic Transformation of Expressions in Modular Arithmetic. SAS Jérôme Boillot, Jérôme Feret
2020	—	`conf`	Proving the Absence of Unbounded Polymers in Rule-based Models. SASB Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret
2020	B	`conf`	Sharing Ghost Variables in a Collection of Abstract Domains. VMCAI Marc Chevalier, Jérôme Feret
2020	—	`conf`	Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB Andreea Beica, Jérôme Feret, Tatjana Petrov
2019	A	`conf`	Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP Pierre Boutillier, Ioana Cristescu, Jérôme Feret
2019	J	`jnl`	Editorial. IEEE ACM Trans. Comput. Biol. Bioinform. Jérôme Feret, Heinz Koeppl
2019	J	`jnl`	Preface. Theor. Comput. Sci. Jérôme Feret, Loïc Paulevé, David Safránek
2018	—	`conf`	KaSa: A Static Analyzer for Kappa. CMSB Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet
2018	J	`jnl`	Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models. IEEE ACM Trans. Comput. Biol. Bioinform. Jérôme Feret, Kim Quyen Ly
2018	—	`conf`	Reachability Analysis via Orthogonal Sets of Patterns. SASB Jérôme Feret, Kim Quyên Lý
2018	J	`jnl`	The Kappa platform for rule-based modeling. Bioinform. Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
2017	—	`ed.`	Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings CMSB Jérôme Feret, Heinz Koeppl
2017	—	`conf`	KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. CMSB Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý
2016	J	`jnl`	Formal derivation of qualitative dynamical models from biochemical networks. Biosyst. Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret
2016	—	`conf`	Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. CMSB Jérôme Feret, Kim Quyên Lý
2015	J	`jnl`	Aboveground-Biomass Estimation of a Complex Tropical Forest in India Using Lidar. Remote. Sens. 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
2015	—	`conf`	Derivation of Qualitative Dynamical Models from Biochemical Networks. CMSB Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
2015	J	`jnl`	Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2014	—	`conf`	An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. SASB Jérôme Feret
2013	—	`conf`	Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. CMSB Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman
2013	J	`jnl`	Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models. Int. J. Softw. Informatics Jérôme Feret, Heinz Koeppl, Tatjana Petrov
2012	—	`ed.`	3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012 SASB Jérôme Feret, Andre Levchenko
2012	—	`conf`	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
2012	J	`jnl`	Lumpability abstractions of rule-based systems. Theor. Comput. Sci. Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
2012	—	`conf`	Preface. SASB Jérôme Feret, Andre Levchenko
2012	—	`ed.`	Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011 SASB Jérôme Feret, Andre Levchenko
2012	Misc	`conf`	Reconstructing species-based dynamics from reduced stochastic rule-based models. WSC Tatjana Petrov, Jérôme Feret, Heinz Koeppl
2011	B	`conf`	Formal Model Reduction. SAS Jérôme Feret
2011	B	`conf`	Formal Reduction for Rule-based Models. MFPS Ferdinanda Camporesi, Jérôme Feret
2011	—	`conf`	Preface. SASB Jérôme Feret, Andre Levchenko
2011	—	`ed.`	Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010 SASB Jérôme Feret, Andre Levchenko
2011	J	`jnl`	Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2010	A*	`conf`	Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2010	B	`conf`	Combining Model Reductions. MFPS Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
2010	—	`conf`	Fragments-based Model Reduction: Some Case Studies. CS2Bio Jérôme Feret
2010	—	`conf`	Lumpability Abstractions of Rule-based Systems MeCBIC Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
2010	—	`conf`	Preface. SASB Jérôme Feret, Andre Levchenko
2009	J	`jnl`	Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 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
2009	J	`jnl`	Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
2009	J	`jnl`	Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2009	J	`jnl`	Why does Astrée scale up? Formal Methods Syst. Des. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2008	B	`conf`	Abstract Interpretation of Cellular Signalling Networks. VMCAI Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
2008	—	`conf`	Investigation of a Biological Repair Scheme. Workshop on Membrane Computing Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2008	J	`jnl`	Partitioning the Threads of a Mobile System CoRR Jérôme Feret
2008	—	`conf`	Rule-Based Modelling, Symmetries, Refinements. FMSB Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2007	J	`jnl`	A Static Analyzer for Large Safety-Critical Software CoRR Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2007	B	`conf`	Rule-Based Modelling of Cellular Signalling. CONCUR Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2007	B	`conf`	Scalable Simulation of Cellular Signaling Networks. APLAS Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
2007	Misc	`conf`	Varieties of Static Analyzers: A Comparison with ASTREE. TASE Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
2006	—	`conf`	Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2005	J	`jnl`	Abstract interpretation of mobile systems. J. Log. Algebraic Methods Program. Jérôme Feret
2005	—	`—`	Analyse des systèmes mobiles par interprétation abstraite. (Analysis of mobile systems by abstract interpretation). Jérôme Feret
2005	A	`conf`	The ASTREÉ Analyzer. ESOP Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2005	B	`conf`	The Arithmetic-Geometric Progression Abstract Domain. VMCAI Jérôme Feret
2004	A	`conf`	Static Analysis of Digital Filters. ESOP Jérôme Feret
2003	A*	`conf`	A static analyzer for large safety-critical software. PLDI Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2002	A	`conf`	Dependency Analysis of Mobile Systems. ESOP Jérôme Feret
2002	—	`conf`	Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2001	B	`conf`	Abstract Interpretation-Based Static Analysis of Mobile Ambients. SAS Jérôme Feret
2000	B	`conf`	Confidentiality Analysis of Mobile Systems. SAS Jérôme Feret
2000	—	`conf`	Occurrence Counting Analysis for the pi-Calculus. GETCO Jérôme Feret