Florian Lorber

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 23

Top Topics

Reachability Analysis

Top Venues

Publications

Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
Learning Symbolic Timed Models from Concrete Timed Data. NFM (2023)
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR (2023)
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach
A Modeling Concept for Formal Verification of OS-Based Compositional Software. FASE (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. AISoLA (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. CoRR (2023)
Martin Tappler, Bernhard K. Aichernig, Florian Lorber
Timed Automata Learning via SMT Solving. NFM (2022)
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR (2020)
Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen
Conformance Testing in UPPAAL: A diabolic approach. ICST Workshops (2020)
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
Shield Synthesis for Reinforcement Learning. ISoLA (1) (2020)
Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba
Safe and Time-Optimal Control for Railway Games. RSSRail (2019)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Time to Learn - Learning Timed Automata from Tests. FORMATS (2019)
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
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Kim G. Larsen, Florian Lorber, Brian Nielsen
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) (2018)
Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen
20 Years of Real Real Time Model Validation. FM (2018)
Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. GandALF (2018)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Learning Timed Automata via Genetic Programming. CoRR (2018)
Florian Lorber, Kim G. Larsen, Brian Nielsen
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops (2018)
Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops (2017)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Grischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. MODELSWARD (2017)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53 (3) (2017)
Bernhard K. Aichernig, Florian Lorber, Martin Tappler
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods (2016)
Bernhard K. Aichernig, Florian Lorber
On-the-Fly Determinization of Bounded Networks of Timed Automata. TASE (2016)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded Determinization of Timed Automata with Silent Transitions. CoRR (2015)
Florian Lorber
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. ICST (2015)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, Test and Trace IT. FMICS (2015)
Bernhard K. Aichernig, Florian Lorber
Towards generation of adaptive test cases from partial models of determinized timed automata. ICST Workshops (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber
Debugging with Timed Automata Mutations. SAFECOMP (2014)
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
Formal Test-Driven Development with Verified Test Cases. MODELSWARD (2014)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC (2014)
Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF (2013)
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE (2012)