Follow
Bernhard Aichernig
Bernhard Aichernig
Graz Univ. of Technology (TU Graz)
Verified email at ist.tugraz.at - Homepage
Title
Cited by
Cited by
Year
Correction: A framework for embedded software portability and verification: from formal models to low-level code
RM Gomes, B Aichernig, M Baunach
Software and Systems Modeling 23 (2), 317-317, 2024
2024
Active model learning of stochastic reactive systems (extended version)
E Muškardin, M Tappler, BK Aichernig, I Pill
Software and Systems Modeling 23 (2), 503-524, 2024
2024
Learning minimal automata with recurrent neural networks
BK Aichernig, S König, C Mateis, A Pferscher, M Tappler
Software and Systems Modeling, 1-31, 2024
12024
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
BK Aichernig, M Tappler, F Wallner
Formal Aspects of Computing 36 (1), 1-37, 2024
42024
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
M Tappler, A Pferscher, BK Aichernig, B Könighofer
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
2024
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data
F Wallner, BK Aichernig, C Burghard
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
22024
A framework for embedded software portability and verification: from formal models to low-level code
R Martins Gomes, B Aichernig, M Baunach
Software and Systems Modeling, 1-27, 2024
2024
Learning Environment Models with Continuous Stochastic Dynamics-with an Application to Deep RL Testing
M Tappler, E Muskardin, BK Aichernig, B Könighofer
17th IEEE International Conference on Software Testing, Verification and …, 2024
2024
Active Model Learning of Git Version Control System
E Muskardin, T Burgstaller, M Tappler, B Aichernig
20th Workshop on Advances in Model Based Testing (A-MOST 2024): co-located …, 2024
2024
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
72023
Differential safety testing of deep RL agents enabled by automata learning
M Tappler, BK Aichernig
International Conference on Bridging the Gap between AI and Reality, 138-159, 2023
32023
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
22023
Learning Environment Models with Continuous Stochastic Dynamics
M Tappler, E Muškardin, BK Aichernig, B Könighofer
arXiv preprint arXiv:2306.17204, 2023
22023
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
AI-assisted programming with test-based refinement
BK Aichernig, K Havelund
AISoLA, 453, 2023
22023
Dependable Internet of Future Products
B Aichernig, M Horn, KU Römer, K Witrisal
Österreichische Forschungskapazität in der Produktion, 2023
2023
Mining Digital Twins of a VPN Server.
A Pferscher, B Wunderling, BK Aichernig, E Muskardin
FMDT@ FM, 2023
32023
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
Constrained training of recurrent neural networks for automata learning
BK Aichernig, S König, C Mateis, A Pferscher, D Schmidt, M Tappler
International Conference on Software Engineering and Formal Methods, 155-172, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20