| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Modal event-clock specifications for timed component-based design
Nathalie Bertrand
1
Axel Legay
2
Sophie Pinchinat
3
Jean-Baptiste Raclet
4
1
VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
2
DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3
S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
4
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
Nathalie Bertrand 1
Author
Axel Legay 2
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Sophie Pinchinat 3
Author Employer institution : Université de Rennes 1 IdHAL : sophie-pinchinat
Jean-Baptiste Raclet 4
Author Employer institution : Université Toulouse III - Paul Sabatier IdHAL : jean-baptiste-raclet ORCID : https://orcid.org/0000-0001-7357-912X
1
VERTECS - Verification models and techniques applied to testing and control of reactive systems (Campus de Beaulieu, 35042 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems (Campus de Beaulieu 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - 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 : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
3
S4 - System synthesis and supervision, scenarios (Campus de Beaulieu 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - 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 : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
4
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00752449
Contributor : Nathalie Bertrand <>
Submitted on : Thursday, November 15, 2012 - 5:25:58 PM
Last modification on : Thursday, June 10, 2021 - 3:48:45 AM
Contributor : Nathalie Bertrand <>
Submitted on : Thursday, November 15, 2012 - 5:25:58 PM
Last modification on : Thursday, June 10, 2021 - 3:48:45 AM
Links full text
Identifiers
- HAL Id : hal-00752449, version 1
- DOI : 10.1016/j.scico.2011.01.007
Collections
CNRS | INRIA | UNIV-RENNES1 | IRISA | IRISA-D2 | IRISA-D4 | UNIV-TLSE2 | SMS | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE | INSA-RENNES | IRIT-FSL | IRIT-UT3
Citation
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, Elsevier, 2012, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩. ⟨hal-00752449⟩
Metrics
Record views