Quantitative modelling and analysis

Joost-Pieter Katoen; Kim Guldstrand Larsen

doi:10.1007/978-3-642-34032-1_27

Quantitative modelling and analysis

Joost-Pieter Katoen^*
, Kim Guldstrand Larsen

^*Corresponding author for this work

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

1 Citation (Scopus)

27 Downloads (Pure)

Abstract

Quantitative models and quantitative analysis in Computer Science are currently intensively studied, resulting in a revision of the foundation of Computer Science where classical yes/no answers are replaced by quantitative analyses. The potential application areas are huge, e.g., performance analysis, operations research or embedded systems. This field covers extended automata-based models that permit to reasons about quantities. Over the past, one has mainly distinguished between real-time and stochastic extensions of automata.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Editors	Tiziana Margaria, Bernhard Steffen
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	290-292
Number of pages	3
ISBN (Electronic)	978-3-642-34032-1
ISBN (Print)	978-3-642-34031-4
DOIs	https://doi.org/10.1007/978-3-642-34032-1_27
Publication status	Published - 2012
Event	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 - Heraklion, Crete, Greece Duration: 15 Oct 2012 → 18 Oct 2012 Conference number: 5

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7610
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
Abbreviated title	ISoLA 2012
Country/Territory	Greece
City	Heraklion, Crete
Period	15/10/12 → 18/10/12

Keywords

2024 OA procedure

Access to Document

10.1007/978-3-642-34032-1_27

ArticleFinal published version, 71.6 KBLicence: Taverne

Cite this

Katoen, J.-P., & Larsen, K. G. (2012). Quantitative modelling and analysis. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (pp. 290-292). (Lecture Notes in Computer Science; Vol. 7610). Springer. https://doi.org/10.1007/978-3-642-34032-1_27

Katoen, Joost-Pieter ; Larsen, Kim Guldstrand. / Quantitative modelling and analysis. Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. editor / Tiziana Margaria ; Bernhard Steffen. Berlin, Heidelberg : Springer, 2012. pp. 290-292 (Lecture Notes in Computer Science).

@inproceedings{bda547d453e0451dabccae7c6235e8a6,

title = "Quantitative modelling and analysis",

abstract = "Quantitative models and quantitative analysis in Computer Science are currently intensively studied, resulting in a revision of the foundation of Computer Science where classical yes/no answers are replaced by quantitative analyses. The potential application areas are huge, e.g., performance analysis, operations research or embedded systems. This field covers extended automata-based models that permit to reasons about quantities. Over the past, one has mainly distinguished between real-time and stochastic extensions of automata.",

keywords = "2024 OA procedure",

author = "Joost-Pieter Katoen and Larsen, \{Kim Guldstrand\}",

year = "2012",

doi = "10.1007/978-3-642-34032-1\_27",

language = "English",

isbn = "978-3-642-34031-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "290--292",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

address = "Germany",

note = "5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012, ISoLA 2012 ; Conference date: 15-10-2012 Through 18-10-2012",

}

Katoen, J-P & Larsen, KG 2012, Quantitative modelling and analysis. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Lecture Notes in Computer Science, vol. 7610, Springer, Berlin, Heidelberg, pp. 290-292, 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012, Heraklion, Crete, Greece, 15/10/12. https://doi.org/10.1007/978-3-642-34032-1_27

Quantitative modelling and analysis. / Katoen, Joost-Pieter; Larsen, Kim Guldstrand.
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Berlin, Heidelberg: Springer, 2012. p. 290-292 (Lecture Notes in Computer Science; Vol. 7610).

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

TY - GEN

T1 - Quantitative modelling and analysis

AU - Katoen, Joost-Pieter

AU - Larsen, Kim Guldstrand

N1 - Conference code: 5

PY - 2012

Y1 - 2012

N2 - Quantitative models and quantitative analysis in Computer Science are currently intensively studied, resulting in a revision of the foundation of Computer Science where classical yes/no answers are replaced by quantitative analyses. The potential application areas are huge, e.g., performance analysis, operations research or embedded systems. This field covers extended automata-based models that permit to reasons about quantities. Over the past, one has mainly distinguished between real-time and stochastic extensions of automata.

AB - Quantitative models and quantitative analysis in Computer Science are currently intensively studied, resulting in a revision of the foundation of Computer Science where classical yes/no answers are replaced by quantitative analyses. The potential application areas are huge, e.g., performance analysis, operations research or embedded systems. This field covers extended automata-based models that permit to reasons about quantities. Over the past, one has mainly distinguished between real-time and stochastic extensions of automata.

KW - 2024 OA procedure

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

U2 - 10.1007/978-3-642-34032-1_27

DO - 10.1007/978-3-642-34032-1_27

M3 - Conference contribution

AN - SCOPUS:84868293718

SN - 978-3-642-34031-4

T3 - Lecture Notes in Computer Science

SP - 290

EP - 292

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Berlin, Heidelberg

T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

Y2 - 15 October 2012 through 18 October 2012

ER -

Katoen JP, Larsen KG. Quantitative modelling and analysis. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Berlin, Heidelberg: Springer. 2012. p. 290-292. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-34032-1_27

Quantitative modelling and analysis

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this