Seguir
Martin Tappler
Título
Citado por
Citado por
Ano
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
812017
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
452018
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
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
252019
-Based Learning of Markov Decision Processes
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
International Symposium on Formal Methods, 651-669, 2019
222019
From Passive to Active: Learning Timed Automata Efficiently
BK Aichernig, A Pferscher, M Tappler
NASA Formal Methods Symposium, 1-19, 2020
192020
Efficient active automata learning via mutation testing
BK Aichernig, M Tappler
Journal of Automated Reasoning 63 (4), 1103-1134, 2019
162019
Probabilistic black-box reachability checking (extended version)
BK Aichernig, M Tappler
Formal methods in system design 54 (3), 416-448, 2019
162019
Learning from Faults: Mutation Testing in Active Automata Learning
BK Aichernig, M Tappler
NASA Formal Methods Symposium, 19-34, 2017
162017
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
152021
L*-Based Learning of Markov Decision Processes (Extended Version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing, 2021
152021
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
152019
Symbolic input-output conformance checking for model-based mutation testing
BK Aichernig, M Tappler
Electronic Notes in Theoretical Computer Science 320, 3-19, 2016
112016
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
102021
Online Shielding for Stochastic Systems
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
NASA Formal Methods Symposium, 231-248, 2021
102021
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
92018
Probabilistic Black-Box Reachability Checking
BK Aichernig, M Tappler
International Conference on Runtime Verification, 50-67, 2017
82017
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
62020
Learning Timed Automata via Genetic Programming
M Tappler, BK Aichernig, KG Larsen, F Lorber
arXiv preprint arXiv:1808.07744, 2018
62018
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
42016
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20