Follow
Edi Muškardin
Edi Muškardin
Sillicon-Austria Labs
Verified email at silicon-austria.com
Title
Cited by
Cited by
Year
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
132022
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
82021
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
82018
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
12021
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
Reinforcement Learning under Partial Observability Guided by Learned Environment Models
E Muskardin, M Tappler, BK Aichernig, I Pill
arXiv preprint arXiv:2206.11708, 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
The system can't perform the operation now. Try again later.
Articles 1–11