A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan; Jüri Vain; Martin Koskinen; Junaid Iqbal

doi:10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal

Information Technology

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

Original language	Undefined/Unknown
Title of host publication	Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Editors	A Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek, M Sinderen
Publisher	Springer
Pages	349–364
ISBN (Electronic)	978-3-319-25579-8
ISBN (Print)	978-3-319-25578-1
DOIs	https://doi.org/10.1007/978-3-319-25579-8
Publication status	Published - 2015
MoE publication type	A3 Part of a book or another research book

Access to Document

10.1007/978-3-319-25579-8

N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Project: Industry/Business Finland
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I. & Siavashi, F.
01/01/12 → 31/12/15
Project: Industry/Business Finland

Cite this

Truscan, D., Vain, J., Koskinen, M., & Iqbal, J. (2015). A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. In A. Holzinger, J. Cardoso, J. Cordeiro, T. Libourel, L. Maciaszek, & M. Sinderen (Eds.), Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers (pp. 349–364). Springer. https://doi.org/10.1007/978-3-319-25579-8

Truscan, Dragos ; Vain, Jüri ; Koskinen, Martin et al. / A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. editor / A Holzinger ; J Cardoso ; J Cordeiro ; T Libourel ; L Maciaszek ; M Sinderen. Springer, 2015. pp. 349–364

@inbook{667f93f0e5b94b49bf65190510cd5b49,

title = "A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata",

author = "Dragos Truscan and J{\"u}ri Vain and Martin Koskinen and Junaid Iqbal",

year = "2015",

doi = "10.1007/978-3-319-25579-8",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-25578-1",

pages = "349–364",

editor = "A Holzinger and J Cardoso and J Cordeiro and T Libourel and L Maciaszek and M Sinderen",

booktitle = "Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers",

publisher = "Springer",

}

Truscan, D, Vain, J, Koskinen, M & Iqbal, J 2015, A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. in A Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek & M Sinderen (eds), Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Springer, pp. 349–364. https://doi.org/10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. / Truscan, Dragos; Vain, Jüri; Koskinen, Martin et al.
Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. ed. / A Holzinger; J Cardoso; J Cordeiro; T Libourel; L Maciaszek; M Sinderen. Springer, 2015. p. 349–364.

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

TY - CHAP

T1 - A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

AU - Truscan, Dragos

AU - Vain, Jüri

AU - Koskinen, Martin

AU - Iqbal, Junaid

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-25579-8

DO - 10.1007/978-3-319-25579-8

M3 - Kapitel

SN - 978-3-319-25578-1

SP - 349

EP - 364

BT - Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

A2 - Holzinger, A

A2 - Cardoso, J

A2 - Cordeiro, J

A2 - Libourel, T

A2 - Maciaszek, L

A2 - Sinderen, M

PB - Springer

ER -

Truscan D, Vain J, Koskinen M, Iqbal J. A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. In Holzinger A, Cardoso J, Cordeiro J, Libourel T, Maciaszek L, Sinderen M, editors, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Springer. 2015. p. 349–364 doi: 10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Access to Document

Projects

N4S: Need for Speed

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Cite this