Hendrik Simon, M.Sc.

Kontakt

Wissenschaftlicher Mitarbeiter

Tel. +49 241 80 21157
Fax +49 241 80 22150

Email: simon[at]embedded[dot]rwth-aachen[dot]de

Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2325 (Gebäude H)

Sprechstunde

Nach Vereinbarung

Lehre

Semester Titel Art
Sommersemester 14 Sicherheit industrieller Steuerungssysteme S
Wintersemester 14/15 Einführung in die Technische Informatik V
Wintersemester 15/16 Einführung in die Technische Informatik V
Wintersemester 15/16 Formale Methoden für Steuerungssoftware V
Wintersemester 16/17 Einführung in die Technische Informatik V

Publikationen


Publikations-Export
[SK16]
PDFBIB
Simon, H. and Kowalewski, S., "Static Analysis of Sequential Function Charts using Abstract Interpretation", in Proc. Emerging Technologies and Factory Automation 2016, 2016, IEEE, pp. 1-4.

Static Analysis of Sequential Function Charts using Abstract Interpretation

Bibtex entry :

@inproceedings { SK16,
	author = { Simon, Hendrik and Kowalewski, Stefan },
	title = { Static Analysis of Sequential Function Charts using Abstract
		Interpretation },
	booktitle = { Emerging Technologies and Factory Automation 2016 },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-1-5090-1314-2 },
	language = { eng },
	pages = { 1--4 },
	year = { 2016 },
	timestamp = { 2016.10.07 },
	i11key = { conference },
	i11projectkey = { arcade },
	for_reporting_period = { 2016 },
}
[BSKH16]
PDFBIB
Bohlender, D., Simon, H., Kowalewski, S., and Hauck-Stattelmann, S., "Symbolische Ausführung zum Testen von SPS-Programmen", in Proc. Automation 2016, 07.06.2016-08.06.2016, Baden-Baden, Germany, 2016, VDI Verlag GmbH, pp. 77-88.

Symbolische Ausführung zum Testen von SPS-Programmen

Bibtex entry :

