Florian Lorber

According to our database, Florian Lorber authored at least 30 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bridging the Gap Between Models in RL: Test Models vs. Neural Networks.

Martin Tappler, Florian Lorber

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2023

Timed I/O Automata: It is never too late to complete your timed specification theory.

Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski

CoRR, 2023

Shielded Reinforcement Learning for Hybrid Systems.

Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Learning Symbolic Timed Models from Concrete Timed Data.

Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

A Modeling Concept for Formal Verification of OS-Based Compositional Software.

Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Timed Automata Learning via SMT Solving.

Martin Tappler, Bernhard K. Aichernig, Florian Lorber

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

It's Time to Play Safe: Shield Synthesis for Timed Systems.

Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano

CoRR, 2020

Shield Synthesis for Reinforcement Learning.

Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Conformance Testing in UPPAAL: A diabolic approach.

Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz

CoRR, 2019

Safe and Time-Optimal Control for Railway Games.

Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Time to Learn - Learning Timed Automata from Tests.

Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar.

Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Learning Timed Automata via Genetic Programming.

Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber

CoRR, 2018

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond.

Kim G. Larsen, Florian Lorber, Brian Nielsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Model-Based Mutation Testing of Real-Time Systems via Model Checking.

Florian Lorber, Kim G. Larsen, Brian Nielsen

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

20 Years of Real Real Time Model Validation.

Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Require, test, and trace IT.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran

Int. J. Softw. Tools Technol. Transf., 2017

Bounded determinization of timed automata with silent transitions.

Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig

Real Time Syst., 2017

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry.

Grischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Mutation-Based Test-Case Generation with Ecdar.

Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

On-the-Fly Determinization of Bounded Networks of Timed Automata.

Bernhard K. Aichernig, Florian Lorber

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.

Bernhard K. Aichernig, Florian Lorber, Martin Tappler

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems.

Florian Lorber

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Towards generation of adaptive test cases from partial models of determinized timed automata.

Bernhard K. Aichernig, Florian Lorber

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Debugging with Timed Automata Mutations.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Formal Test-Driven Development with Verified Test Cases.

Bernhard K. Aichernig, Florian Lorber, Stefan Tiran

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

Time for Mutants - Model-Based Mutation Testing with Timed Automata.

Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic

Proceedings of the Tests and Proofs - 7th International Conference, 2013

2012

Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.

Bernhard K. Aichernig, Florian Lorber, Stefan Tiran

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012