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

Aktuell liegen keine ausformulierten, offenen Abschlussarbeiten vor. Bei Interesse an formalen Methoden können wir aber zusammen geeignete Themen für Bachelor- und Masterarbeiten ausarbeiten. Eigene Vorschläge sind ebenfalls möglich.

Lehre

Publikationen


Publikations-Export
[BK18a]
PDFBIB
Bohlender, D. and Kowalewski, S., "Design and Verification of Restart-robust Industrial Control Software", in Proc. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, 2018, Springer, p. 19, To appear.

Design and Verification of Restart-robust Industrial Control Software

Bibtex entry :

@inproceedings { BK18a,
	author = { Bohlender, Dimitri and Kowalewski, Stefan },
	title = { Design and Verification of Restart-robust Industrial Control
		Software },
	booktitle = { Integrated Formal Methods - 14th International Conference,
		IFM 2018, Maynooth, Ireland, September 5-7, 2018 },
	publisher = { Springer },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 19 },
	year = { 2018 },
	timestamp = { 2018.06.18 },
	i11key = { conference },
	i11projectkey = { Arcade },
	note = { To appear },
	for_reporting_period = { 2018 },
}
[BK18]
PDFBIB
Bohlender, D. and Kowalewski, S., "Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction", in Proc. 14th International Workshop on Discrete Event Systems, WODES 2018, Sorrento Coast, Italy, May 30 - June 1, 2018, 2018, IEEE, To appear.

Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction

Bibtex entry :

@inproceedings { BK18,
	author = { Bohlender, Dimitri and Kowalewski, Stefan },
	title = { Compositional Verification of PLC Software using Horn
		Clauses and Mode Abstraction },
	booktitle = { 14th International Workshop on Discrete Event Systems, WODES
		2018, Sorrento Coast, Italy, May 30 - June 1, 2018 },
	publisher = { IEEE },
	publishedas = { Druck },
	language = { eng },
	year = { 2018 },
	timestamp = { 2018.03.05 },
	i11key = { conference },
	i11projectkey = { Arcade },
	note = { To appear },
	for_reporting_period = { 2018 },
}
[BHK18]
PDFBIB
Bohlender, D., Hamm, D., and Kowalewski, S., "Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding", in Proc. Proceedings of SAC 2018: Symposium on Applied Computing , Pau, France, April 9–13, 2018 (SAC 2018), 2018, ACM, pp. 1893-1901, To appear.

Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding

Bibtex entry :

@inproceedings { BHK18,
	author = { Bohlender, Dimitri and Hamm, Daniel and Kowalewski, Stefan },
	title = { Cycle-Bounded Model Checking of PLC Software via Dynamic
		Large-Block Encoding },
	booktitle = { Proceedings of SAC 2018: Symposium on Applied Computing ,
		Pau, France, April 9–13, 2018 (SAC 2018) },
	publisher = { ACM },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 1893--1901 },
	year = { 2018 },
	timestamp = { 2018.01.10 },
	i11key = { conference },
	i11projectkey = { Arcade },
	note = { To appear },
	for_reporting_period = { 2018 },
}
[UVS+17]
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. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, IEEE, pp. 1-4.

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 = { 2017 22nd IEEE International Conference on Emerging
		Technologies and Factory Automation (ETFA) },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-1-5090-6505-9 },
	issn = { 1946-0759 },
	language = { eng },
	pages = { 1--4 },
	year = { 2017 },
	timestamp = { 2017.10.27 },
	i11key = { conference },
	i11projectkey = { Arcade },
	url = { http://ieeexplore.ieee.org/document/8247704/ },
	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