引用次数
引用: 5,510
H-指数: 31
I10-指数 : 47
出版物: 80
Rule-Based Modeling and Model Refinement
Elaine Murphy , Vincent Danos , Jérôme Féret , Jean Krivine
Elements of Computational Systems Biology 83 -114
17
2010
Investigation of a Biological Repair Scheme
Vincent Danos , Jérôme Féret , Walter Fontana , Russell Harmer
Membrane Computing 5391 1 -12
4
2009
OS-102 A rule-based multiscale model of hepatic stellate cell plasticity: critical role of the inactivation loop in fibrosis progression
Matthieu Bougueon , Vincent Legagneux , Octave Hazard , Jérémy Bomo
Journal of Hepatology 80 S64 -S64
2024
Accessible Pattern Analyses in Kappa Models
Jérôme FERET
Symbolic Approaches to Modeling and Analysis of Biological Systems 313 -313
2023
Rule-Based Modelling and Model Perturbation
Jean Krivine , Walter Fontana , Jérôme Feret , Vincent Danos
Transactions on Computational Systems Biology 11 116 -137
65
2009
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
Glynn Winskel , Jean Krivine , Walter Fontana , Jérôme Feret
foundations of software technology and theoretical computer science 18 276 -288
67
2012
Astrée: Proving the Absence of Runtime Errors
Laurent Mauborgne , Xavier Rival , Xavier Rival , Xavier Rival
Embedded real time software and systems - ERTS2 2010
21
2010
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011)
Jérôme Feret , Andre Levchenko
international workshop static analysis systems biology 284 137
2012
Space Software Validation using Abstract Interpretation
Olivier Bouissou , Laurent Mauborgne , Xavier Rival , Sylvie Putot
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009 1 1 -7
29
2009
Stochastic Fragments : a Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models
Heinz Koeppl , Jérôme Feret , Tatjana Petrov
International Journal of Software and Informatics 7 ( 4) 527 -604
23
2013
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.
Laurent Mauborgne , Xavier Rival , Stefana Nenova , Jérôme Feret
Workshop "Entwicklung zuverlässiger Software-Systeme"
1
2009
Using alternated sums to express the occurrence number of extended patterns in site-graphs
Jérôme Feret , Ferdinanda Camporesi
international workshop static analysis systems biology 18
2017
2020
Formal derivation of qualitative dynamical models from biochemical networks.
Wassim Abou-Jaoudé , Denis Thieffry , Jérôme Feret
BioSystems 149 70 -112
10
2016
Combinatorial Complexity and Compositional Drift in Protein Interaction Networks
Eric J. Deeds , Jean Krivine , Jérôme Feret , Vincent Danos
PLoS ONE 7 ( 3) e32032 -14
56
2012
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions
Ferdinanda Camporesi , Jérôme Feret , Jonathan Hayman
computational methods in systems biology 220 -233
4
2013
Abstract Interpretation-Based Static Analysis of Mobile Ambients
Jérôme Feret
static analysis symposium 412 -430
34
2001
Scalable simulation of cellular signaling networks
Vincent Danos , Jérôme Feret , Walter Fontana , Jean Krivine
asian symposium on programming languages and systems 4807 139 -157
194
2007
Occurrence Counting Analysis for the π-calculus
Jérôme Feret
Electronic Notes in Theoretical Computer Science 39 ( 2) 1 -18
34
2000
Static Analysis of Digital Filters
Jérôme Feret
european symposium on programming 33 -48
128
2004
Xavier Rival Patrick Cousot Antoine Miné Walter Fontana Vincent Danos Jean Krivine Russ Harmer David Monniaux Tatjana Petrov Bruno Blanchet Heinz Koeppl nathalie theret Christian Ferdinand Glynn Winskel Thomas Henzinger Héctor F Medina-Abarca Angus G. Forbes Denis Thieffry Wassim Abou-Jaoudé Eric J. Deeds