Articles with public access mandates - Bernhard AichernigLearn more
Not available anywhere: 1
Stateful black-box fuzzing of bluetooth devices using automata learning
A Pferscher, BK Aichernig
NASA Formal Methods Symposium, 373-392, 2022
Mandates: European Commission
Available somewhere: 11
Model learning and model-based testing
BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
Mandates: Swedish Research Council
Connectors as designs: Modeling, refinement and test case generation
S Meng, F Arbab, BK Aichernig, L Aştefănoaei, FS de Boer, J Rutten
Science of Computer Programming 77 (7-8), 799-822, 2012
Mandates: German Research Foundation
Time to Learn–Learning Timed Automata from Tests
M Tappler, BK Aichernig, KG Larsen, F Lorber
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
Mandates: European Commission
-Based Learning of Markov Decision Processes
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
International Symposium on Formal Methods, 651-669, 2019
Mandates: European Commission
Generating distinguishing tests using the minion constraint solver
F Wotawa, M Nica, BK Aichernig
2010 Third International Conference on Software Testing, Verification, and …, 2010
Mandates: Austrian Science Fund
-based learning of Markov decision processes (extended version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing 33 (4), 575-615, 2021
Mandates: European Commission
Fingerprinting and analysis of Bluetooth devices with automata learning
A Pferscher, BK Aichernig
Formal Methods in System Design 61 (1), 35-62, 2022
Mandates: European Commission
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
Mandates: European Commission
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
Mandates: European Commission
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
Mandates: Helmholtz Association, Research Council of Norway
Symposium of Formal Methods 2015
BK Aichernig, A Rossini
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program