Research output per year
Research output per year
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
AALpy: An active automata learning library
Muškardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., Sept 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 417-426 10 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Automata Learning meets Shielding
Tappler, M., Pranger, S., Könighofer, B., Muskardin, E., Bloem, R. & Larsen, K. G., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings: ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 335-359 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
File -
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B., König, S., Mateis, C., Pferscher, A., Schmidt, D. & Tappler, M., 2022, Software Engineering and Formal Methods. Springer, Cham, Vol. 13550. (Lecture Notes in Computer Science; vol. 13550).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Learning Finite State Models fromRecurrent Neural Networks
Muškardin, E., Aichernig, B. K., Pill, I. & Tappler, M., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 229-248 20 p. (Lecture Notes in Computer Science ; vol. 13274 ).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Online shielding for reinforcement learning
Könighofer, B., Rudolf, J., Palmisano, A., Tappler, M. & Bloem, R., 23 Sept 2022, (E-pub ahead of print) In: Innovations in Systems and Software Engineering.Research output: Contribution to journal › Conference article › peer-review
Open Access
-
Adaptive Shielding under Uncertainty
Martin Tappler (Speaker)
27 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Active Model Learning of Stochastic Reactive Systems
Martin Tappler (Speaker)
10 Dec 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Martin Tappler (Speaker)
21 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
1st Usages of Symbolic Execution Workshop USE'15
Martin Tappler (Speaker)
23 Jun 2015Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
Prizes
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, Bernhard (Recipient), Bloem, Roderick (Recipient), Ebrahimi, Masoud (Recipient), Horn, Martin (Recipient), Pernkopf, Franz (Recipient), Roth, Wolfgang (Recipient), Leitner, Astrid (Recipient), Tappler, Martin (Recipient) & Tranninger, Markus (Recipient), Oct 2019
Prize: Prizes / Medals / Awards
-
SEFM 2021 - Best Paper Award
Tappler, Martin (Recipient), Muskardin, Edi (Recipient), Aichernig, Bernhard (Recipient) & Pill, Ingo Hans (Recipient), Dec 2021
Prize: Prizes / Medals / Awards
Projects
- 1 Finished
-
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-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project