Concepedia

Martin Tappler

MT

12

Publications

357

Citations

11

H-Index

2016

Active since

Affiliations

Graz University of Technology(Current)

Silicon Austria Labs (Austria)

Constructor Institute

Kantonsschule Schaffhausen

Martin Tappler is an author at Graz University of Technology specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware TestingAutomated ReasoningVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal Verification

Publications per year

2016–2023

12

Publications

12

Model-Based Testing IoT Communication via Active Automata Learning

Martin Tappler, Bernhard K. Aichernig, Roderick Bloem · 2017 · 112 citations · Full text

Engineering, Verification, Software Engineering +23

AALpy: an active automata learning library

Edi Muškardin, Bernhard K. Aichernig, Ingo Pill et al. · Innovations in Systems and Software Engineering · 2022 · 48 citations · Full text

Artificial Intelligence, Engineering, Complex Systems +17

DEPENDABLE INTERNET OF THINGS FOR NETWORKED CARS

Bernhard Großwindhager, Astrid Rupp, Martin Tappler et al. · International Journal of Computing · 2017 · 34 citations · Full text

Vehicle Communication, Engineering, Iot Communication +19

Efficient Active Automata Learning via Mutation Testing

Bernhard K. Aichernig, Martin Tappler · Journal of Automated Reasoning · 2018 · 27 citations · Full text

Engineering, Machine Learning, Mutation Testing +21

Search-Based Testing of Reinforcement Learning

Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig et al. · Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence · 2022 · 24 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +17

Rows per page

1–5 of 12