UPPAAL in 1995

Johan Bengtsson; Kim G. Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi

doi:10.1007/3-540-61042-1_66

UPPAAL in 1995

Johan Bengtsson
, Kim G. Larsen
, Fredrik Larsson
, Paul Pettersson
, Wang Yi

Uppsala University
Danish National Research Foundation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

43 Scopus citations

Abstract

UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the theoretical foundation.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	431-434
Number of pages	4
ISBN (Print)	3540610421, 9783540610427
DOIs	https://doi.org/10.1007/3-540-61042-1_66
State	Published - 1996
Externally published	Yes
Event	2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996 - Passau, Germany Duration: 27 Mar 1996 → 29 Mar 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1055
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996
Country/Territory	Germany
City	Passau
Period	27/03/96 → 29/03/96

Access to Document

10.1007/3-540-61042-1_66

Cite this

Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1996). UPPAAL in 1995. In T. Margaria, & B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings (pp. 431-434). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1055). Springer Verlag. https://doi.org/10.1007/3-540-61042-1_66

Bengtsson, Johan ; Larsen, Kim G. ; Larsson, Fredrik et al. / UPPAAL in 1995. Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 1996. pp. 431-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d8f0d6b13c774e42915c3650964ea378,

title = "UPPAAL in 1995",

abstract = "UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the theoretical foundation.",

author = "Johan Bengtsson and Larsen, \{Kim G.\} and Fredrik Larsson and Paul Pettersson and Wang Yi",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996 ; Conference date: 27-03-1996 Through 29-03-1996",

year = "1996",

doi = "10.1007/3-540-61042-1\_66",

language = "英语",

isbn = "3540610421",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "431--434",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings",

address = "德国",

}

Bengtsson, J, Larsen, KG, Larsson, F, Pettersson, P & Yi, W 1996, UPPAAL in 1995. in T Margaria & B Steffen (eds), Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1055, Springer Verlag, pp. 431-434, 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996, Passau, Germany, 27/03/96. https://doi.org/10.1007/3-540-61042-1_66

UPPAAL in 1995. / Bengtsson, Johan; Larsen, Kim G.; Larsson, Fredrik et al.
Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 1996. p. 431-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1055).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - UPPAAL in 1995

AU - Bengtsson, Johan

AU - Larsen, Kim G.

AU - Larsson, Fredrik

AU - Pettersson, Paul

AU - Yi, Wang

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996

Y1 - 1996

N2 - UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the theoretical foundation.

AB - UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the theoretical foundation.

UR - https://www.scopus.com/pages/publications/84958764157

U2 - 10.1007/3-540-61042-1_66

DO - 10.1007/3-540-61042-1_66

M3 - 会议稿件

AN - SCOPUS:84958764157

SN - 3540610421

SN - 9783540610427

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 431

EP - 434

BT - Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996

Y2 - 27 March 1996 through 29 March 1996

ER -

Bengtsson J, Larsen KG, Larsson F, Pettersson P, Yi W. UPPAAL in 1995. In Margaria T, Steffen B, editors, Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings. Springer Verlag. 1996. p. 431-434. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61042-1_66

UPPAAL in 1995

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this