Florian Göbe

According to our database, Florian Göbe authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Runtime supervision of PLC programs using discrete-event systems.

Florian Göbe

PhD thesis, 2019

2017

Applicability of supervisory control theory for the supervision of PLC programs.

Florian Göbe, Selin Aydin, Stefan Kowalewski

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Synthesis Tool for Automation Controller Supervision.

Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Reusability and modularity of safety specifications for supervisory control.

Florian Göbe, Oliver Ney, Stefan Kowalewski

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2014

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs.

Christina Jansen, Florian Göbe, Thomas Noll

Proceedings of the Graph Transformation - 7th International Conference, 2014

Generation and Refinement of PLC Function Blocks.

Florian Göbe

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014