![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jérôme Feret
Person information
- affiliation: ENS Paris, France
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [b2]Jérôme Feret:
Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites. École normale supérieure Paris-Saclay, Cachan, France, 2023 - [c41]Aurélie Kong Win Chang
, Jérôme Feret, Gregor Gössler:
A Semantics of Core Erlang with Handling of Signals. Erlang Workshop 2023: 31-38 - [c40]Jérôme Boillot, Jérôme Feret:
Symbolic Transformation of Expressions in Modular Arithmetic. SAS 2023: 84-113 - [c39]Jérôme Feret, Albin Salazar:
A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. VMCAI 2023: 228-251 - 2020
- [c38]Andreea Beica, Jérôme Feret, Tatjana Petrov:
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB 2020: 3-32 - [c37]Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret:
Proving the Absence of Unbounded Polymers in Rule-based Models. SASB 2020: 33-56 - [c36]Marc Chevalier, Jérôme Feret:
Sharing Ghost Variables in a Collection of Abstract Domains. VMCAI 2020: 158-179
2010 – 2019
- 2019
- [j15]Jérôme Feret, Heinz Koeppl:
Editorial. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1561 (2019) - [j14]Jérôme Feret, Loïc Paulevé, David Safránek
:
Preface. Theor. Comput. Sci. 765: 1-2 (2019) - [c35]Pierre Boutillier, Ioana Cristescu, Jérôme Feret:
Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP 2019: 176-204 - 2018
- [j13]Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes
, Walter Fontana:
The Kappa platform for rule-based modeling. Bioinform. 34(13): i583-i592 (2018) - [j12]Jérôme Feret, Kim Quyen Ly:
Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1124-1137 (2018) - [c34]Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet
, Jérôme Feret, Kim Quyên Lý, Nathalie Théret
, Pierre Vignet:
KaSa: A Static Analyzer for Kappa. CMSB 2018: 285-291 - [c33]Jérôme Feret, Kim Quyên Lý:
Reachability Analysis via Orthogonal Sets of Patterns. SASB 2018: 27-48 - 2017
- [c32]Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý:
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. CMSB 2017: 291-299 - [e4]Jérôme Feret, Heinz Koeppl:
Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10545, Springer 2017, ISBN 978-3-319-67470-4 [contents] - 2016
- [j11]Wassim Abou-Jaoudé, Denis Thieffry
, Jérôme Feret:
Formal derivation of qualitative dynamical models from biochemical networks. Biosyst. 149: 70-112 (2016) - [c31]Jérôme Feret, Kim Quyên Lý:
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. CMSB 2016: 116-131 - 2015
- [j10]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2(2-3): 71-190 (2015) - [j9]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
:
Aboveground-Biomass Estimation of a Complex Tropical Forest in India Using Lidar. Remote. Sens. 7(8): 10607-10625 (2015) - [c30]Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
:
Derivation of Qualitative Dynamical Models from Biochemical Networks. CMSB 2015: 195-207 - 2014
- [c29]Jérôme Feret:
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. SASB 2014: 45-65 - 2013
- [j8]Jérôme Feret, Heinz Koeppl, Tatjana Petrov:
Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models. Int. J. Softw. Informatics 7(4): 527-604 (2013) - [c28]Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman:
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. CMSB 2013: 220-233 - 2012
- [j7]Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
:
Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431: 137-164 (2012) - [c27]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel:
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS 2012: 276-288 - [c26]Tatjana Petrov
, Jérôme Feret, Heinz Koeppl:
Reconstructing species-based dynamics from reduced stochastic rule-based models. WSC 2012: 225:1-225:15 - [c25]Jérôme Feret, Andre Levchenko:
Preface. SASB 2012: 1-2 - [e3]Jérôme Feret, Andre Levchenko:
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 284, Elsevier 2012 [contents] - [e2]Jérôme Feret, Andre Levchenko:
3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012. Electronic Notes in Theoretical Computer Science 313, Elsevier 2012 [contents] - 2011
- [j6]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c24]Jérôme Feret:
Formal Model Reduction. SAS 2011: 6 - [c23]Jérôme Feret, Andre Levchenko:
Preface. SASB 2011: 1-2 - [c22]Ferdinanda Camporesi, Jérôme Feret:
Formal Reduction for Rule-based Models. MFPS 2011: 29-59 - [e1]Jérôme Feret, Andre Levchenko:
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 272, Elsevier 2011 [contents] - 2010
- [c21]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS 2010: 362-381 - [c20]Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
:
Lumpability Abstractions of Rule-based Systems. MeCBIC 2010: 142-161 - [c19]Jérôme Feret, Andre Levchenko:
Preface. SASB 2010: 1-2 - [c18]Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
:
Combining Model Reductions. MFPS 2010: 73-96 - [c17]Jérôme Feret:
Fragments-based Model Reduction: Some Case Studies. CS2Bio 2010: 77-96
2000 – 2009
- 2009
- [j5]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Why does Astrée scale up? Formal Methods Syst. Des. 35(3): 229-264 (2009) - [j4]Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana:
Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA 106(16): 6453-6458 (2009) - [j3]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:
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) - [j2]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11: 116-137 (2009) - 2008
- [c16]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122 - [c15]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Investigation of a Biological Repair Scheme. Workshop on Membrane Computing 2008: 1-12 - [c14]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97 - [i2]Jérôme Feret:
Partitioning the Threads of a Mobile System. CoRR abs/0802.0188 (2008) - 2007
- [c13]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine:
Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157 - [c12]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41 - [c11]Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux
, Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 - [i1]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A Static Analyzer for Large Safety-Critical Software. CoRR abs/cs/0701193 (2007) - 2006
- [c10]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux
, Xavier Rival:
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300 - 2005
- [b1]Jérôme Feret:
Analyse des systèmes mobiles par interprétation abstraite. (Analysis of mobile systems by abstract interpretation). École Polytechnique, Palaiseau, France, 2005 - [j1]Jérôme Feret:
Abstract interpretation of mobile systems. J. Log. Algebraic Methods Program. 63(1): 59-130 (2005) - [c9]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
The ASTREÉ Analyzer. ESOP 2005: 21-30 - [c8]Jérôme Feret:
The Arithmetic-Geometric Progression Abstract Domain. VMCAI 2005: 42-58 - 2004
- [c7]Jérôme Feret:
Static Analysis of Digital Filters. ESOP 2004: 33-48 - 2003
- [c6]Bruno Blanchet
, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux
, Xavier Rival:
A static analyzer for large safety-critical software. PLDI 2003: 196-207 - 2002
- [c5]Bruno Blanchet
, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux
, Xavier Rival:
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108 - [c4]Jérôme Feret:
Dependency Analysis of Mobile Systems. ESOP 2002: 314-330 - 2001
- [c3]Jérôme Feret:
Abstract Interpretation-Based Static Analysis of Mobile Ambients. SAS 2001: 412-430 - 2000
- [c2]Jérôme Feret:
Confidentiality Analysis of Mobile Systems. SAS 2000: 135-154 - [c1]Jérôme Feret:
Occurrence Counting Analysis for the pi-Calculus. GETCO 2000: 1-18
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint