Time for mutants—model-based mutation testing with timed automata BK Aichernig, F Lorber, D Ničković Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013 | 108 | 2013 |
Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 63 | 2020 |
Time to learn–learning timed automata from tests M Tappler, BK Aichernig, KG Larsen, F Lorber Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019 | 42 | 2019 |
20 years of UPPAAL enabled industrial model-based validation and beyond KG Larsen, F Lorber, B Nielsen Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 32 | 2018 |
Integration of requirements engineering and test-case generation via OSLC BK Aichernig, K Hörmaier, F Lorber, D Nickovic, R Schlick, D Simoneau, ... 2014 14th international conference on quality software, 117-126, 2014 | 32 | 2014 |
Require, test, and trace IT BK Aichernig, K Hörmaier, F Lorber, D Ničković, S Tiran International journal on software tools for technology transfer 19, 409-426, 2017 | 28 | 2017 |
Mutation-based test-case generation with ecdar KG Larsen, F Lorber, B Nielsen, UM Nyman 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 23 | 2017 |
Debugging with timed automata mutations BK Aichernig, K Hörmaier, F Lorber Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 19 | 2014 |
Model-based mutation testing of real-time systems via model checking F Lorber, KG Larsen, B Nielsen 2018 IEEE International Conference on Software Testing, Verification and …, 2018 | 14 | 2018 |
Timed automata learning via SMT solving M Tappler, BK Aichernig, F Lorber NASA Formal Methods Symposium, 489-507, 2022 | 13 | 2022 |
Safe and time-optimal control for railway games SL Karra, KG Larsen, F Lorber, J Srba Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2019 | 13 | 2019 |
Bounded determinization of timed automata with silent transitions F Lorber, A Rosenmann, D Ničković, BK Aichernig Real-Time Systems 53, 291-326, 2017 | 13 | 2017 |
Formal test-driven development with verified test cases BK Aichernig, F Lorber, S Tiran 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 12 | 2014 |
Towards generation of adaptive test cases from partial models of determinized timed automata BK Aichernig, F Lorber 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 11 | 2015 |
Shielded reinforcement learning for hybrid systems AH Brorholt, PG Jensen, KG Larsen, F Lorber, C Schilling International Conference on Bridging the Gap between AI and Reality, 33-54, 2023 | 9 | 2023 |
It's Time to Play Safe: Shield Synthesis for Timed Systems R Bloem, PG Jensen, B Könighofer, KG Larsen, F Lorber, A Palmisano arXiv preprint arXiv:2006.16688, 2020 | 9 | 2020 |
Bounded determinization of timed automata with silent transitions F Lorber, A Rosenmann, D Ničković, BK Aichernig Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015 | 9 | 2015 |
Learning timed automata via genetic programming M Tappler, BK Aichernig, KG Larsen, F Lorber arXiv preprint arXiv:1808.07744, 2018 | 7 | 2018 |
Model-based mutation testing with timed automata BK Aichernig, F Lorber, D Nickovic Graz University of Technology, Graz, 2013 | 7 | 2013 |
Integrating model-based testing and analysis tools via test case exchange BK Aichernig, F Lorber, S Tiran 2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012 | 6 | 2012 |