---
_id: '20792'
author:
- first_name: Stefano
  full_name: Schivo, Stefano
  last_name: Schivo
- first_name: Bugra M.
  full_name: Yildiz., Bugra M.
  last_name: Yildiz.
- first_name: Enno
  full_name: Ruijters, Enno
  last_name: Ruijters
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: Rajesh
  full_name: Kumar, Rajesh
  last_name: Kumar
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
- first_name: Mariëlle
  full_name: Stoelinga, Mariëlle
  last_name: Stoelinga
citation:
  ama: 'Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End
    Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds.
    <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>.
    Lecture Notes in Computer Science. Springer; 2017:319-336. doi:<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>'
  apa: 'Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok,
    S., Rensink, A., &#38; Stoelinga, M. (2017). How to Efficiently Build a Front-End
    Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, &#38;
    J. Wang (Eds.), <i>Dependable Software Engineering, 3rd International Symposium
    (SETTA 2017)</i> (Issue 10606, pp. 319–336). Springer. <a href="https://doi.org/10.1007/978-3-319-69483-2_19">https://doi.org/10.1007/978-3-319-69483-2_19</a>'
  bibtex: '@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017,
    place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently
    Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>},
    number={10606}, booktitle={Dependable Software Engineering, 3rd International
    Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz.,
    Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok,
    Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and
    Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking,
    Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently
    Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In <i>Dependable
    Software Engineering, 3rd International Symposium (SETTA 2017)</i>, edited by
    Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science.
    Changsha: Springer, 2017. <a href="https://doi.org/10.1007/978-3-319-69483-2_19">https://doi.org/10.1007/978-3-319-69483-2_19</a>.'
  ieee: 'S. Schivo <i>et al.</i>, “How to Efficiently Build a Front-End Tool for UPPAAL:
    A Model-Driven Approach,” in <i>Dependable Software Engineering, 3rd International
    Symposium (SETTA 2017)</i>, 2017, no. 10606, pp. 319–336, doi: <a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>.'
  mla: 'Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL:
    A Model-Driven Approach.” <i>Dependable Software Engineering, 3rd International
    Symposium (SETTA 2017)</i>, edited by Kim G. Larsen et al., no. 10606, Springer,
    2017, pp. 319–36, doi:<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>.'
  short: 'S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A.
    Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable
    Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha,
    2017, pp. 319–336.'
date_created: 2020-12-17T13:30:15Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-319-69483-2_19
editor:
- first_name: Kim G.
  full_name: Larsen, Kim G.
  last_name: Larsen
- first_name: Oleg
  full_name: Sokolsky, Oleg
  last_name: Sokolsky
- first_name: Ji
  full_name: Wang, Ji
  last_name: Wang
issue: '10606'
language:
- iso: eng
page: 319-336
place: Changsha
publication: Dependable Software Engineering, 3rd International Symposium (SETTA 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach'
type: conference
user_id: '5786'
year: '2017'
...