( en | de | ru )

 

Disambiguation of "Lorber, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Bounded Determinization of Timed Automata with Silent Transitions.

, , , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 288-304. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kurt Lorber

Siegrid Lorber

Andreas Lorber

Katrin Lorber

Helmut Lorber

 

Other publications of authors with the same name

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking., , and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 15-32. Springer, (2016)Model-Based Mutation Testing of Real-Time Systems via Model Checking., , and . ICST Workshops, page 59-68. IEEE Computer Society, (2018)Bounded Determinization of Timed Automata with Silent Transitions., , , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 288-304. Springer, (2015)Debugging with Timed Automata Mutations., , and . SAFECOMP, volume 8666 of Lecture Notes in Computer Science, page 49-64. Springer, (2014)20 Years of Real Real Time Model Validation., , and . FM, volume 10951 of Lecture Notes in Computer Science, page 22-36. Springer, (2018)Shield Synthesis for Reinforcement Learning., , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 290-306. Springer, (2020)Learning Symbolic Timed Models from Concrete Timed Data., , , , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 104-121. Springer, (2023)Require, test, and trace IT., , , , and . Int. J. Softw. Tools Technol. Transf., 19 (4): 409-426 (2017)Timed I/O Automata: It is never too late to complete your timed specification theory., , , , , and . CoRR, (2023)20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond., , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 212-229. Springer, (2018)