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
Pernkopf, F. (Contact person), Zakany, N. (Contact person), Eichlseder, M. (Contact person), Saukh, O. (Contact person), Mangard, S. (Contact person), Steinbauer-Wagner, G. (Contact person), Knoll, C. (Attendee / Assistant), Tranninger, M. (Attendee / Assistant), Römer, K. U. (Consortium manager resp. coordinator of internal research units), Rath, M. (Attendee / Assistant), Kubin, G. (Contact person), Horn, M. (Contact person), Tappler, M. (Attendee / Assistant), Bloem, R. (Consortium manager resp. coordinator of internal research units), Weiser, S. (Attendee / Assistant), Leitinger, E. (Contact person), Ebrahimi, M. (Attendee / Assistant), Aichernig, B. (Contact person), Malenko, M. (Attendee / Assistant), Steinberger, M. (Contact person), Großwindhager, B. (Attendee / Assistant), Baunach, M. C. (Contact person), Witrisal, K. (Contact person), Teschl, R. (Contact person), Boano, C. A. (Contact person), Alothman Alterkawi, A. B. (Attendee / Assistant), Bösch, W. (Contact person) & Grosinger, J. (Contact person)
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",

address = "United States",

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