Publikationen pro Jahr
Publikationen pro Jahr
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Martin Tappler aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Netzwerk
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
Publikationen
-
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, S. 417-426 10 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
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. (Hrsg.). Cham: Springer, S. 335-359 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13701 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Datei -
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, Band 13550. (Lecture Notes in Computer Science; Band 13550).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, S. 229-248 20 S. (Lecture Notes in Computer Science ; Band 13274 ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Online shielding for reinforcement learning
Könighofer, B., Rudolf, J., Palmisano, A., Tappler, M. & Bloem, R., 23 Sept. 2022, (Elektronische Veröffentlichung vor Drucklegung.) in: Innovations in Systems and Software Engineering.Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel › Begutachtung
Open Access
-
Adaptive Shielding under Uncertainty
Martin Tappler (Redner/in)
27 Mai 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Martin Tappler (Redner/in)
21 Juni 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Active Model Learning of Stochastic Reactive Systems
Martin Tappler (Redner/in)
10 Dez. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
1st Usages of Symbolic Execution Workshop USE'15
Martin Tappler (Redner/in)
23 Juni 2015Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
Auszeichnungen
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, Bernhard (Empfänger/-in), Bloem, Roderick (Empfänger/-in), Ebrahimi, Masoud (Empfänger/-in), Horn, Martin (Empfänger/-in), Pernkopf, Franz (Empfänger/-in), Roth, Wolfgang (Empfänger/-in), Leitner, Astrid (Empfänger/-in), Tappler, Martin (Empfänger/-in) & Tranninger, Markus (Empfänger/-in), Okt. 2019
Auszeichnung: Preise / Medaillen / Ehrungen
-
SEFM 2021 - Best Paper Award
Tappler, Martin (Empfänger/-in), Muskardin, Edi (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Pill, Ingo Hans (Empfänger/-in), Dez. 2021
Auszeichnung: Preise / Medaillen / Ehrungen
Projekte
- 1 Abgeschlossen
-
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: Foschungsprojekt