Kein Foto von Edi Muskardin

DI Edi Muskardin

Filter
Konferenzartikel

Suchergebnisse

  • 2023

    Mining Digital Twins of a VPN Server

    Muskardin, E., Pferscher, A., Aichernig, B. K. & Wunderling, B., März 2023, Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins .

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • Reinforcement learning under partial observability guided by learned environment models

    Muskardin, E., Pill, I., Tappler, M. & Aichernig, B. K., Sep. 2023, 18th International Conference on integrated Formal Methods. LNCS Aufl. Springer, Band 14300.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • Testing-based Black-box Extraction of Simple Models from RNNs and Transformers

    Muskardin, E., Tappler, M. & Aichernig, B. K., Juli 2023, International Conference on Grammar Inference. Band 217.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

    Open Access
  • 2022

    Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

    Muskardin, E., Pferscher, A. & Aichernig, B. K., Sep. 2022, Formal Methods for Autonomous Systems.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • Automata learning meets shielding

    Tappler, M., Pranger, S., Könighofer, B., Muskardin, E., Bloem, R. & Larsen, K., Okt. 2022, International Symposium on Leveraging Applications of Formal Methods: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • Learning Finite State Models from Recurrent Neural Networks

    Muskardin, E., Graz, T., Pill, I. & Graz, T., Mai 2022, IFM 2022: Integrated Formal Methods : International Conference on Integrated Formal Methods.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • 2021

    AALpy: An Active Automata Learning Library

    Muskardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., 18 Okt. 2021, (Angenommen/Im Druck) Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021: , Gold Coast, Australia, October 18-22, 2021, Proceedings.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • Active Model Learning of Stochastic Reactive Systems.

    Tappler, M., Muskardin, E., Aichernig, B. & Pill, I., 2021, Software Engineering and Formal Methods : Lecture Notes in Computer Science (LNCS), volume 13085. S. 481-500 20 S.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • Learning-Based Fuzzing of IoT Message Brokers

    Aichernig, B., Muskardin, E. & Pferscher, A., 12 Apr. 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021. Brazil, S. 47 58 S.

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

  • 2018

    Implementation of Hashing Algorithms in Stream Mining

    Muskardin, E., Brkic Bakaric, M. & Matetic, M., 2018, 2018 International Conference on Smart Systems and Technologies (SST).

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung