Florian Lorber
Identifiers
No identifiers captured yet.
Papers (3)
- COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1 cs.SE · 2019 · author #7
- Learning Timed Automata via Genetic Programming cs.SE · 2018 · author #4
- Bounded Determinization of Timed Automata with Silent Transitions cs.FL · 2015 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Amnon Rosenmann 1 shared papers
- Bernhard Aichernig 1 shared papers
- Bernhard K. Aichernig 1 shared papers
- C\'esar S\'anchez 1 shared papers
- Christian Colombo 1 shared papers
- Cyrille Artho 1 shared papers
- Dejan Nickovic 1 shared papers
- Gerardo Schneider 1 shared papers
- Joao Louren\c{c}o 1 shared papers
- Kim Guldstrand Larsen 1 shared papers
- Leonardo Mariani 1 shared papers
- Martin Leucker 1 shared papers
- Martin Tappler 1 shared papers
- Srdan Krstic 1 shared papers
- Volker Stolz 1 shared papers
- Wolfgang Ahrendt 1 shared papers
- Yli\`es Falcone 1 shared papers