| 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 1IdHAL : sophie-pinchinatIdRef : 097578754
Jean-Baptiste Raclet 4
Author
Employer institution: Université Toulouse III - Paul SabatierIdHAL : jean-baptiste-racletORCID : 0000-0001-7357-912XIdRef : 113949383
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 Connect in order to contact the contributor
Submitted on : Thursday, November 15, 2012 - 5:25:58 PM
Last modification on : Wednesday, June 1, 2022 - 4:44:00 AM
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Thursday, November 15, 2012 - 5:25:58 PM
Last modification on : Wednesday, June 1, 2022 - 4:44:00 AM
Links full text
Identifiers
- HAL Id : hal-00752449, version 1
- DOI : 10.1016/j.scico.2011.01.007
Collections
EC-PARIS | UNIV-TLSE2 | UNIV-TLSE3 | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | UT1-CAPITOLE | IRISA-D4 | IRISA-D2 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | IRIT | IRIT-ACADIE | UR1-MATH-NUM | IRIT-FSL | IRIT-UT3 | UNIV-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