( en | de | ru )

 

Disambiguation of "Lorber, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Mutation Testing of Real-Time Systems via Model Checking.

, , and . ICST Workshops, page 59-68. IEEE Computer Society, (2018)

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

Katrin Lorber

Dagmar 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)Debugging with Timed Automata Mutations., , and . SAFECOMP, volume 8666 of Lecture Notes in Computer Science, page 49-64. Springer, (2014)Bounded Determinization of Timed Automata with Silent Transitions., , , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 288-304. Springer, (2015)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)Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems.. ICST, page 1-2. IEEE Computer Society, (2015)A Modeling Concept for Formal Verification of OS-Based Compositional Software., , , , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 26-46. Springer, (2023)