Seguir
Edi Muškardin
Edi Muškardin
Sillicon-Austria Labs
Email confirmado em silicon-austria.com
Título
Citado por
Citado por
Ano
AALpy: an active automata learning library
E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler
Innovations in Systems and Software Engineering, 1-10, 2022
162022
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
92021
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
92018
CatIO-a framework for model-based diagnosis of cyber-physical systems
E Muškardin, I Pill, F Wotawa
International Symposium on Methodologies for Intelligent Systems, 267-276, 2020
42020
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
22021
Reinforcement learning under partial observability guided by learned environment models
E Muskardin, M Tappler, BK Aichernig, I Pill
arXiv preprint arXiv:2206.11708, 2022
12022
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
12022
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
12021
Learning Finite State Models from Recurrent Neural Networks
E Muˇskardin, M Tappler
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano …, 0
1
Automata Learning meets Shielding
B Könighofer, M Tappler, S Pranger, R Bloem, E Muskardin, KG Larsen
ISOLA 2022: 11th International Symposium On Leveraging Applications of …, 2022
2022
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
BK Aichernig, E Muškardin, A Pferscher
arXiv preprint arXiv:2209.14031, 2022
2022
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
E Muskardin, A Pferscher, BK Aichernig
Formal Methods for Autonomous Systems, 2022
2022
Learning Finite State Models fromRecurrent Neural Networks
E Muškardin, BK Aichernig, I Pill, M Tappler
International Conference on Integrated Formal Methods, 229-248, 2022
2022
Active Model Learning of Stochastic Reactive Systems
BK Aichernig, M Tappler, E Muˇskardin, I Pill
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
2021
Diagnosing Cyber-Physical Systems with CatIO
E Muškardin, I Pill, F Wotawa
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–15