• Formale Methoden für eingebettete Systeme
• Fortschrittliche Abstraktionstechniken zum Model-Checken von Software für eingebettete Systeme
• Symbolisches Model-Checking von Software für eingebettete Systeme
• Abstrakte Interpretation
• Symbolische Ausführung
• Koppeln von High-Level und Low-Level Model-Checking zur Verifikation von Gegenbeispielen

Ich arbeite im Arcade Team: Testversion

• Sommersemester 12: Einführung in eingebettete Systeme
• Sommersemester 11: Einführung in eingebettete Systeme
• Wintersemester 10/11 Formale Methoden für eingebettete Systeme
• Sommersemester 10: Einführung in eingebettete Systeme
• Wintersemester 09/10: Formale Methoden für eingebettete Systeme
• Sommersemester 09: Einführung in eingebettete Systeme

• Wintersemester 09/10: Verifikation und Programmanalyse

• Wintersemester 12/13: Praktikum Systemprogrammierung
• Wintersemester 11/12: Praktikum Systemprogrammierung
• Wintersemester 10/11: Hardwarenahe Programmierung
• Wintersemester 09/10: Hardwarenahe Programmierung

wird zurzeit überarbeitet

[BKK+13]

PDF   BIB

Biallas, S., Kamin, V., Kowalewski, S., Schlich, B., Sehestedt, S., and Stattelmann, S., "Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten", in Proc. Automation 2013, 2013 in VDI Berichte, VDI-Verlag, To appear.

Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten

Bibtex entry :

@inproceedings { BKK+13,
	author = { Biallas, Sebastian and Kamin, Volker and Kowalewski, Stefan
		and Schlich, Bastian and Sehestedt, Stephan and Stattelmann,
		Stefan },
	editor = { VDI Wissensforum },
	title = { Verifikation von sicherheitsgerichteten SPS-Programmen mit
		Hilfe von Safety-Automaten },
	booktitle = { Automation 2013 },
	series = { VDI Berichte },
	publisher = { VDI-Verlag },
	publishedas = { Druck },
	language = { ger },
	year = { 2013 },
	timestamp = { 2013.04.16 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2013 },
}

[GKKK11]

PDF   BIB

Grobosch, S., Kamin, V., Krirkkawin, K., and Kowalewski, S., "Using Timed Automata in Requirements Analysis for Engine Control Units", in Proc. 18th World Congress of the International Federation of Automatic Control (IFAC), 2011, IFAC, pp. 12503-12508.

Using Timed Automata in Requirements Analysis for Engine Control Units

Bibtex entry :

@inproceedings { GKKK11,
	author = { Grobosch, Sebastian and Kamin, Volker and Krirkkawin,
		Kriengkrai and Kowalewski, Stefan },
	title = { Using Timed Automata in Requirements Analysis for Engine
		Control Units },
	booktitle = { 18th World Congress of the International Federation of
		Automatic Control (IFAC) },
	year = { 2011 },
	pages = { 12503--12508 },
	publisher = { IFAC },
	publishedas = { Druck Online },
	url = { http://www.ifac-papersonline.net/Detailed/51577.html },
	isbn = { 978-3-902661-93-7 },
	language = { eng },
	timestamp = { 2011.10.18 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

[BKKN10]

PDF   BIB

Brauer, J., Kamin, V., Kowalewski, S., and Noll, T., "Loop Refinement using Octagons and Satisfiability", in Proc. Proceedings of the 5th international conference on Systems software verification, Berkeley, CA, USA, 2010, USENIX Association, pp. 1-9.

Loop Refinement using Octagons and Satisfiability

Bibtex entry :

@inproceedings { BKKN10,
	author = { Brauer, J{\"o}rg and Kamin, Volker and Kowalewski, Stefan
		and Noll, Thomas },
	title = { Loop Refinement using Octagons and Satisfiability },
	booktitle = { Proceedings of the 5th international conference on Systems
		software verification },
	year = { 2010 },
	location = { Vancouver, BC, Canada },
	pages = { 1--9 },
	timestamp = { 2010.07.19 },
	publisher = { USENIX Association },
	address = { Berkeley, CA, USA },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkkn10.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}