@inproceedings { BSKH16,
	author = { Bohlender, Dimitri and Simon, Hendrik and Kowalewski, Stefan
		and Hauck-Stattelmann, Stefan },
	title = { Symbolische Ausf{\"u}hrung zum Testen von SPS-Programmen },
	booktitle = { Automation 2016, 07.06.2016-08.06.2016, Baden-Baden, Germany },
	publisher = { VDI Verlag GmbH },
	publishedas = { Druck },
	isbn = { 978-3-18-092284-0 },
	language = { ger },
	pages = { 77--88 },
	year = { 2016 },
	timestamp = { 2016.08.03 },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { 2016 },
}
[BSF+16]
PDFBIB
Bohlender, D., Simon, H., Friedrich, N., Kowalewski, S., and Hauck-Stattelmann, S., "Concolic Test Generation for PLC Programs using Coverage Metrics", in Proc. 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, 2016, IEEE, pp. 432-437.

Concolic Test Generation for PLC Programs using Coverage Metrics

Bibtex entry :

@inproceedings { BSF+16,
	author = { Bohlender, Dimitri and Simon, Hendrik and Friedrich, Nico
		and Kowalewski, Stefan and Hauck-Stattelmann, Stefan },
	title = { Concolic Test Generation for PLC Programs using Coverage
		Metrics },
	booktitle = { 13th International Workshop on Discrete Event Systems, WODES
		2016, Xi'an, China, May 30 - June 1, 2016 },
	publisher = { IEEE },
	publishedas = { Druck },
	isbn = { 978-1-5090-4190-9 },
	language = { eng },
	pages = { 432--437 },
	year = { 2016 },
	timestamp = { 2016.06.27 },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { 2016 },
}
[BSK16]
PDFBIB
Bohlender, D., Simon, H., and Kowalewski, S., "Symbolic Verification of PLC Safety-Applications based on PLCopen Automata", in Proc. 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016., 2016, Albert-Ludwigs-Universität Freiburg, pp. 33-45.

Symbolic Verification of PLC Safety-Applications based on PLCopen Automata

Bibtex entry :

@inproceedings { BSK16,
	author = { Bohlender, Dimitri and Simon, Hendrik and Kowalewski, Stefan },
	editor = { Ralf Wimmer },
	title = { Symbolic Verification of PLC Safety-Applications based on
		PLCopen Automata },
	booktitle = { 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen
		zur Modellierung und Verifikation von Schaltungen und
		Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March
		1-2, 2016. },
	publisher = { Albert-Ludwigs-Universit{\"{a}}t Freiburg },
	publishedas = { Online },
	isbn = { 978-3-00-052380-9 },
	language = { eng },
	pages = { 33--45 },
	year = { 2016 },
	timestamp = { 2016.03.03 },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { 2016 },
}
[BFSK15]
Biallas, S., Friedrich, N., Simon, H., and Kowalewski, S., "Automatic Error Cause Localization of Faulty PLC Programs", IFAC-PapersOnLine, vol. 48, pp. 79-84, 2015

Automatic Error Cause Localization of Faulty PLC Programs

Bibtex entry :

@article { BFSK15,
	author = { Biallas, Sebastian and  Friedrich, Nico and Simon, Hendrik
		and Kowalewski, Stefan },
	title = { Automatic Error Cause Localization of Faulty PLC Programs },
	journal = { IFAC-PapersOnLine },
	year = { 2015 },
	volume = { 48 },
	pages = { 79--84 },
	publisher = { Elsevier Ltd },
	publishedas = { Online Druck },
	issn = { 1474-6670 },
	i11key = { conference },
	i11projectkey = { Arcade },
	language = { eng },
	url = { http://www.sciencedirect.com/science/article/pii/S2405896315007156 },
	timestamp = { 2015.09.21 },
	for_reporting_period = { 2015 },
}
[SFB+15]
PDFBIB
Simon, H., Friedrich, N., Biallas, S., Hauck-Stattelmann, S., Schlich, B., and Kowalewski, S., "Automatic Test Case Generation for PLC Programs using Coverage Metrics", in Proc. International Conference on Emerging Technologies and Factory Automation (ETFA), 2015, IEEE, pp. 1-4.

Automatic Test Case Generation for PLC Programs using Coverage Metrics

Bibtex entry :

@inproceedings { SFB+15,
	author = { Simon, Hendrik and Friedrich, Nico and Biallas, Sebastian
		and Hauck-Stattelmann, Stefan and Schlich, Bastian and
		Kowalewski, Stefan },
	title = { Automatic Test Case Generation for PLC Programs using
		Coverage Metrics },
	booktitle = { International Conference on Emerging Technologies and
		Factory Automation (ETFA) },
	publisher = { IEEE },
	publishedas = { Druck },
	isbn = { 978-1-4673-7929-8 },
	language = { eng },
	pages = { 1--4 },
	year = { 2015 },
	timestamp = { 2015.09.15 },
	i11key = { conference },
	for_reporting_period = { 2015 },
}
[BSK+15]
Biallas, S., Simon, H., Kowalewski, S., Hauck-Stattelmann, S., and Schlich, B., "Automatische Testfallgenerierung für SPS-Programme mittels Zeilenüberdeckung", in Proc. AUTOMATION 2015, 2015, VDI, pp. 100-111.

Automatische Testfallgenerierung für SPS-Programme mittels Zeilenüberdeckung

Bibtex entry :

@inproceedings { BSK+15,
	author = { Biallas, Sebastian and Simon, Hendrik and Kowalewski, Stefan
		and Hauck-Stattelmann, Stefan and Schlich, Bastian },
	title = { Automatische Testfallgenerierung f{\"u}r SPS-Programme
				mittels Zeilen{\"u}berdeckung },
	booktitle = { AUTOMATION 2015 },
	publisher = { VDI },
	publishedas = { Druck },
	language = { ger },
	pages = { 100--111 },
	year = { 2015 },
	timestamp = { 2015.07.08 },
	i11key = { conference },
	i11projectkey = { Arcade },
	url = { {http://publications.embedded.rwth-aachen.de/file/5r} },
	for_reporting_period = { 2015 },
}

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