Martin Tappler
Orcid: 0000-0002-4193-5609Affiliations:
- TU Wien, Vienna, Austria
- Graz University of Technology, Austria
According to our database1,
Martin Tappler
authored at least 47 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
5
10
3
3
1
1
4
1
1
1
7
3
6
4
2
3
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Softw. Syst. Model., June, 2024
Softw. Syst. Model., April, 2024
Formal Aspects Comput., March, 2024
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the Findings of the Association for Computational Linguistics, 2024
2023
Innov. Syst. Softw. Eng., December, 2023
CoRR, 2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models.
Proceedings of the iFM 2023 - 18th International Conference, 2023
Proceedings of the International Conference on Grammatical Inference, 2023
2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
2021
Formal Aspects Comput., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the 2021 American Control Conference, 2021
2020
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.
Proceedings of the Tests and Proofs - 14th International Conference, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
2019
Formal Methods Syst. Des., 2019
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version).
CoRR, 2019
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning.
Proceedings of the Testing Software and Systems, 2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018
2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
2016
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
J. Log. Algebraic Methods Program., 2016
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015