Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Jalil Boudjadar; Frits Vaandrager; Jean-Paul Bodeveix; Mamoun Filali

doi:10.1007/978-3-642-40213-5_8

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Jalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

11 Citations (Scopus)

Original language	English
Title of host publication	Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Editors	Farhad Arbab, Marjan Sirjani
Number of pages	22
Volume	LNCS Volume 8161
Place of Publication	Tehran, Iran
Publisher	Springer Publishing Company
Publication date	Apr 2013
Pages	111-132
ISBN (Print)	978-3-642-40212-8
ISBN (Electronic)	978-3-642-40213-5
DOIs	https://doi.org/10.1007/978-3-642-40213-5_8
Publication status	Published - Apr 2013
Event	5th IMP International Conference on Fundamentals of Software Engineering - Institute for Research in Fundamental Sciences (IPM), Tehran, Iran, Islamic Republic of Duration: 24 Apr 2013 → 26 Apr 2013 Conference number: 5

Conference

Conference	5th IMP International Conference on Fundamentals of Software Engineering
Number	5
Location	Institute for Research in Fundamental Sciences (IPM)
Country/Territory	Iran, Islamic Republic of
City	Tehran
Period	24/04/2013 → 26/04/2013

Series	Lecture Notes in Computer Science
Volume	8161
ISSN	0302-9743

Access to Document

10.1007/978-3-642-40213-5_8

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Boudjadar, J., Vaandrager, F., Bodeveix, J-P., & Filali, M. (2013). Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers (Vol. LNCS Volume 8161, pp. 111-132). Springer Publishing Company. https://doi.org/10.1007/978-3-642-40213-5_8

Boudjadar, Jalil ; Vaandrager, Frits ; Bodeveix, Jean-Paul et al. / Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. editor / Farhad Arbab ; Marjan Sirjani. Vol. LNCS Volume 8161 Tehran, Iran : Springer Publishing Company, 2013. pp. 111-132 (Lecture Notes in Computer Science, Vol. 8161).

@inproceedings{2c9f82fa6262405bafc78c45e815b9c1,

title = "Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems",

author = "Jalil Boudjadar and Frits Vaandrager and Jean-Paul Bodeveix and Mamoun Filali",

year = "2013",

month = apr,

doi = "10.1007/978-3-642-40213-5_8",

language = "English",

isbn = "978-3-642-40212-8",

volume = "LNCS Volume 8161",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "111--132",

editor = "Farhad Arbab and Marjan Sirjani",

booktitle = "Fundamentals of Software Engineering",

address = "United States",

note = "5th IMP International Conference on Fundamentals of Software Engineering ; Conference date: 24-04-2013 Through 26-04-2013",

}

Boudjadar, J, Vaandrager, F, Bodeveix, J-P & Filali, M 2013, Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. in F Arbab & M Sirjani (eds), Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. vol. LNCS Volume 8161, Springer Publishing Company, Tehran, Iran, Lecture Notes in Computer Science, vol. 8161, pp. 111-132, 5th IMP International Conference on Fundamentals of Software Engineering, Tehran, Iran, Islamic Republic of, 24/04/2013. https://doi.org/10.1007/978-3-642-40213-5_8

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. / Boudjadar, Jalil; Vaandrager, Frits; Bodeveix, Jean-Paul et al.
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. ed. / Farhad Arbab; Marjan Sirjani. Vol. LNCS Volume 8161 Tehran, Iran: Springer Publishing Company, 2013. p. 111-132 (Lecture Notes in Computer Science, Vol. 8161).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

AU - Boudjadar, Jalil

AU - Vaandrager, Frits

AU - Bodeveix, Jean-Paul

AU - Filali, Mamoun

N1 - Conference code: 5

PY - 2013/4

Y1 - 2013/4

U2 - 10.1007/978-3-642-40213-5_8

DO - 10.1007/978-3-642-40213-5_8

M3 - Article in proceeding

SN - 978-3-642-40212-8

VL - LNCS Volume 8161

T3 - Lecture Notes in Computer Science

SP - 111

EP - 132

BT - Fundamentals of Software Engineering

A2 - Arbab, Farhad

A2 - Sirjani, Marjan

PB - Springer Publishing Company

CY - Tehran, Iran

T2 - 5th IMP International Conference on Fundamentals of Software Engineering

Y2 - 24 April 2013 through 26 April 2013

ER -

Boudjadar J, Vaandrager F, Bodeveix J-P, Filali M. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In Arbab F, Sirjani M, editors, Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Vol. LNCS Volume 8161. Tehran, Iran: Springer Publishing Company. 2013. p. 111-132. (Lecture Notes in Computer Science, Vol. 8161). doi: 10.1007/978-3-642-40213-5_8