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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Herausgeber (Verlag)	Springer
Seiten	216 - 235
Seitenumfang	20
DOIs	https://doi.org/10.1007/978-3-030-29662-9_13
Publikationsstatus	Veröffentlicht - 2019
Veranstaltung	17th International Conference on Formal Modeling and Analysis of Timed Systems - Amsterdam, Niederlande Dauer: 27 Aug. 2019 → 29 Aug. 2019

Publikationsreihe

Name	Lecture Notes in Computer Science
Band	11750

Konferenz

Konferenz	17th International Conference on Formal Modeling and Analysis of Timed Systems
Kurztitel	FORMATS 2019
Land/Gebiet	Niederlande
Ort	Amsterdam
Zeitraum	27/08/19 → 29/08/19

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

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

Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt

Dieses zitieren

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 (S. 216 - 235). (Lecture Notes in Computer Science; Band 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. S. 216 - 235 (Lecture Notes in Computer Science; Band 11750).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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, Bd. 11750, Springer, S. 216 - 235, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, Niederlande, 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. S. 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

Publikationsreihe

Konferenz

Fields of Expertise

Zugriff auf Dokument

Projekte

Verlaesslichkeit im Internet der Dinge

Dieses zitieren