Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

87 Results

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

Rule-based modelling, symmetries, refinements

Vincent Danos , Jérôme Feret , Walter Fontana , Russell Harmer , Jean Krivine et al.
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 istex inria-00528339v1

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 istex inria-00527929v1

Internal coarse-graining of molecular systems

Jérôme Feret , Vincent Danos , Jean Krivine , Russ Harmer , Walter Fontana et al.
Proceedings of the National Academy of Sciences of the United States of America, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩
Journal articles inria-00528330v1

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

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

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

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

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

Analyse des systèmes mobiles par interprétation abstraite.

Jérôme Feret
Informatique mobile. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩
Theses pastel-00001303v1
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

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

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

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

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

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

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

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

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

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

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

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