Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

94 résultats
Page :
triés par

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⟩
Article dans une revue istex inria-00527910v1

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⟩
Communication dans un congrès istex 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⟩
Communication dans un congrès inria-00527933v1

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⟩
Communication dans un congrès istex inria-00527929v1

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⟩
Communication dans un congrès inria-00528358v1

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⟩
Communication dans un congrès 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⟩
Communication dans un congrès hal-01098556v1

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⟩
Communication dans un congrès istex inria-00528339v1
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
Communication dans un congrès hal-01613603v1
Image document

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

 Jérôme Feret
Informatique mobile. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩
Thèse pastel-00001303v1

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⟩
Communication dans un congrès inria-00528447v1

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⟩
Article dans une revue inria-00528330v1

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/Recueil des communications hal-01147670v1
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⟩
Communication dans un congrès hal-01613600v1
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⟩
Communication dans un congrès 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
Communication dans un congrès hal-01379902v1

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⟩
Communication dans un congrès inria-00528450v1

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⟩
Ouvrage (y compris édition critique et traduction) hal-01613596v1

Formal Model Reduction

 Jérôme Feret
Static Analysis Symposium, Sep 2011, Venice, Italy. pp.6, ⟨10.1007/978-3-642-23702-7_5⟩
Communication dans un congrès inria-00626640v1

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
Communication dans un congrès inria-00527960v1

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⟩
Communication dans un congrès inria-00636850v1

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⟩
Article dans une revue hal-01967635v1

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
Article dans une revue hal-01098561v1

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⟩
Communication dans un congrès inria-00528571v1

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⟩
Article dans une revue hal-00677894v1

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
Communication dans un congrès hal-00734483v1
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
Communication dans un congrès hal-01962674v1

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
Ouvrage (y compris édition critique et traduction) hal-00722483v1

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
Ouvrage (y compris édition critique et traduction) hal-00722482v1

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⟩
Communication dans un congrès inria-00527536v1
Page :