No photo of Edi Muskardin

DI Edi Muskardin

Filter
Conference Paper

Search results

  • 2023

    Mining Digital Twins of a VPN Server

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • Reinforcement learning under partial observability guided by learned environment models

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

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

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

    Open Access
  • 2022

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

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • Automata learning meets shielding

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • Learning Finite State Models from Recurrent Neural Networks

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • 2021

    AALpy: An Active Automata Learning Library

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

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • 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. p. 481-500 20 p.

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • 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, p. 47 58 p.

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review

  • 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).

    Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review