Generation and Refinement of PLC Function Blocks. - Florian Göbe (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. - Christina Jansen; Florian Göbe; Thomas Noll 001 (ICGT, 2014)

Reusability and modularity of safety specifications for supervisory control. - Florian Göbe; Oliver Ney; Stefan Kowalewski (ETFA, 2016)

Synthesis Tool for Automation Controller Supervision. - Florian Göbe; Thomas Timmermanns; Oliver Ney; Stefan Kowalewski (WODES, 2016)

Applicability of supervisory control theory for the supervision of PLC programs. - Florian Göbe; Selin Aydin; Stefan Kowalewski (ETFA, 2017)

Runtime supervision of PLC programs using discrete-event systems. - Florian Göbe (2019)