| 2025 | ICST | Mutating Skeletons: Learning Timed Automata via Domain Knowledge. | Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler |
| 2024 | ICST | Bridging the Gap Between Models in RL: Test Models vs. Neural Networks. | Martin Tappler, Florian Lorber |
| 2023 | FASE | A Modeling Concept for Formal Verification of OS-Based Compositional Software. | Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach |
| 2023 | VECoS | Shielded Reinforcement Learning for Hybrid Systems. | Asger Horn Brorholt, Peter Gjl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling |
| 2020 | ICST | Conformance Testing in UPPAAL: A diabolic approach. | Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen |
| 2020 | ISoLA | Shield Synthesis for Reinforcement Learning. | Bettina Knighofer, Florian Lorber, Nils Jansen, Roderick Bloem |
| 2018 | FM | 20 Years of Real Real Time Model Validation. | Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
| 2018 | ICST | Model-Based Mutation Testing of Real-Time Systems via Model Checking. | Florian Lorber, Kim G. Larsen, Brian Nielsen |
| 2018 | ISoLA | 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. | Kim G. Larsen, Florian Lorber, Brian Nielsen |
| 2017 | ICST | Mutation-Based Test-Case Generation with Ecdar. | Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman |
| 2017 | MODELSWARD | Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. | Grischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy |
| 2016 | TASE | On-the-Fly Determinization of Bounded Networks of Timed Automata. | Bernhard K. Aichernig, Florian Lorber |
| 2015 | FMICS | Require, Test and Trace IT. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
| 2015 | ICST | Towards generation of adaptive test cases from partial models of determinized timed automata. | Bernhard K. Aichernig, Florian Lorber |
| 2015 | ICST | Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. | Florian Lorber |
| 2014 | MODELSWARD | Formal Test-Driven Development with Verified Test Cases. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
| 2014 | SAFECOMP | Debugging with Timed Automata Mutations. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber |
| 2013 | TAP | Time for Mutants - Model-Based Mutation Testing with Timed Automata. | Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic |
| 2012 | TASE | Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |