Seguir
Martin Tappler
Martin Tappler
TU Wien
Dirección de correo verificada de ist.tugraz.at - Página principal
Título
Citado por
Citado por
Año
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
1102017
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
572018
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
512021
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
362019
From passive to active: learning timed automata efficiently
BK Aichernig, A Pferscher, M Tappler
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
322020
-Based Learning of Markov Decision Processes
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
322019
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
262017
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
242021
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, ...
Testing Software and Systems: 31st IFIP WG 6.1 International Conference …, 2019
242019
Efficient active automata learning via mutation testing
BK Aichernig, M Tappler
Journal of Automated Reasoning 63 (4), 1103-1134, 2019
222019
L*-Based Learning of Markov Decision Processes (Extended Version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing, 2021
212021
Online shielding for stochastic systems
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event …, 2021
192021
Probabilistic black-box reachability checking (extended version)
BK Aichernig, M Tappler
Formal methods in system design 54 (3), 416-448, 2019
192019
Learning from Faults: Mutation Testing in Active Automata Learning
BK Aichernig, M Tappler
NASA Formal Methods Symposium, 19-34, 2017
192017
Search-Based Testing of Reinforcement Learning
M Tappler, FC Córdoba, BK Aichernig, B Könighofer
arXiv preprint arXiv:2205.04887, 2022
152022
Active model learning of stochastic reactive systems
M Tappler, E Muškardin, BK Aichernig, I Pill
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
142021
Online shielding for reinforcement learning
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
Innovations in Systems and Software Engineering 19 (4), 379-394, 2023
132023
Symbolic input-output conformance checking for model-based mutation testing
BK Aichernig, M Tappler
Electronic Notes in Theoretical Computer Science 320, 3-19, 2016
132016
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
122018
Timed Automata Learning via SMT Solving
M Tappler, BK Aichernig, F Lorber
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022
112022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20