default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlorian Lorber
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c26]Martin Tappler, Florian Lorber:
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks. ICSTW 2024: 68-77- 2023
- [c25]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: 26-46 - [c24]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: 104-121 - [c23]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54 - [i6]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 abs/2302.04529 (2023) - [i5]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023) - 2022
- [c22]Martin Tappler, Bernhard K. Aichernig, Florian Lorber:
Timed Automata Learning via SMT Solving. NFM 2022: 489-507 - 2020
- [c21]Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen:
Conformance Testing in UPPAAL: A diabolic approach. ICST Workshops 2020: 35-42 - [c20]Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem:
Shield Synthesis for Reinforcement Learning. ISoLA (1) 2020: 290-306 - [i4]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 abs/2006.16688 (2020)
2010 – 2019
- 2019
- [c19]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235 - [c18]Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba:
Safe and Time-Optimal Control for Railway Games. RSSRail 2019: 106-122 - [i3]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 abs/1902.03776 (2019) - 2018
- [c17]Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen:
20 Years of Real Real Time Model Validation. FM 2018: 22-36 - [c16]Florian Lorber, Kim G. Larsen, Brian Nielsen:
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops 2018: 59-68 - [c15]Kim G. Larsen, Florian Lorber, Brian Nielsen:
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) 2018: 212-229 - [c14]Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen:
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. GandALF 2018: 147-160 - [i2]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Learning Timed Automata via Genetic Programming. CoRR abs/1808.07744 (2018) - 2017
- [j2]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53(3): 291-326 (2017) - [j1]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): 409-426 (2017) - [c13]Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman:
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops 2017: 319-328 - [c12]Grischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy:
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. MODELSWARD 2017: 427-434 - 2016
- [c11]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: 15-32 - [c10]Bernhard K. Aichernig, Florian Lorber:
On-the-Fly Determinization of Bounded Networks of Timed Automata. TASE 2016: 14-21 - 2015
- [c9]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. FMICS 2015: 113-127 - [c8]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS 2015: 288-304 - [c7]Bernhard K. Aichernig, Florian Lorber:
Towards generation of adaptive test cases from partial models of determinized timed automata. ICST Workshops 2015: 1-6 - [c6]Florian Lorber:
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. ICST 2015: 1-2 - [i1]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. CoRR abs/1508.03575 (2015) - 2014
- [c5]Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Formal Test-Driven Development with Verified Test Cases. MODELSWARD 2014: 626-635 - [c4]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: 117-126 - [c3]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber:
Debugging with Timed Automata Mutations. SAFECOMP 2014: 49-64 - 2013
- [c2]Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF 2013: 20-38 - 2012
- [c1]Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE 2012: 119-126
Coauthor Index
aka: Kim Guldstrand Larsen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
