| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Model Checking logical regulatory networks
Pedro T. Monteiro
1
Wassim Abou-Jaoudé
2, 3
Denis Thieffry
3
Claudine Chaouiya
4
2
ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Pedro T. Monteiro 1
Author
Wassim Abou-Jaoudé 2, 3
Author
Denis Thieffry 3
Author
Claudine Chaouiya 4
Author IdHAL : claudine-chaouiya
1
INESC-ID - Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (Rua Alves Redol 9 - Apartado 13069 - 1000-029 Lisboa - Portugal)
- IST - Instituto Superior Técnico, Universidade Técnica de Lisboa (Av. Rovisco Pais, 1 1049-001 Lisboa - Portugal)
- INESC - Instituto de Engenharia de Sistemas e Computadores (Rua Alves Redol, n. 9 1000-029 Lisboa - Portugal)
2
ANTIQUE - Analyse Statique par Interprétation Abstraite (France)
- DI-ENS - Département d'informatique de l'École normale supérieure (École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
3
IBENS - Institut de biologie de l'ENS Paris (UMR 8197/1024) (46, Rue d’Ulm
75005 Paris - France)
- INSERM - Institut National de la Santé et de la Recherche Médicale : U1024 (101, rue de Tolbiac, 75013 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8197 (France)
- Département de Biologie - ENS Paris (Département de Biologie
ENS Ulm
46 rue d 'Ulm
75005 Paris - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique (France)
- INSERM - Institut National de la Santé et de la Recherche Médicale (101, rue de Tolbiac, 75013 Paris - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
4
IGC - Instituto Gulbenkian de Ciência [Oeiras] (Apartado 14 P-2781-901 Oeiras - Portugal)
- Fundação Calouste Gulbenkian (Portugal)
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01099489
Contributor : Jérôme Feret <>
Submitted on : Sunday, January 4, 2015 - 9:40:05 AM
Last modification on : Tuesday, September 22, 2020 - 3:48:02 AM
Contributor : Jérôme Feret <>
Submitted on : Sunday, January 4, 2015 - 9:40:05 AM
Last modification on : Tuesday, September 22, 2020 - 3:48:02 AM
Links full text
Identifiers
- HAL Id : hal-01099489, version 1
- DOI : 10.3182/20140514-3-FR-4046.00135
Citation
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya. Model Checking logical regulatory networks. WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, Jean-Marc Faure, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00135⟩. ⟨hal-01099489⟩
Metrics
Record views