| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Scenario-based verification of real-time systems using \textscUppaal
Shuhao Li
1
Sandie Balaguer
2
Alexandre David
1
Kim Guldstrand Larsen
1
Brian Nielsen
1
Saulius Pusinskas
1
2
MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Brian Nielsen 1
Author
Saulius Pusinskas 1
Author
1
CISS - Center for Indlejrede Software Systemer (Selma Lagerlöfs Vej 300 DK-9220 Aalborg Ø - Denmark)
- AAU - Aalborg University [Denmark] (Fredrik Bajers Vej 5, P.O. Box 159, DK - 9100 Aalborg, Denmark - Denmark)
2
MEXICO - Modeling and Exploitation of Interaction and Concurrency (LSV, ENS Cachan 61 av président Wilson 94235 Cachan cedex - France)
- LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France)
- ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8643 (France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Document type :
Journal articles
Domain :
Complete list of metadata
https://hal.inria.fr/hal-00779909
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 5:01:15 PM
Last modification on : Monday, February 15, 2021 - 10:48:47 AM
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 5:01:15 PM
Last modification on : Monday, February 15, 2021 - 10:48:47 AM
Links full text
Identifiers
- HAL Id : hal-00779909, version 1
- DOI : 10.1007/s10703-010-0103-z
Collections
CNRS | INRIA | ENS-CACHAN | ENS-PARIS-SACLAY
Citation
Shuhao Li, Sandie Balaguer, Alexandre David, Kim Guldstrand Larsen, Brian Nielsen, et al.. Scenario-based verification of real-time systems using \textscUppaal. Formal Methods in System Design, Springer Verlag, 2010, 37 (2-3), pp.200-264. ⟨10.1007/s10703-010-0103-z⟩. ⟨hal-00779909⟩
Metrics
Record views