Edi Muskardin

According to our database, Edi Muskardin authored at least 16 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Active model learning of stochastic reactive systems (extended version).

Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill

Softw. Syst. Model., April, 2024

Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing.

Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Active Model Learning of Git Version Control System.

Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

On the Relationship Between RNN Hidden-State Vectors and Semantic Structures.

Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

Learning Environment Models with Continuous Stochastic Dynamics.

Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer

CoRR, 2023

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth.

Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock

CoRR, 2023

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models.

Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill

Proceedings of the iFM 2023 - 18th International Conference, 2023

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

Edi Muskardin, Martin Tappler, Bernhard K. Aichernig

Proceedings of the International Conference on Grammatical Inference, 2023

Mining Digital Twins of a VPN Server.

Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

2022

AALpy: an active automata learning library.

Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler

Innov. Syst. Softw. Eng., 2022

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

Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Automata Learning Meets Shielding.

Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Learning Finite State Models fromRecurrent Neural Networks.

Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Active Model Learning of Stochastic Reactive Systems.

Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Learning-Based Fuzzing of IoT Message Brokers.

Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems.

Edi Muskardin, Ingo Pill, Franz Wotawa

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020