( en | de | ru )

 

Disambiguation of "Lorber, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.

, , and . TASE, page 119-126. IEEE Computer Society, (2012)

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

Helmut Lorber

Andreas Lorber

Katrin 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)Learning Timed Automata via Genetic Programming., , , and . CoRR, (2018)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)Shield Synthesis for Reinforcement Learning., , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 290-306. Springer, (2020)20 Years of Real Real Time Model Validation., , and . FM, volume 10951 of Lecture Notes in Computer Science, page 22-36. Springer, (2018)Learning Symbolic Timed Models from Concrete Timed Data., , , , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 104-121. Springer, (2023)Time for Mutants - Model-Based Mutation Testing with Timed Automata., , and . TAP, volume 7942 of Lecture Notes in Computer Science, page 20-38. Springer, (2013)Formal Test-Driven Development with Verified Test Cases., , and . MODELSWARD, page 626-635. SciTePress, (2014)