No photo of Martin Tappler

Martin Tappler

Dipl.-Ing., BSc

20162022
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Martin Tappler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 12 Similar Profiles
Testing Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Learning algorithms Engineering & Materials Science
Learning systems Engineering & Materials Science
Railroad cars Engineering & Materials Science
Sampling Engineering & Materials Science
Communication Engineering & Materials Science
Formal languages Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2016 2019

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 2019, In : Journal of Automated Reasoning. 63, 4, p. 1103-1134 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Testing
Costs
Experiments

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (eds.). Cham: Springer, p. 651 - 669 19 p. (Lecture Notes in Computer Science; vol. 11800).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Probabilistic black-box reachability checking (extended version)

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

Research output: Contribution to journalArticleResearchpeer-review

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, p. 216 - 235 20 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Activities 2015 2015

  • 1 Talk at workshop, seminar or course

1st Usages of Symbolic Execution Workshop USE'15

Martin Tappler (Speaker)
23 Jun 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Projects 2016 2022