Florian Göbe

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 3

Top Topics

Supervisory Control

Symbolic Execution

Test Generation

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Florian Göbe, Selin Aydin, Stefan Kowalewski
Applicability of supervisory control theory for the supervision of PLC programs. ETFA (2017)
Florian Göbe, Oliver Ney, Stefan Kowalewski
Reusability and modularity of safety specifications for supervisory control. ETFA (2016)
Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski
Synthesis Tool for Automation Controller Supervision. WODES (2016)
Florian Göbe
Generation and Refinement of PLC Function Blocks. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Christina Jansen, Florian Göbe, Thomas Noll
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. ICGT (2014)