Dimitri Bohlender, M.Sc. RWTH

Kontakt

Wissenschaftlicher Mitarbeiter

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


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

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

Offene Abschlussarbeiten

Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. Eigene Vorschläge sind ebenfalls möglich.

Lehre

Publikationen


Publikations-Export
[UVS+17]
PDFBIB
Ulewicz, S., Vogel-Heuser, B., Simon, H., Bohlender, D., Obster, M., and Kowalewski, S., "A Priori Test Coverage Estimation for Automated Production Systems", in Proc. Emerging Technologies and Factory Automation 2016, 2017, IEEE, pp. 1-4, To appear.

A Priori Test Coverage Estimation for Automated Production Systems

Bibtex entry :

@inproceedings { UVS+17,
	author = { Ulewicz, Sebastian and Vogel-Heuser, Birgit and Simon,
		Hendrik and Bohlender, Dimitri and Obster, Mathias and
		Kowalewski, Stefan },
	title = { A Priori Test Coverage Estimation for Automated Production
		Systems },
	booktitle = { Emerging Technologies and Factory Automation 2016 },
	publisher = { IEEE },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 1--4 },
	year = { 2017 },
	timestamp = { 2017.10.27 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2017 },
}
[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 },
}
[BBJKNN14]
PDFBIB
Bohlender, D., Bruintjes, H., Junges, S., Katelaan, J., Nguyen, V. Y., and Noll, T., "A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models", in Proc. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}, 2014, IEEE, pp. 177-192.

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models

Bibtex entry :

@inproceedings { BBJKNN14,
	author = { Dimitri Bohlender and Harold Bruintjes and Sebastian Junges
		and Jens Katelaan and Viet Yen Nguyen and Thomas Noll },
	title = { A Review of Statistical Model Checking Pitfalls on Real-Time
		Stochastic Models },
	booktitle = { Leveraging Applications of Formal Methods, Verification and
		Validation. Specialized Techniques and Applications - 6th
		International Symposium, ISoLA 2014, Imperial, Corfu,
		Greece, October 8-11, 2014, Proceedings, Part {II} },
	pages = { 177--192 },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-3-662-45231-8 },
	language = { eng },
	year = { 2014 },
	timestamp = { Mon, 29 Sep 2014 11:09:02 +0200 },
	i11key = { conference },
	for_reporting_period = { 2014 },
}
[BBK13]
PDFBIB
Biallas, S., Bohlender, D., and Kowalewski, S., "Boolean and Modular Abstractions for Programmable Logic Controllers", in Proc. Dependable Control of Discrete Systems (DCDS'13), 2013, IEEE, pp. 97-102.

Boolean and Modular Abstractions for Programmable Logic Controllers

Bibtex entry :

@inproceedings { BBK13,
	author = { Biallas, Sebastian and Bohlender, Dimitri and Kowalewski,
		Stefan },
	title = { Boolean and Modular Abstractions for Programmable Logic
		Controllers },
	booktitle = { Dependable Control of Discrete Systems (DCDS'13) },
	publisher = { IEEE },
	publishedas = { Druck },
	isbn = { 978-3-902823-49-6 },
	issn = { 1474-6670 },
	language = { eng },
	pages = { 97--102 },
	year = { 2013 },
	timestamp = { 2013.06.06 },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { 2013 },
}

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