Martin Tappler

发表

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

Florian Lorber, Bernhard K. Aichernig, Martin Tappler, 2016, Theory and Practice of Formal Methods.

Model-Based Testing IoT Communication via Active Automata Learning

Bernhard K. Aichernig, Martin Tappler, Roderick Bloem, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Learning Timed Automata via Genetic Programming pdf

Kim G. Larsen, Florian Lorber, Bernhard K. Aichernig, 2018, ArXiv.

L*-Based Learning of Markov Decision Processes

Kim G. Larsen, Bernhard K. Aichernig, Giovanni Bacci, 2019, FM.

Probabilistic black-box reachability checking (extended version)

Bernhard K. Aichernig, Martin Tappler, B. Aichernig, 2017, Formal Methods in System Design.

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Bernhard K. Aichernig, Martin Tappler, 2016, Electron. Notes Theor. Comput. Sci..

Automata Learning for Symbolic Execution

Bernhard K. Aichernig, Martin Tappler, Roderick Bloem, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

Learning from Faults: Mutation Testing in Active Automata Learning

Bernhard K. Aichernig, Martin Tappler, B. Aichernig, 2017, NFM.

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation

Bernhard K. Aichernig, Martin Tappler, Elisabeth Jöbstl, 2016, J. Log. Algebraic Methods Program..

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version) pdf

Bernhard K. Aichernig, Franz Pernkopf, Martin Horn, 2019, ICTSS.

Time to Learn - Learning Timed Automata from Tests

Kim G. Larsen, Florian Lorber, Bernhard K. Aichernig, 2019, FORMATS.

Online Shielding for Stochastic Systems pdf

Martin Tappler, Bettina Könighofer, Roderick Bloem, 2020, ArXiv.

Model Learning and Model-Based Testing

Bernhard K. Aichernig, Mohammad Reza Mousavi, Martin Tappler, 2018, Machine Learning for Dynamic Software Analysis.

Efficient Active Automata Learning via Mutation Testing

Bernhard K. Aichernig, Martin Tappler, B. Aichernig, 2018, Journal of Automated Reasoning.

Dependable Internet of Things for Networked Cars

Gernot Kubin, Bernhard K. Aichernig, Martin Horn, 2017 .

L*-Based Learning of Markov Decision Processes (Extended Version) pdf

Kim G. Larsen, Bernhard K. Aichernig, Giovanni Bacci, 2019, ArXiv.

From Passive to Active: Learning Timed Automata Efficiently

Bernhard K. Aichernig, Martin Tappler, Andrea Pferscher, 2020, NFM.

Probabilistic Black-Box Reachability Checking

Bernhard K. Aichernig, Martin Tappler, B. Aichernig, 2017, RV.

Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning

Bernhard K. Aichernig, Martin Tappler, Felix Wallner, 2020, TAP@STAF.

Learning Models of a Network Protocol using Neural Network Language Models

Bernhard K. Aichernig, Franz Pernkopf, Martin Tappler, 2016 .

Adaptive Shielding under Uncertainty pdf

Nils Jansen, Martin Tappler, Bettina Könighofer, 2020, 2021 American Control Conference (ACC).

Health of smart ecosystems

Mauro Pezzè, Martin Tappler, Davide Molinelli, 2021, ESEC/SIGSOFT FSE.

Active Model Learning of Stochastic Reactive Systems

Bernhard K. Aichernig, Martin Tappler, Ingo Pill, 2021, SEFM.

AALpy: an active automata learning library

Bernhard K. Aichernig, Martin Tappler, Ingo Pill, 2022, Innovations in Systems and Software Engineering.