Florian Lorber

35 papers A 1B 3C 3Misc 2Journal 8Unranked 18

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