| Model-based testing IoT communication via active automata learning M Tappler, BK Aichernig, R Bloem 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 74 | 2017 |
| 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, 74-100, 2018 | 43 | 2018 |
| DEPENDABLE INTERNET OF THINGS FOR NETWORKED CARS B Großwindhager, A Rupp, M Tappler, M Tranninger, S Weiser, ... International Journal of Computing 16 (4), 226-237, 2017 | 26 | 2017 |
| -Based Learning of Markov Decision Processes M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen International Symposium on Formal Methods, 651-669, 2019 | 22 | 2019 |
| 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 | 19 | 2019 |
| Learning from Faults: Mutation Testing in Active Automata Learning BK Aichernig, M Tappler NASA Formal Methods Symposium, 19-34, 2017 | 16 | 2017 |
| Probabilistic black-box reachability checking (extended version) BK Aichernig, M Tappler Formal methods in system design 54 (3), 416-448, 2019 | 15 | 2019 |
| L*-Based Learning of Markov Decision Processes (Extended Version) M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen Formal Aspects of Computing, 2021 | 13 | 2021 |
| From Passive to Active: Learning Timed Automata Efficiently BK Aichernig, A Pferscher, M Tappler NASA Formal Methods Symposium, 1-19, 2020 | 13 | 2020 |
| Efficient active automata learning via mutation testing BK Aichernig, M Tappler Journal of Automated Reasoning 63 (4), 1103-1134, 2019 | 13 | 2019 |
| Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning BK Aichernig, R Bloem, M Ebrahimi, M Horn, F Pernkopf, W Roth, A Rupp, ... IFIP International Conference on Testing Software and Systems, 3-21, 2019 | 13 | 2019 |
| AALpy: An Active Automata Learning Library E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler International Symposium on Automated Technology for Verification and …, 2021 | 11 | 2021 |
| Symbolic input-output conformance checking for model-based mutation testing BK Aichernig, M Tappler Electronic Notes in Theoretical Computer Science 320, 3-19, 2016 | 11 | 2016 |
| Automata Learning for Symbolic Execution B Aichernig, R Bloem, M Ebrahimi, M Tappler, J Winter Proceedings of the 18th Conference on Formal Methods in Computer-Aided …, 2018 | 8 | 2018 |
| Probabilistic Black-Box Reachability Checking BK Aichernig, M Tappler International Conference on Runtime Verification, 50-67, 2017 | 8 | 2017 |
| Adaptive shielding under uncertainty S Pranger, B Könighofer, M Tappler, M Deixelberger, N Jansen, R Bloem 2021 American Control Conference (ACC), 3467-3474, 2021 | 7 | 2021 |
| Online Shielding for Stochastic Systems B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem NASA Formal Methods Symposium, 231-248, 2021 | 6 | 2021 |
| Learning Timed Automata via Genetic Programming M Tappler, BK Aichernig, KG Larsen, F Lorber arXiv preprint arXiv:1808.07744, 2018 | 6 | 2018 |
| Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning BK Aichernig, M Tappler, F Wallner International Conference on Tests and Proofs, 3-22, 2020 | 4 | 2020 |
| Conformance Checking of Real-Time Models BK Aichernig, F Lorber, M Tappler Essays Dedicated to Frank de Boer on Theory and Practice of Formal Methods …, 2016 | 4 | 2016 |
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
