Martin Tappler

Dipl.-Ing. Dr.techn., BSc

Graz University of Technology, Institute of Software Technology (7160)

Research activity per year

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

Network

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

11 Conference contribution
6 Article
1 Chapter

Adaptive Shielding under Uncertainty
Pranger, S., Könighofer, B., Tappler, M., Deixelberger, M., Jansen, N. & Bloem, R., 8 Oct 2020, In : arXiv.org e-Print archive. 8 p.
Research output: Contribution to journal › Article
From Passive to Active: Learning Timed Automata Efficiently
Aichernig, B., Pferscher, A. & Tappler, M., 10 Aug 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, Vol. 12229. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
L*-Based Learning of Markov Decision Processes (Extended Version)
Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2020, (Accepted/In press) In : Formal aspects of computing.
Research output: Contribution to journal › Article
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 journal › Article

Open Access
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 proceeding › Conference contribution

Open Access

1 Talk at workshop, seminar or course

1st Usages of Symbolic Execution Workshop USE'15
Martin Tappler (Speaker)
23 Jun 2015
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Bernhard Aichernig (Recipient), Roderick Bloem (Recipient), Masoud Ebrahimi (Recipient), Martin Horn (Recipient), Franz Pernkopf (Recipient), Wolfgang Roth (Recipient), Astrid Rupp (Recipient), Martin Tappler (Recipient) & Markus Tranninger (Recipient), Oct 2019
Prize: Prizes / Medals / Awards

1 Active

Dependable Internet of Things
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, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project