No photo of Martin Tappler

Martin Tappler

Dipl.-Ing., BSc

20162022
If you made any changes in Pure these will be visible here soon.

Research Output 2016 2019

2019

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (eds.). Cham: Springer, p. 651 - 669 19 p. (Lecture Notes in Computer Science; vol. 11800).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Probabilistic black-box reachability checking (extended version)

Aichernig, B. & Tappler, M., 2019, In : Formal methods in system design. 33 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, p. 216 - 235 20 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Oct 2018, In : Journal of Automated Reasoning. p. 1 - 32 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Testing
Costs
Experiments

Model Learning and Model-Based Testing

Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M., 20 Jul 2018, Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (eds.). Cham: Springer Nature, p. 74 - 100 27 p. (Lecture Notes in Computer Science; vol. 11026).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Testing
2017

Dependable Internet of Things for Networked Cars

Großwindhager, B., Rupp, A., Tappler, M., Tranninger, M., Weiser, S., Aichernig, B., Boano, C. A., Horn, M., Kubin, G., Mangard, S., Steinberger, M. & Römer, K. U., Dec 2017, In : International Journal of Computing. 16, 4, p. 226-237

Research output: Contribution to journalArticleResearchpeer-review

Railroad cars
Testbeds
Trucks
Radio interference
Industrial plants

Learning from Faults: Mutation Testing in Active Automata Learning

Aichernig, B. K. & Tappler, M., 2017, NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 10227).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Testing IoT Communication via Active Automata Learning

Tappler, M., Aichernig, B. K. & Bloem, R., 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). p. 276-287 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Communication
Testing
Specifications
Servers
Network protocols

Probabilistic Black-Box Reachability Checking

Aichernig, B. & Tappler, M., Sep 2017, Runtime Verification, 17th International Conference. Springer International Publishing AG , p. 50-67 18 p. (Lecture Notes in Computer Science; vol. 10548).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2016

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

Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Vol. 9660. p. 15-32 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B. K., Jöbstl, E. & Tappler, M., 2016, In : The journal of logic and algebraic programming. 85, 5, Part 2, p. 806-823 18 p., 85:5,Part 2.

Research output: Contribution to journalArticleResearchpeer-review

Learning Models of a Network Protocol using Neural Network Language Models

Aichernig, B., Bloem, R., Pernkopf, F., Röck, F., Schrank, T. & Tappler, M., 2016, IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review