Follow
Florian Lorber
Florian Lorber
Silicon Austria Labs
No verified email
Title
Cited by
Cited by
Year
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
982013
Shield synthesis for reinforcement learning
B Könighofer, F Lorber, N Jansen, R Bloem
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
502020
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
392019
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
312014
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
282017
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
272018
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
222017
Debugging with timed automata mutations
BK Aichernig, K Hörmaier, F Lorber
Computer Safety, Reliability, and Security: 33rd International Conference …, 2014
182014
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
132018
Timed automata learning via SMT solving
M Tappler, BK Aichernig, F Lorber
NASA Formal Methods Symposium, 489-507, 2022
122022
Bounded determinization of timed automata with silent transitions
F Lorber, A Rosenmann, D Ničković, BK Aichernig
Real-Time Systems 53, 291-326, 2017
122017
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
122014
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
112019
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
102015
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
92020
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
92015
Model-based mutation testing with timed automata
BK Aichernig, F Lorber, D Nickovic
Graz University of Technology, Graz, 2013
82013
Learning timed automata via genetic programming
M Tappler, BK Aichernig, KG Larsen, F Lorber
arXiv preprint arXiv:1808.07744, 2018
72018
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
62012
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
42017
The system can't perform the operation now. Try again later.
Articles 1–20