Florian Göbe, M.Sc. RWTH


Doktorand bis 11/2017
Seit 12/2017: Exist-Forschungstransfer (BMWi) Arttest


Kontakt:

E-Mail: goebe[at]embedded[dot]rwth-aachen[dot]de
Telefon: 0241/80-21171

Adresse: Informatik 11, Ahornstr. 55, 52074 Aachen
Büro: Raum 2314 (Gebäude H, 3. OG)

Gremien

Hochschulintern

  • Lenkungsausschuss des DFG-GRK 1298 „AlgoSyn“ (2015)

Fachausschüsse

Lehre

2016
2015
2014
2013

Betreute Abschlussarbeiten und Projekte

Publikationen


Publikations-Export
[GAK17]
PDFBIB
Göbe, F., Aydin, S., and Kowalewski, S., "Applicability of Supervisory Control Theory for the Supervision of PLC Programs", in Proc. Proceedings of IEEE International Conference on Emerging Technology & Factory Automation, 2017, IEEE, To appear.

Applicability of Supervisory Control Theory for the Supervision of PLC Programs

Bibtex entry :

@inproceedings { GAK17,
	author = { G{\"o}be, Florian and Aydin, Selin and Kowalewski, Stefan },
	title = { Applicability of Supervisory Control Theory for the
		Supervision of PLC Programs },
	booktitle = { Proceedings of IEEE International Conference on Emerging
		Technology & Factory Automation },
	publisher = { IEEE },
	publishedas = { Online },
	language = { eng },
	year = { 2017 },
	timestamp = { 2017.05.31 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2017 },
}
[GNK16]
Göbe, F., Ney, O., and Kowalewski, S., "Reusability and Modularity of Safety Specifications for Supervisory Control", in Proc. of the IEEE International Conference on Emerging Technology & Factory Automation, 2016, IEEE, pp. 1-8.

Reusability and Modularity of Safety Specifications for Supervisory Control

Bibtex entry :

@inproceedings { GNK16,
	author = { G{\"o}be, Florian and Ney, Oliver and Kowalewski, Stefan },
	title = { Reusability and Modularity of Safety Specifications for
		Supervisory Control },
	booktitle = { of the IEEE International Conference on Emerging Technology
		& Factory Automation },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-1-5090-1314-2 },
	language = { eng },
	pages = { 1--8 },
	year = { 2016 },
	timestamp = { 2016.06.03 },
	i11key = { conference },
	url = { https://publications.embedded.rwth-aachen.de/file/6t },
	for_reporting_period = { 2016 },
}
[GTNK16]
Göbe, F., Timmermanns, T., Ney, O., and Kowalewski, S., "Synthesis Tool for Automation Controller Supervision", in Proc. of the 13th International Workshop on Discrete Event Systems, 2016, IEEE, pp. 424-431.

Synthesis Tool for Automation Controller Supervision

Bibtex entry :

@inproceedings { GTNK16,
	author = { G{\"o}be, Florian and Timmermanns, Thomas and Ney, Oliver
		and Kowalewski, Stefan },
	title = { Synthesis Tool for Automation Controller Supervision },
	booktitle = { of the 13th International Workshop on Discrete Event Systems },
	publisher = { IEEE },
	publishedas = { Online },
	isbn = { 978-1-5090-4190-9 },
	language = { eng },
	pages = { 424--431 },
	year = { 2016 },
	timestamp = { 2016.03.22 },
	i11key = { conference },
	url = { https://publications.embedded.rwth-aachen.de/file/6b },
	for_reporting_period = { 2016 },
}
[JGN14a]
PDFBIB
Jansen, C., Göbe, F., and Noll, T., "Generating inductive predicates for symbolic execution of pointer-manipulating programs", in Proc. of the 7th international conference on graph transformation, 2014, Springer, pp. 65-80.

Generating inductive predicates for symbolic execution of pointer-manipulating programs

Bibtex entry :

@inproceedings { JGN14a,
	author = { Jansen, Christina and G{\"o}be, Florian and Noll, Thomas },
	title = { Generating inductive predicates for symbolic execution of
		pointer-manipulating programs },
	booktitle = { of the 7th international conference on graph transformation },
	publisher = { Springer },
	publishedas = { Druck Online },
	isbn = { 978-3-319-09107-5 },
	issn = { 0302-9743 },
	language = { eng },
	pages = { 65--80 },
	year = { 2014 },
	timestamp = { 2016.01.28 },
	i11key = { conference },
	for_reporting_period = { 2014 },
}
[JGN14b]
Jansen, C., Göbe, F., and Noll, T., "Generating inductive predicates for symbolic execution of pointer-manipulating programs", RWTH Aachen University, AIB 2014-08, 2014.

Generating inductive predicates for symbolic execution of pointer-manipulating programs

Bibtex entry :

@techreport { JGN14b,
	author = { Jansen, Christina and G{\"o}be, Florian and Noll, Thomas },
	title = { Generating inductive predicates for symbolic execution of
		pointer-manipulating programs },
	pages = { 65--80 },
	institution = { RWTH Aachen University },
	year = { 2014 },
	number = { AIB 2014-08 },
	month = { May },
	url = { http://webdoc.sub.gwdg.de/ebook/serien/ah/AIB/2014-08.pdf },
	timestamp = { 2016.01.28 },
	for_reporting_period = { 2014 },
}
[SGW+11]
Stollenwerk, A., Göbe, F., Walter, M., Kopp, R., Arens, J., and Kowalewski, S., "Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application", in Proc. High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP 2011), Chicago, USA, 2011, Upenn, p. 8.

Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application

Bibtex entry :

@inproceedings { SGW+11,
	owner = { stollenwerk },
	author = { Stollenwerk, Andr{\'e} and G{\"o}be, Florian and Walter,
		Marian and Kopp, R{\"u}dger and Arens, Jutta and Kowalewski,
		Stefan },
	title = { Smart Data Provisioning for Model-Based Generated Code in an
		Intensive Care Application },
	booktitle = { High Confidence Medical Devices, Software, and Systems and
		Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP
		2011), Chicago, USA },
	publisher = { Upenn },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 0--8 },
	year = { 2011 },
	timestamp = { 2011.03.11 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/49 },
	for_reporting_period = { 2011 },
}

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland