Time to Learn - Learning Timed Automata from Tests

Martin Tappler; Bernhard Aichernig; Kim Guldstrand Larsen; Florian Lorber

doi:10.1007/978-3-030-29662-9_13

Time to Learn - Learning Timed Automata from Tests

Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen, Florian Lorber

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

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Publisher	Springer
Pages	216 - 235
Number of pages	20
DOIs	https://doi.org/10.1007/978-3-030-29662-9_13
Publication status	Published - 2019
Event	17th International Conference on Formal Modeling and Analysis of Timed Systems - Amsterdam, Netherlands Duration: 27 Aug 2019 → 29 Aug 2019

Publication series

Name	Lecture Notes in Computer Science
Volume	11750

Conference

Conference	17th International Conference on Formal Modeling and Analysis of Timed Systems
Abbreviated title	FORMATS 2019
Country/Territory	Netherlands
City	Amsterdam
Period	27/08/19 → 29/08/19

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-030-29662-9_13

Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project

Cite this

Tappler, M., Aichernig, B., Larsen, K. G., & Lorber, F. (2019). Time to Learn - Learning Timed Automata from Tests. In Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings (pp. 216 - 235). (Lecture Notes in Computer Science; Vol. 11750). Springer. https://doi.org/10.1007/978-3-030-29662-9_13

Time to Learn - Learning Timed Automata from Tests. / Tappler, Martin; Aichernig, Bernhard; Larsen, Kim Guldstrand et al.
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, 2019. p. 216 - 235 (Lecture Notes in Computer Science; Vol. 11750).

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

Tappler, M, Aichernig, B, Larsen, KG & Lorber, F 2019, Time to Learn - Learning Timed Automata from Tests. in Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11750, Springer, pp. 216 - 235, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, Netherlands, 27/08/19. https://doi.org/10.1007/978-3-030-29662-9_13

Tappler M, Aichernig B, Larsen KG, Lorber F. Time to Learn - Learning Timed Automata from Tests. In Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer. 2019. p. 216 - 235. (Lecture Notes in Computer Science). Epub 2019 Aug 13. doi: 10.1007/978-3-030-29662-9_13

@inproceedings{8046c7436758405b8515ac127f0b7143,

title = "Time to Learn - Learning Timed Automata from Tests",

author = "Martin Tappler and Bernhard Aichernig and Larsen, {Kim Guldstrand} and Florian Lorber",

year = "2019",

doi = "10.1007/978-3-030-29662-9_13",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "216 -- 235",

booktitle = "Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings",

note = "17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019 ; Conference date: 27-08-2019 Through 29-08-2019",

}

TY - GEN

T1 - Time to Learn - Learning Timed Automata from Tests

AU - Tappler, Martin

AU - Aichernig, Bernhard

AU - Larsen, Kim Guldstrand

AU - Lorber, Florian

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-29662-9_13

DO - 10.1007/978-3-030-29662-9_13

M3 - Conference paper

T3 - Lecture Notes in Computer Science

SP - 216

EP - 235

BT - Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

PB - Springer

T2 - 17th International Conference on Formal Modeling and Analysis of Timed Systems

Y2 - 27 August 2019 through 29 August 2019

ER -

Time to Learn - Learning Timed Automata from Tests

Publication series

Conference

Fields of Expertise

Access to Document

Projects

Dependable Internet of Things

Cite this