Folgen
Martin Tappler
Martin Tappler
Bestätigte E-Mail-Adresse bei ist.tugraz.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
792017
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
442018
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
-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
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
222019
Learning from Faults: Mutation Testing in Active Automata Learning
BK Aichernig, M Tappler
NASA Formal Methods Symposium, 19-34, 2017
162017
From Passive to Active: Learning Timed Automata Efficiently
BK Aichernig, A Pferscher, M Tappler
NASA Formal Methods Symposium, 1-19, 2020
152020
Probabilistic black-box reachability checking (extended version)
BK Aichernig, M Tappler
Formal methods in system design 54 (3), 416-448, 2019
152019
L*-Based Learning of Markov Decision Processes (Extended Version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing, 2021
142021
Efficient active automata learning via mutation testing
BK Aichernig, M Tappler
Journal of Automated Reasoning 63 (4), 1103-1134, 2019
142019
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
132021
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
132019
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
92021
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
Online Shielding for Stochastic Systems
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
NASA Formal Methods Symposium, 231-248, 2021
82021
Probabilistic Black-Box Reachability Checking
BK Aichernig, M Tappler
International Conference on Runtime Verification, 50-67, 2017
82017
Learning Timed Automata via Genetic Programming
M Tappler, BK Aichernig, KG Larsen, F Lorber
arXiv preprint arXiv:1808.07744, 2018
62018
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
42020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20