International audience
-
2007 (v1)Journal articleUploaded on: December 3, 2022
-
May 29, 2013 (v1)Conference paper
International audience
Uploaded on: February 28, 2023 -
2011 (v1)Journal article
International audience
Uploaded on: March 25, 2023 -
September 16, 2015 (v1)Conference paper
The main difficulty when modelling gene networks is the identification of the parameters that govern the dynamics. Here we present a new approach based on Hoare logic and weakest preconditions (a la Dijkstra) that generates constraints on the parameter values: Once proper specifications are extracted from biological traces, they play a role...
Uploaded on: February 28, 2023 -
2005 (v1)Conference paper
No description
Uploaded on: December 3, 2022 -
April 2009 (v1)Journal article
The formalism of hybrid functional petri nets (HFPN) has proved its convenience for simulating biological systems. The drawback of the noticeable expressiveness of HFPN is the difficulty to perform formal verifications of dynamical properties. In this article, we propose a model-checking procedure for timed hybrid petri nets (THPN), a sub-class...
Uploaded on: December 2, 2022 -
July 2022 (v1)Book section
Ce chapitre démontre que la modélisation des réseaux de régulation biologiques est grandement facilitée par des méthodes symboliques de vérification formelle comme le model-checking et les preuves en logique de Hoare. Il présente une méthodologie complète de modélisation formelle où les approches logiques classiques du génie logiciel s'adaptent...
Uploaded on: February 22, 2023 -
September 13, 2021 (v1)Book section
International audience
Uploaded on: December 4, 2022 -
September 13, 2021 (v1)Book section
International audience
Uploaded on: February 22, 2023 -
April 2009 (v1)Journal article
The formalism of hybrid functional petri nets (HFPN) has proved its convenience for simulating biological systems. The drawback of the noticeable expressiveness of HFPN is the difficulty to perform formal verifications of dynamical properties. In this article, we propose a model-checking procedure for timed hybrid petri nets (THPN), a sub-class...
Uploaded on: October 11, 2023 -
October 31, 2022 (v1)Conference paper
The study of gene regulatory networks (GRNs) allows us to better understand biological systems such as the adaptation of the organism to a disturbance in the environment. Hybrid GRNs (hGRNs) are of interest because they integrate the continuous time evolution in GRN modeling which is convenient in biology. This study focuses on the problem of...
Uploaded on: February 22, 2023 -
October 2018 (v1)Journal article
International audience
Uploaded on: December 4, 2022 -
October 16, 2017 (v1)Conference paper
We present a new hybrid Hoare logic dedicated for a class of linear hybrid automata well suited to model gene regulatory networks. These automata rely on Thomas' discrete framework in which qualitative parameters have been replaced by continuous parameters called celerities. The identification of these parameters remains one of the keypoints of...
Uploaded on: February 28, 2023 -
November 27, 2020 (v1)Publication
On ne compte plus le nombre de fois où les chercheurs en méthodes formelles pour le génie logiciel ont entendu cette plaisanterie : « Les méthodesformelles ont toujours été l'avenir de l'informatique... et le resteront toujours ! ». Dans ce chapitre nous montrons que les méthodes formelles sont le présent de l'analyse des réseaux de régulation...
Uploaded on: December 4, 2022 -
2005 (v1)Conference paper
No description
Uploaded on: December 4, 2022 -
2007 (v1)Conference paper
The formalism of Hybrid Functional Petri Nets (HFPN) has proved its convenience for simulating biological systems. The drawback of the noticeable expressiveness of HFPN is the difficulty to perform formal verifications of dynamical properties. In this article, we propose a model-checking procedure for Timed Hybrid Petri Nets (THPN), a sub-class...
Uploaded on: December 3, 2022 -
2007 (v1)Conference paper
The Hybrid Functional Petri Nets (HFPN) formalism has shown its convenience for modelling biological systems. This class of models has been fruitfully applied in biology but the remarkable expressiveness of HFPN often leads to incomplete validations. In this paper, we propose a logical framework for Timed Hybrid Petri Nets (THPN), a sub-class...
Uploaded on: December 4, 2022 -
October 31, 2022 (v1)Conference paper
International audience
Uploaded on: December 12, 2023 -
2014 (v1)Book section
International audience
Uploaded on: February 28, 2023 -
2012 (v1)Journal article
International audience
Uploaded on: March 26, 2023 -
2016 (v1)Book section
International audience
Uploaded on: February 28, 2023 -
October 5, 2018 (v1)Conference paper
International audience
Uploaded on: December 4, 2022 -
2013 (v1)Book section
International audience
Uploaded on: February 28, 2023 -
February 17, 2004 (v1)Conference paper
International audience
Uploaded on: December 4, 2022