Kein Foto von Martin Tappler

Martin Tappler

Dipl.-Ing., BSc

20162022
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Martin Tappler aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 13 Ähnliche Profile
Testing Ingenieurwesen & Materialwissenschaft
Railroad cars Ingenieurwesen & Materialwissenschaft
Communication Ingenieurwesen & Materialwissenschaft
Specifications Ingenieurwesen & Materialwissenschaft
Testbeds Ingenieurwesen & Materialwissenschaft
Network protocols Ingenieurwesen & Materialwissenschaft
Experiments Ingenieurwesen & Materialwissenschaft
Trucks Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 2016 2019

  • 8 Beitrag in einem Konferenzband
  • 4 Artikel
  • 1 Beitrag in Buch/Bericht

Probabilistic black-box reachability checking (extended version)

Aichernig, B. & Tappler, M., 2019, in : Formal methods in system design. 33 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, S. 216 - 235 20 S. (Lecture Notes in Computer Science; Band 11750).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (Hrsg.). IEEE CS, S. 130 - 138 9 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Testing

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Okt 2018, in : Journal of Automated Reasoning. S. 1 - 32 32 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Testing
Costs
Experiments

Model Learning and Model-Based Testing

Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M., 20 Jul 2018, Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (Hrsg.). Cham: Springer Nature, S. 74 - 100 27 S. (Lecture Notes in Computer Science; Band 11026).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

Testing

Aktivitäten 2015 2015

  • 1 Vortrag bei Workshop, Seminar oder Kurs

1st Usages of Symbolic Execution Workshop USE'15

Martin Tappler (Redner/in)
23 Jun 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Projekte 2016 2022