| Time for mutants—model-based mutation testing with timed automata BK Aichernig, F Lorber, D Ničković International Conference on Tests and Proofs, 20-38, 2013 | 68 | 2013 |
| 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 | 26 | 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 (4), 409-426, 2017 | 19 | 2017 |
| Debugging with timed automata mutations BK Aichernig, K Hörmaier, F Lorber International Conference on Computer Safety, Reliability, and Security, 49-64, 2014 | 14 | 2014 |
| 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 | 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 |
| Bounded determinization of timed automata with silent transitions F Lorber, A Rosenmann, D Ničković, BK Aichernig Real-time systems 53 (3), 291-326, 2017 | 11 | 2017 |
| Bounded determinization of timed automata with silent transitions F Lorber, A Rosenmann, D Ničković, BK Aichernig International Conference on Formal Modeling and Analysis of Timed Systems …, 2015 | 9 | 2015 |
| Time to learn–learning timed automata from tests M Tappler, BK Aichernig, KG Larsen, F Lorber International Conference on Formal Modeling and Analysis of Timed Systems …, 2019 | 8 | 2019 |
| 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond KG Larsen, F Lorber, B Nielsen International Symposium on Leveraging Applications of Formal Methods, 212-229, 2018 | 7 | 2018 |
| 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 | 7 | 2015 |
| Model-based mutation testing with timed automata BK Aichernig, F Lorber, D Nickovic Graz University of Technology, Graz, 2013 | 6 | 2013 |
| Safe and time-optimal control for railway games SL Karra, KG Larsen, F Lorber, J Srba International Conference on Reliability, Safety, and Security of Railway …, 2019 | 5 | 2019 |
| 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 | 4 | 2018 |
| Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. G Liebel, A Anjorin, E Knauss, F Lorber, M Tichy MODELSWARD, 427-434, 2017 | 4 | 2017 |
| Conformance checking of real-time models BK Aichernig, F Lorber, M Tappler Theory and Practice of Formal Methods, 15-32, 2016 | 4 | 2016 |
| 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 | 4 | 2012 |
| Shield synthesis for reinforcement learning B Könighofer, F Lorber, N Jansen, R Bloem International Symposium on Leveraging Applications of Formal Methods, 290-306, 2020 | 3 | 2020 |
| COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring--Activity Report of Working Group 1 W Ahrendt, C Artho, C Colombo, Y Falcone, S Krstic, M Leucker, F Lorber, ... arXiv preprint arXiv:1902.03776, 2019 | 2 | 2019 |
| Learning timed automata via genetic programming M Tappler, BK Aichernig, KG Larsen, F Lorber arXiv preprint arXiv:1808.07744, 2018 | 2 | 2018 |
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
