AALpy: an active automata learning library E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler Innovations in Systems and Software Engineering 18 (3), 417-426, 2022 | 58 | 2022 |
Learning-based fuzzing of IoT message brokers BK Aichernig, E Muškardin, A Pferscher 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 28 | 2021 |
Implementation of hashing algorithms in stream mining E Muskardin, MB Bakaric, M Matetic 2018 International Conference on Smart Systems and Technologies (SST), 233-238, 2018 | 18 | 2018 |
Learning finite state models from recurrent neural networks E Muškardin, BK Aichernig, I Pill, M Tappler International Conference on Integrated Formal Methods, 229-248, 2022 | 14 | 2022 |
Active model learning of stochastic reactive systems M Tappler, E Muškardin, BK Aichernig, I Pill International Conference on Software Engineering and Formal Methods, 481-500, 2021 | 14 | 2021 |
Automata learning meets shielding M Tappler, S Pranger, B Könighofer, E Muškardin, R Bloem, K Larsen International Symposium on Leveraging Applications of Formal Methods, 335-359, 2022 | 9 | 2022 |
Catio-a framework for model-based diagnosis of cyber-physical systems E Muškardin, I Pill, F Wotawa Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020 …, 2020 | 9 | 2020 |
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols E Muskardin, A Pferscher, BK Aichernig Formal Methods for Autonomous Systems, 2022 | 8* | 2022 |
Reinforcement learning under partial observability guided by learned environment models E Muškardin, M Tappler, BK Aichernig, I Pill International Conference on Integrated Formal Methods, 257-276, 2023 | 7 | 2023 |
Testing-based black-box extraction of simple models from RNNs and transformers E Muškardin, M Tappler, BK Aichernig International Conference on Grammatical Inference, 291-294, 2023 | 3 | 2023 |
Mining Digital Twins of a VPN Server. A Pferscher, B Wunderling, BK Aichernig, E Muskardin FMDT@ FM, 2023 | 3 | 2023 |
Learning Environment Models with Continuous Stochastic Dynamics M Tappler, E Muškardin, BK Aichernig, B Könighofer arXiv preprint arXiv:2306.17204, 2023 | 2 | 2023 |
Automata learning enabling model-based diagnosis E Muškardin, I Pill, M Tappler, BK Aichernig 32nd International Workshop on Principle of Diagnosis, Hamburg-Germany …, 2021 | 1 | 2021 |
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures E Muskardin, M Tappler, I Pill, B Aichernig, T Pock Findings of the Association for Computational Linguistics ACL 2024, 5641-5658, 2024 | | 2024 |
Learning Environment Models with Continuous Stochastic Dynamics-with an Application to Deep RL Testing M Tappler, E Muškardin, BK Aichernig, B Köninghofer 2024 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2024 | | 2024 |
Active model learning of stochastic reactive systems (extended version) E Muškardin, M Tappler, BK Aichernig, I Pill Software and Systems Modeling 23 (2), 503-524, 2024 | | 2024 |
Active Model Learning of Git Version Control System E Muskardin, T Burgstaller, M Tappler, B Aichernig 20th Workshop on Advances in Model Based Testing (A-MOST 2024): co-located …, 2024 | | 2024 |
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth E Muškardin, M Tappler, I Pill, BK Aichernig, T Pock arXiv preprint arXiv:2306.16854, 2023 | | 2023 |
Mining Digital Twins of a VPN Server E Muskardin, A Pferscher, BK Aichernig, B Wunderling Workshop on Applications of Formal Methods and Digital Twins, 2023 | | 2023 |
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins S Hallé, C Soueidi, Y Falcone, E Kamburjan, V Klungre, SL Tapia Tarifa, ... Research report http://urn. nb. no/URN: NBN: no-35645, 2023 | | 2023 |