Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar von Gundersen, Tobias R., Lorber, Florian, Nyman, Ulrik, Ovesen, Christian

Volltext

Time to Learn – Learning Timed Automata from Tests von Tappler, Martin, Aichernig, Bernhard K., Larsen, Kim Guldstrand, Lorber, Florian

Volltext

20 Years of Real Real Time Model Validation von Guldstrand Larsen, Kim, Lorber, Florian, Nielsen, Brian

Volltext

Timed Automata Learning via SMT Solving von Tappler, Martin, Aichernig, Bernhard K., Lorber, Florian

Volltext

Safe and Time-Optimal Control for Railway Games von Karra, Shyam Lal, Larsen, Kim Guldstrand, Lorber, Florian, Srba, Jiří

Volltext

Bounded determinization of timed automata with silent transitions von Lorber, Florian, Rosenmann, Amnon, Ničković, Dejan, Aichernig, Bernhard K.

Volltext

Time for Mutants —Model-Based Mutation Testing with Timed Automata von Aichernig, Bernhard K., Lorber, Florian, Ničković, Dejan

Volltext

Require, test, and trace IT von Aichernig, Bernhard K., Hörmaier, Klaus, Lorber, Florian, Ničković, Dejan, Tiran, Stefan

Volltext

Shielded Reinforcement Learning for Hybrid Systems von Brorholt, Asger Horn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Lorber, Florian, Schilling, Christian

Volltext

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond von Larsen, Kim G., Lorber, Florian, Nielsen, Brian

Volltext

Learning Symbolic Timed Models from Concrete Timed Data von Dierl, Simon, Howar, Falk Maria, Kauffman, Sean, Kristjansen, Martin, Guldstrand Larsen, Kim, Lorber, Florian, Mauritz, Malte

Volltext

Shield Synthesis for Reinforcement Learning von Könighofer, Bettina, Lorber, Florian, Jansen, Nils, Bloem, Roderick

Volltext

Debugging with Timed Automata Mutations von Aichernig, Bernhard K., Hörmaier, Klaus, Lorber, Florian

Volltext

Message from the A-MOST 2023 Workshop Chairs von Lorber, Florian, Seceleanu, Cristina, Türker, Uraz Cengiz

Volltext bestellen

Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking von Aichernig, Bernhard K., Lorber, Florian, Tappler, Martin

Volltext

Shielded Reinforcement Learning for Hybrid Systems von Asger Horn Brorholt, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Lorber, Florian, Schilling, Christian

Volltext

Timed I/O Automata: It is never too late to complete your timed specification theory von Goorden, Martijn A, Larsen, Kim G, Legay, Axel, Lorber, Florian, Nyman, Ulrik, Wasowski, Andrzej

Volltext bestellen

Bounded Determinization of Timed Automata with Silent Transitions von Lorber, Florian, Rosenmann, Amnon, Ničković, Dejan, Aichernig, Bernhard K.

Volltext

Require, Test and Trace IT von Aichernig, Bernhard K., Hörmaier, Klaus, Lorber, Florian, Ničković, Dejan, Tiran, Stefan

Volltext

It's Time to Play Safe: Shield Synthesis for Timed Systems von Bloem, Roderick, Jensen, Peter Gjøl, Könighofer, Bettina, Larsen, Kim Guldstrand, Lorber, Florian, Palmisano, Alexander

Volltext bestellen