@inproceedings{fb7c5bd0ca54466c966b7a5fc6c27c48,
title = "20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond",
abstract = "In this paper we review how the Uppaal Tool Suite served in industrial projects and was both driven and improved by them throughout the last 20 years. We show how the need of industry for model-based validation, performance evaluation and synthesis shaped the tool suite and how the tool suite aided the use cases it was applied in. The paper highlights a number of selected cases, including success stories and pitfalls, and we discuss the important roles of both basic research and industrial projects.",
author = "Larsen, {Kim Guldstrand} and Florian Lorber and Brian Nielsen",
year = "2018",
month = nov,
day = "9",
doi = "10.1007/978-3-030-03427-6_18",
language = "English",
isbn = "978-3-030-03426-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "212--229",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice",
address = "Germany",
note = "International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA2018 ; Conference date: 05-11-2018 Through 09-11-2018",
}