Bernhard Aichernig
Technische Universität Graz
H-index: 30
Europe-Austria
Top articles of Bernhard Aichernig
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data | Martin Tappler Andrea Pferscher Bernhard K Aichernig Bettina Könighofer | 2024/2/6 | |
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data | Felix Wallner Bernhard K Aichernig Christian Burghard | 2024/2/6 | |
A framework for embedded software portability and verification: from formal models to low-level code | Software and Systems Modeling | Renata Martins Gomes Bernhard Aichernig Marcel Baunach | 2024/2/1 |
Active model learning of stochastic reactive systems (extended version) | Martin Tappler Edi Muškardin Bernhard K Aichernig Ingo Pill | 2021/12/3 | |
Learning minimal automata with recurrent neural networks | Software and Systems Modeling | Bernhard K Aichernig Sandra König Cristinel Mateis Andrea Pferscher Martin Tappler | 2024/3/21 |
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning | Formal Aspects of Computing | Bernhard K Aichernig Martin Tappler Felix Wallner | 2024/3/20 |
Dependable Internet of Future Products | Bernhard Aichernig Martin Horn Kay Uwe Römer Klaus Witrisal | 2023 | |
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers | Edi Muškardin Martin Tappler Bernhard K Aichernig | 2023/7/5 | |
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins | Research report http://urn. nb. no/URN: NBN: no-35645 | Sylvain Hallé Chukri Soueidi Yliès Falcone Eduard Kamburjan Vidar Klungre | 2023 |
Learning Environment Models with Continuous Stochastic Dynamics | arXiv preprint arXiv:2306.17204 | Martin Tappler Edi Muškardin Bernhard K Aichernig Bettina Könighofer | 2023/6/29 |
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth | arXiv preprint arXiv:2306.16854 | Edi Muškardin Martin Tappler Ingo Pill Bernhard K Aichernig Thomas Pock | 2023/6/29 |
Mining Digital Twins of a VPN Server | Edi Muskardin Andrea Pferscher Bernhard K Aichernig Benjamin Wunderling | 2023/3 | |
Reinforcement learning under partial observability guided by learned environment models | Edi Muškardin Martin Tappler Bernhard K Aichernig Ingo Pill | 2023/11/6 | |
AI-assisted programming with test-based refinement | AISoLA | Bernhard K Aichernig Klaus Havelund | 2023 |
Differential safety testing of deep RL agents enabled by automata learning | Martin Tappler Bernhard K Aichernig | 2023/10/23 | |
Fingerprinting and analysis of Bluetooth devices with automata learning | Formal Methods in System Design | Andrea Pferscher Bernhard K Aichernig | 2022/8 |
Timed automata learning via SMT solving | Martin Tappler Bernhard K Aichernig Florian Lorber | 2022/5/20 | |
Constrained Training of Recurrent Neural Networks for Automata Learning | Bernhard Aichernig Sandra König Cristinel Mateis Andrea Pferscher Dominik Schmidt | 2022 | |
Stateful black-box fuzzing of bluetooth devices using automata learning | Andrea Pferscher Bernhard K Aichernig | 2022/5/20 | |
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols | Edi Muskardin Andrea Pferscher Bernhard K Aichernig | 2022/9 |