Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Féret, Jérôme"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Biochemical molecules interact through modification and binding reactions, giving raise to a combinatorial number of possible biochemical species. The time-dependent evolution of concentrations of the species is commonly described by a system of coup
Externí odkaz:
http://arxiv.org/abs/1812.11405
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 September 2020 350:3-32
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 September 2020 350:33-56
Publikováno v:
EPTCS 40, 2010, pp. 142-161
The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial process in a mathematical model is an important challenge in systems
Externí odkaz:
http://arxiv.org/abs/1011.0496
Autor:
Feret, Jérôme
In this paper, we show how thread partitioning helps in proving properties of mobile systems. Thread partitioning consists in gathering the threads of a mobile system into several classes. The partitioning criterion is left as a parameter of both the
Externí odkaz:
http://arxiv.org/abs/0802.0188
Autor:
Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jerôme, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier
Publikováno v:
PLDI: Conference on Programming Language Design and Implementation (2003) 196 - 207
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms. This is achieved by refinement of a gener
Externí odkaz:
http://arxiv.org/abs/cs/0701193
Autor:
Feret, Jérôme, Lý, Kim Quyên
Publikováno v:
In Electronic Notes in Theoretical Computer Science 10 April 2018 335:27-48
Publikováno v:
In BioSystems November 2016 149:70-112
Autor:
Feret, Jérôme
Publikováno v:
In Electronic Notes in Theoretical Computer Science 16 September 2015 316:45-65