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 18 (3), 417-426, 2022
442022
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
212021
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
162018
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
132021
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
82020
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
72022
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
72022
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
52023
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
E Muskardin, A Pferscher, BK Aichernig
Formal Methods for Autonomous Systems, 2022
3*2022
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
12023
Learning Environment Models with Continuous Stochastic Dynamics
M Tappler, E Muškardin, BK Aichernig, B Könighofer
arXiv preprint arXiv:2306.17204, 2023
12023
Mining Digital Twins of a VPN Server
A Pferscher, B Wunderling, BK Aichernig, E Muskardin
Preproceedings of the Workshop on Applications of Formal Methods and Digital …, 2023
12023
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
Active model learning of stochastic reactive systems (extended version)
E Muškardin, M Tappler, BK Aichernig, I Pill
Software and Systems Modeling, 1-22, 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
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–18