Dzafic, D., Franke, D., Baumeister, D., and Kowalewski, S., "Modifikation des A*-Algorithmus für energieeffizientes 3D-Routing", in Proc. Angewandte Geoinformatik 2013 - Beiträge zum 25. AGIT-Symposium (AGIT), 2013, Wichmann Verlag, To appear.

@inproceedings { DFBK13,
	author = { Dzafic, Dzenan and Franke, Dominik and Baumeister, Danni and
		Kowalewski, Stefan },
	title = { Modifikation des A*-Algorithmus f{\"u}r  energieeffizientes
		3D-Routing },
	booktitle = { Angewandte Geoinformatik 2013 - Beitr{\"a}ge zum 25.
		AGIT-Symposium (AGIT) },
	publisher = { Wichmann Verlag },
	publishedas = { Druck },
	language = { ger },
	year = { 2013 },
	timestamp = { 2013.05.14 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2013 },
}

Dzafic, D. and Franke, D., "Entwicklung und Evaluation eines Navigationssystems für Elektrorollstühle", in Proc. Gesellschaft für Informatik Seminars, Informatiktage, 2013, Gesellschaft für Informatik e.V., pp. 185-188.

@inproceedings { DF13,
	author = { Dzafic, Dzenan and Franke, Dominik },
	title = { Entwicklung und Evaluation eines Navigationssystems f{\"u}r
		Elektrorollst{\"u}hle },
	booktitle = { Gesellschaft f{\"u}r Informatik Seminars, Informatiktage },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. },
	publishedas = { Druck Online },
	isbn = { 978-3-88579-446-2 },
	language = { ger },
	pages = { 185--188 },
	year = { 2013 },
	timestamp = { 2013.05.06 },
	i11key = { conference },
	for_reporting_period = { 2013 },
}

Franke, D., Hempel, S., and Kowalewski, S., "Specifying Life Cycle Requirements in a Natural-like Language and ptLTL", in Proc. 8th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART), 2013, IEEE Computer Society, To appear.

@inproceedings { FHK13,
	author = { Franke, Dominik and Hempel, Stefan and Kowalewski, Stefan },
	title = { Specifying Life Cycle Requirements in a Natural-like
		Language and ptLTL },
	booktitle = { 8th Testing: Academic and Industrial Conference - Practice
		and Research Techniques (TAIC PART) },
	publisher = { IEEE Computer Society },
	publishedas = { Online },
	language = { eng },
	year = { 2013 },
	timestamp = { 2013.05.06 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2013 },
}

Hansen, N. and Franke, D., "Reverse Engineering des Windows Phone Process Execution Models", in Proc. Gesellschaft für Informatik Seminars, Informatiktage, 2013, Gesellschaft für Informatik e.V., pp. 83-86.

@inproceedings { HF13,
	author = { Hansen, Norman and Franke, Dominik },
	title = { Reverse Engineering des Windows Phone Process Execution
		Models },
	booktitle = { Gesellschaft f{\"u}r Informatik Seminars, Informatiktage },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. },
	publishedas = { Druck Online },
	isbn = { 978-3-88579-446-2 },
	language = { ger },
	pages = { 83 -- 86 },
	year = { 2013 },
	timestamp = { 2013.05.06 },
	i11key = { conference },
	for_reporting_period = { 2013 },
}

Ben Makhlouf, I., Diab, H., and Kowalewski, S., "Reachability Analysis for Managing Platoons at Intersections", in Proc. MED'13: the 21st Mediterranean Conference on Control and Automation, Chania, Crete, Greece June 25-28, 2013, To appear.

@inproceedings { BDK13,
	author = { Ben Makhlouf, Ibtissem and  Diab, Hilal and  Kowalewski,
		Stefan },
	title = { Reachability Analysis for Managing Platoons at Intersections },
	booktitle = { MED'13: the 21st Mediterranean Conference on Control and
		Automation,   Chania, Crete, Greece   June 25-28 },
	year = { 2013 },
	timestamp = { 2013.04.30 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2013 },
}

Ben Makhlouf, I., Haensch, P., and Kowalewski, S., "Comparison of Reachability Methods for Uncertain Linear Time-Invariant Systems", in Proc. ECC13: European Control Conference , Zurich, Switzerland July 17-19,, 2013, To appear.

@inproceedings { BHK13,
	author = { Ben Makhlouf,  Ibtissem and Haensch, Paul  and Kowalewski,
		Stefan },
	title = { Comparison of Reachability Methods for Uncertain Linear
		Time-Invariant Systems },
	booktitle = { ECC13: European Control Conference , Zurich, Switzerland
		July 17-19, },
	year = { 2013 },
	timestamp = { 2013.04.30 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2013 },
}

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.

@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 },
}

Walter, M., Brendle, C., Bensberg, R., Kopp, R., Arens, J., Stollenwerk, A., and Leonhardt, S., "Closed loop physiological ECMO control", in Proc. 5th European Conference of the International Federation for Medical and Biological Engineering, Heidelberg, 2011, vol. 37 in IFMBE Proceedings, Springer, pp. 319-322.

@inproceedings { WBB+11,
	location = { Budapest },
	volume = { 37 },
	address = { Heidelberg },
	month = { September },
	owner = { stollenwerk },
	author = { Walter, Marian and Brendle, Christian and Bensberg, Ralf and
		Kopp, R{\"u}dger and Arens, Jutta and Stollenwerk, Andr{\'e}
		and Leonhardt, Steffen },
	editor = { \'{A}kos Jobb\'{a}gy },
	title = { Closed loop physiological ECMO control },
	booktitle = { 5th European Conference of the International Federation for
		Medical and Biological Engineering },
	series = { IFMBE Proceedings },
	publisher = { Springer },
	publishedas = { Druck },
	isbn = { 978-3-642-23507-8 },
	language = { eng },
	pages = { 319--322 },
	year = { 2011 },
	timestamp = { 2013.02.12 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/48 },
	for_reporting_period = { 2011 },
}

Beckschulze, E., Biallas, S., and Kowalewski, S., "Static Analysis of Lockless Microcontroller C Programs", in Proc. Proceedings Seventh Conference on Systems Software Verification (SSV 2012), 2012 in EPTCS, pp. 103-114.

@inproceedings { BBK12c,
	location = { Sydney, Australia },
	author = { Beckschulze, Eva and Biallas, Sebastian and Kowalewski,
		Stefan },
	title = { Static Analysis of Lockless Microcontroller C Programs },
	booktitle = { Proceedings Seventh Conference on Systems Software
		Verification (SSV 2012) },
	series = { EPTCS },
	publisher = {  },
	publishedas = { Online },
	language = { eng },
	pages = { 103--114 },
	year = { 2012 },
	timestamp = { 2012.10.23 },
	i11key = { conference },
	url = { http://dx.doi.org/10.4204/EPTCS.102.10 },
	for_reporting_period = { 2012 },
}

Hänsch, P. and Kowalewski, S., "Invariants for LTI Systems with Uncertain Input", in Proc. Reachability Problems, 2012, Springer, pp. 137-148.

@inproceedings { HK12,
	author = { H{\"a}nsch, Paul and Kowalewski, Stefan },
	title = { Invariants for LTI Systems with Uncertain Input },
	booktitle = { Reachability Problems },
	publisher = { Springer },
	publishedas = { Druck Online },
	isbn = { 978-3-642-33511-2 },
	language = { eng },
	pages = { 137--148 },
	year = { 2012 },
	timestamp = { 2012.10.05 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Merschen, D., Duhr, Y., Hedenetz, B., and Kowalewski, S., "Evolutionsunterstützung für komplexe, modellbasierte Software-Produktlinien", in Proc. Embedded-Software-Engineering-Kongress (ESE), 2012, ELEKTRONIKPRAXIS und MicroConsult, pp. 65-71.

@inproceedings { MDHK12,
	author = { Merschen, Daniel and Duhr, Yves and Hedenetz, Bernd and
		Kowalewski, Stefan },
	title = { Evolutionsunterst{\"u}tzung f{\"u}r komplexe, modellbasierte
		Software-Produktlinien },
	booktitle = { Embedded-Software-Engineering-Kongress (ESE) },
	publisher = { ELEKTRONIKPRAXIS und MicroConsult },
	publishedas = { Druck Online },
	isbn = { 978-3-8343-2407-8 },
	language = { ger },
	pages = { 65--71 },
	year = { 2012 },
	timestamp = { 2012.10.05 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Barakat, K. and Kowalewski, S., "Modeling and Verification of Network Protocol Specs using Timed Pi-Calculus", in Proc. The 4th International Workshop on Mobile Computing and Networking Technologies 2012 (WMCNT-2012), Saint-Petersburg, Russia, 2012, IEEE Press, pp. 735-742, To appear.

@inproceedings { BK12,
	address = { Saint-Petersburg, Russia },
	author = { Barakat, Kamal and  Kowalewski, Stefan },
	title = { Modeling and Verification of Network Protocol Specs using
		Timed {Pi-Calculus} },
	booktitle = { The 4th International Workshop on Mobile Computing and
		Networking Technologies 2012 (WMCNT-2012) },
	publisher = { IEEE Press },
	publishedas = { Online },
	language = { eng },
	pages = { 735--742 },
	year = { 2012 },
	timestamp = { 2012.09.24 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2012 },
}

Biallas, S., Brauer, J., and Kowalewski, S., "Arcade.PLC: A Verification Platform for Programmable Logic Controllers", in Proc. Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012 in ASE 2012, ACM, pp. 338-341.

@inproceedings { BBK12b,
	author = { Biallas, Sebastian and Brauer, J{\"o}rg and Kowalewski,
		Stefan },
	title = { {Arcade.PLC}: A Verification Platform for Programmable Logic
		Controllers },
	booktitle = { Proceedings of the 27th IEEE/ACM International Conference on
		Automated Software Engineering },
	series = { ASE 2012 },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-1204-2 },
	language = { eng },
	pages = { 338--341 },
	year = { 2012 },
	timestamp = { 2012.09.16 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/3w },
	for_reporting_period = { 2012 },
}

Franke, D., Royé, T., and Kowalewski, S., "AndroLIFT: A Tool for Android Application Life Cycles", in Proc. 4th International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2012, Xpert, pp. 28-33.

@inproceedings { FRK12,
	author = { Franke, Dominik and Roy{\'e}, Tobias and Kowalewski, Stefan },
	title = { AndroLIFT: A Tool for Android Application Life Cycles },
	booktitle = { 4th International Conference on Advances in System Testing
		and Validation Lifecycle (VALID) },
	publisher = { Xpert },
	publishedas = { Online },
	isbn = { 978-1-61208-233-2 },
	language = { eng },
	pages = { 28 -- 33 },
	year = { 2012 },
	timestamp = { 2012.09.11 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Brauer, J., King, A., and Kowalewski, S., "Abstract Interpretation of Microcontroller Code: Intervals meet Congruences", Science of Computer Programming, vol. 77, 2012, To appear

@article { BKK12,
	month = { July },
	doi = { 10.1016/j.scico.2012.06.001 },
	author = { Brauer, J{\"o}rg and King, Andy and Kowalewski, Stefan },
	title = { Abstract {I}nterpretation of {M}icrocontroller {C}ode:
		{I}ntervals meet {C}ongruences },
	journal = { Science of Computer Programming },
	year = { 2012 },
	volume = { 77 },
	publisher = { Elsevier },
	publishedas = { Online Druck },
	issn = { 0167-6423 },
	i11key = { journal },
	language = { eng },
	url = { http://www.sciencedirect.com/science/article/pii/S0167642312001116" },
	note = { To appear },
	timestamp = { 2012.09.06 },
	for_reporting_period = { 2012 },
}

Merschen, D., Gleis, R., Pott, J., and Kowalewski, S., "Analysis of Simulink Models Using Databases and Model Transformations", in Proc. 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES '12), 2012, To appear.

@inproceedings { MGPK12,
	location = { Essen, Germany },
	author = { Merschen, Daniel and Gleis, Robert and Pott, Julian and
		Kowalewski, Stefan },
	title = { Analysis of Simulink Models Using Databases and Model
		Transformations },
	booktitle = { 8th International Workshop on Model-based Methodologies for
		Pervasive and Embedded Software (MOMPES '12) },
	publishedas = { Druck Online },
	language = { ger },
	year = { 2012 },
	timestamp = { 2012.09.06 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2012 },
}

Kalkov, I., Franke, D., Schommer, J. F., and Kowalewski, S., "A Real-time Extension to the Android Platform", in Proc. 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), 2012, ACM, pp. 105-114.

@inproceedings { KFSK12,
	location = { Copenhagen, Denmark },
	author = { Kalkov, Igor and Franke, Dominik and Schommer, John F. and
		Kowalewski, Stefan },
	title = { A Real-time Extension to the Android Platform },
	booktitle = { 10th International Workshop on Java Technologies for
		Real-time and Embedded Systems (JTRES) },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-1688-0 },
	language = { eng },
	pages = { 105 -- 114 },
	year = { 2012 },
	timestamp = { 2012.08.13 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Biallas, S., Kowalewski, S., and Schlich, B., "Automatische Wertebereichsanalyse -- Formale Verifikation für SPS-Programme", Automatisierungstechnische Praxis (atp EDITION), 54. Jahrgang, 7-8/2012, pp. 68-74, 2012

@article { BKS12c,
	author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich,
		Bastian },
	title = { Automatische Wertebereichsanalyse -- Formale Verifikation
		f{\"u}r SPS-Programme },
	journal = { Automatisierungstechnische Praxis (atp EDITION), 54.
		Jahrgang, 7-8/2012 },
	year = { 2012 },
	pages = { 68--74 },
	publisher = { Oldenbourg Industrieverlag },
	publishedas = { Druck },
	issn = { 2190-4111 },
	i11key = { journal },
	language = { ger },
	timestamp = { 2012.08.02 },
	for_reporting_period = { 2012 },
}

Diab, H., Ben Makhlouf, I., and Kowalewski, S., "A Platoon of Vehicles Approaching an Intersection: A Testing Platform for Safe Intersections", in Proc. 15th IEEE Intelligent Transportation Systems Conference, 2012, IEEE, pp. 1918-1923.

@inproceedings { DBK12,
	doi = { 10.1109/ITSC.2012.6338822 },
	author = { Diab, Hilal and Ben Makhlouf, Ibtissem and Kowalewski,
		Stefan },
	title = { A Platoon of Vehicles Approaching an Intersection: A Testing
		Platform for Safe Intersections },
	booktitle = { 15th IEEE Intelligent Transportation Systems Conference },
	publisher = { IEEE },
	publishedas = { Druck Online },
	issn = { 2153-0009 },
	language = { eng },
	pages = { 1918--1923 },
	year = { 2012 },
	timestamp = { 2012.07.20 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Beckschulze, E., Brauer, J., and Kowalewski, S., "Access-Based Localization for Octagons", Electronic Notes in Theoretical Computer Science, pp. 29-40, 2012, Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012

@article { BBK12a,
	booktitle = { The Fourth International Workshop on Numerical and Symbolic
		Abstract Domains (NSAD 2012) },
	author = { Beckschulze, Eva and Brauer, J{\"o}rg and Kowalewski, Stefan },
	title = { Access-Based Localization for Octagons },
	journal = { Electronic Notes in Theoretical Computer Science },
	year = { 2012 },
	pages = { 29--40 },
	publisher = { Elsevier },
	publishedas = { Online },
	issn = { 1571-0661 },
	i11key = { journal },
	language = { eng },
	url = { http://www.sciencedirect.com/science/article/pii/S1571066112000564 },
	note = { Proceedings of the Fourth International Workshop on
		Numerical and Symbolic Abstract Domains, NSAD 2012 },
	timestamp = { 2012.07.17 },
	for_reporting_period = { 2012 },
}

Franke, D., Elsemann, C., and Kowalewski, S., "Reverse Engineering and Testing Service Life Cycles of Mobile Platforms", in Proc. 2nd DEXA Workshop on Information Systems for Situation Awareness and Situation Management (ISSASiM), 2012, IEEE Computer Society, pp. 16-20.

@inproceedings { FEK12,
	author = { Franke, Dominik and Elsemann, Corinna and Kowalewski, Stefan },
	title = { Reverse Engineering and Testing Service Life Cycles of
		Mobile Platforms },
	booktitle = { 2nd DEXA Workshop on Information Systems for Situation
		Awareness and Situation Management (ISSASiM) },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-0-7695-4801-2 },
	language = { eng },
	pages = { 16 -- 20 },
	year = { 2012 },
	timestamp = { 2012.07.13 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Barakat, K., Kowalewski, S., and Noll, T., "A Native Approach to Modeling Timed Behavior in the Pi-Calculus", in Proc. 6th International Symposium on Theoretical Aspects of Software Engineering, 2012, IEEE Computer Society, pp. 253-256.

@inproceedings { BKN12,
	author = { Barakat, Kamal and Kowalewski, Stefan and Noll, Thomas },
	title = { A Native Approach to Modeling Timed Behavior in the
		Pi-Calculus },
	booktitle = { 6th International Symposium on Theoretical Aspects of
		Software Engineering },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-0-7695-4751-0 },
	language = { eng },
	pages = { 253--256 },
	year = { 2012 },
	timestamp = { 2012.07.11 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Franke, D., Dzafic, D., Baumeister, D., and Kowalewski, S., "Energieeffizientes Routing für Elektrorollstühle", in Proc. 13. Aachener Kolloquium Mobilität und Stadt (AMUS/ACMOTE), 2012, RWTH Aachen, pp. 65-68.

@inproceedings { FDBK12,
	author = { Franke, Dominik and Dzafic, Dzenan and Baumeister, Danni and
		Kowalewski, Stefan },
	title = { Energieeffizientes Routing f{\"u}r Elektrorollst{\"u}hle },
	booktitle = { 13. Aachener Kolloquium Mobilit{\"a}t und Stadt
		(AMUS/ACMOTE) },
	publisher = { RWTH Aachen },
	publishedas = { Online },
	isbn = { 978-3-88354-164-8 },
	language = { ger },
	pages = { 65 -- 68 },
	year = { 2012 },
	timestamp = { 2012.07.09 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Franke, D., Schommer, J., and Kowalewski, S., "Softwarequalität in der Mobilen Welt: Testen von Lebenszyklen Mobiler Applikationen", in Proc. Embedded Software Engineering Kongress (ESE), 2012, ELEKTRONIKPRAXIS, pp. 478-482.

@inproceedings { FSK12,
	author = { Franke, Dominik and Schommer, John and Kowalewski, Stefan },
	title = { Softwarequalit{\"a}t in der Mobilen Welt: Testen von
		Lebenszyklen Mobiler Applikationen },
	booktitle = { Embedded Software Engineering Kongress (ESE) },
	publisher = { ELEKTRONIKPRAXIS },
	publishedas = { Druck Online },
	isbn = { 978-3-8343-2407-8 },
	language = { ger },
	pages = { 478 -- 482 },
	year = { 2012 },
	timestamp = { 2012.07.09 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Walter, M., Brendle, C., Stollenwerk, A., Kopp, R., Arens, J., Bensberg, R., and Leonhardt, S., "Patient oriented closed loop control of extracorporeal lung assist", in Proc. Journal of Critical Care, 2012, Elsevier, p. e8-e9.

@inproceedings { WBS+12,
	doi = { 10.1016/j.jcrc.2012.10.032 },
	author = { Walter, Marian and Brendle, Christian and Stollenwerk, Andre
		and Kopp, R{\"u}dger and Arens, Jutta and Bensberg, Ralf and
		Leonhardt, Steffen },
	title = { Patient oriented closed loop control of extracorporeal lung
		assist },
	booktitle = { Journal of Critical Care },
	publisher = { Elsevier },
	publishedas = { Druck Online },
	issn = { 0883-9441 },
	language = { eng },
	pages = { e8-e9 },
	year = { 2012 },
	timestamp = { 2012.07.05 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/4g },
	for_reporting_period = { 2012 },
}

Kowalewski, S., Rumpe, B., and Stollenwerk, A., "Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik?", in Proc. Automation 2012, 2012 in VDI Berichte, VDI-Verlag, pp. 113-116, Langfassung auf CD-Rom.

@inproceedings { KRS12,
	author = { Kowalewski, Stefan and Rumpe, Bernhard and Stollenwerk,
		Andre },
	editor = { VDI Wissensforum },
	title = { Cyber-Physical Systems - eine Herausforderung an die
		Automatisierungstechnik? },
	booktitle = { Automation 2012 },
	series = { VDI Berichte },
	publisher = { VDI-Verlag },
	publishedas = { Druck },
	isbn = { 978-3-18-092171-6 },
	language = { ger },
	pages = { 113--116 },
	year = { 2012 },
	timestamp = { 2012.06.29 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/4h },
	note = { Langfassung auf CD-Rom },
	for_reporting_period = { 2012 },
}

Biallas, S., Kowalewski, S., and Schlich, B., "Range and Value-Set Analysis for Programmable Logic Controllers", in Proc. Proceedings of the 11th International Workshop on Discrete Event Systems, Guadalajara, Mexico, 2012, IFAC, pp. 378-383.

@inproceedings { BKS12b,
	address = { Guadalajara, Mexico },
	author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich,
		Bastian },
	title = { Range and Value-Set Analysis for Programmable Logic
		Controllers },
	booktitle = { Proceedings of the 11th International Workshop on Discrete
		Event Systems },
	publisher = { IFAC },
	publishedas = { Druck Online },
	isbn = { 978-3-902823-28-1 },
	language = { eng },
	pages = { 378--383 },
	year = { 2012 },
	timestamp = { 2012.06.26 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/3x },
	for_reporting_period = { 2012 },
}

Franke, D., Kowalewski, S., and Weise, C., "A Mobile Software Quality Model", in Proc. 12th International Conference on Quality Software (QSIC), 2012, IEEE Computer Society, pp. 154-157.

@inproceedings { FKW12,
	author = { Franke, Dominik and Kowalewski, Stefan and Weise, Carsten },
	title = { A Mobile Software Quality Model },
	booktitle = { 12th International Conference on Quality Software (QSIC) },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-1-4673-2857-9 },
	language = { eng },
	pages = { 154 -- 157 },
	year = { 2012 },
	timestamp = { 2012.06.18 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Gathmann, F., Dernehl, C., Franke, D., and Kowalewski, S., "An integrated vision aided GPS/INS Navigation System for ultra-low-cost MAVs", in Proc. International Micro Air Vehicle Conference (IMAV), 2012, IMAV, pp. 1-8.

@inproceedings { GDFK12,
	author = { Gathmann, Felix and Dernehl, Christian and Franke, Dominik
		and Kowalewski, Stefan },
	title = { An integrated vision aided GPS/INS Navigation System for
		ultra-low-cost MAVs },
	booktitle = { International Micro Air Vehicle Conference (IMAV) },
	publisher = { IMAV },
	publishedas = { Online },
	language = { eng },
	pages = { 1 -- 8 },
	year = { 2012 },
	timestamp = { 2012.06.06 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Biallas, S., Brauer, J., King, A., and Kowalewski, S., "Loop Leaping with Closures", in Proc. 19th Static Analysis Symposium, 2012 in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 214-230, To appear.

@inproceedings { BBKK12,
	author = { Biallas, Sebastian and Brauer, J{\"o}rg and King, Andy and
		Kowalewski, Stefan },
	editor = { Min{\'e}, Antoine and Schmidt, David },
	title = { Loop Leaping with Closures },
	booktitle = { 19th Static Analysis Symposium },
	series = { Lecture Notes in Computer Science },
	publisher = { Springer Berlin Heidelberg },
	publishedas = { Druck Online },
	isbn = { 978-3-642-33124-4 },
	language = { eng },
	pages = { 214--230 },
	year = { 2012 },
	timestamp = { 2012.05.22 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2012 },
}

Merschen, D., Pott, J., and Kowalewski, S., "Integration and Analysis of Design Artefacts in Embedded Software Development", in Proc. The 1st IEEE International Workshop on Tools in Embedded Systems Design Process (TIP '12), Izmir, Turkey, 2012, IEEE, pp. 503-508.

@inproceedings { MPK12,
	author = { Merschen, Daniel and Pott, Julian and Kowalewski, Stefan },
	title = { Integration and Analysis of Design Artefacts in Embedded
		Software Development },
	booktitle = { The 1st IEEE International Workshop on Tools in Embedded
		Systems Design Process (TIP '12), Izmir, Turkey },
	publisher = { IEEE },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 503--508 },
	year = { 2012 },
	timestamp = { 2012.05.15 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Schommer, J. F., Franke, D., Lange, T., and Kowalewski, S., "Load Balancing for Cross Layer Communication", in Proc. 36th Computer Software and Applications Conference Workshops (COMPSACW), 2012, IEEE Computer Society, pp. 476-481.

@inproceedings { SFLK12,
	author = { Schommer, John F. and Franke, Dominik and Lange, Tim and
		Kowalewski, Stefan },
	title = { Load Balancing for Cross Layer Communication },
	booktitle = { 36th Computer Software and Applications Conference Workshops
		(COMPSACW) },
	publisher = { IEEE Computer Society },
	publishedas = { Druck },
	isbn = { 978-1-4673-2714-5 },
	language = { eng },
	pages = { 476--481 },
	year = { 2012 },
	timestamp = { 2012.05.15 },
	i11key = { conference },
	for_reporting_period = { 2012 },
}

Biallas, S., Kowalewski, S., and Schlich, B., "Automatische Wertebereichsanalyse von SPS-Programmen", in Proc. AUTOMATION 2012, Baden-Baden, Germany, Düsseldorf, 2012 in VDI-Berichte, VDI-Verlag, pp. 79-83, Long version (12 pages) on CD-ROM.

@inproceedings { BKS12a,
	address = { D{\"u}sseldorf },
	author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich,
		Bastian },
	title = { Automatische Wertebereichsanalyse von SPS-Programmen },
	booktitle = { AUTOMATION 2012, Baden-Baden, Germany },
	publisher = { VDI-Verlag },
	publishedas = { Druck },
	series = { VDI-Berichte },
	number = { 2171 },
	isbn = { 978-3-18-092171-6 },
	language = { ger },
	pages = { 79--83 },
	year = { 2012 },
	timestamp = { 2012.04.20 },
	i11key = { conference },
	for_reporting_period = { 2012 },
	note = { Long version (12 pages) on CD-ROM },
}

Ben Makhlouf, I., Diab, H., and Kowalewski, S., "Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes", in Proc. ADHS 2012, Eindhoven, NL, 2012, Inproceeding of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), pp. 333-338.

@inproceedings { BDK12,
	author = { Ben Makhlouf, Ibtissem and Diab, Hilal and Kowalewski,
		Stefan },
	title = { Safety Verification of a Controlled Cooperative Platoon
		Under Loss of Communication Using Zonotopes },
	booktitle = { ADHS 2012, Eindhoven, NL },
	publisher = { Inproceeding of the 4th IFAC Conference on Analysis and
		Design of Hybrid Systems (ADHS 12) },
	publishedas = { Druck Online },
	isbn = { 978-3-902823-00-7 },
	language = { eng },
	pages = { 333--338 },
	year = { 2012 },
	timestamp = { 2012.02.28 },
	i11key = { conference },
	url = { http://www.ifac-papersonline.net/Detailed/52753.html },
	for_reporting_period = { 2012 },
}

Hänsch, P., Diab, H., Ben Makhlouf, I., and Kowalewski, S., "Reachability Analysis of Linear Systems with Stepwise Constant Inputs", in Proc. 1st ETAPS Workshop on "Hybrid Autonomous Systems" (HAS 2011), 2012, Elsevier, To appear.

@inproceedings { HDBK12,
	author = { Hänsch, Paul and Diab, Hilal and Ben Makhlouf, Ibtissem and
		Kowalewski, Stefan },
	title = { Reachability Analysis of Linear Systems with Stepwise
		Constant Inputs },
	booktitle = { 1st ETAPS Workshop on "Hybrid Autonomous Systems" (HAS 2011) },
	publisher = { Elsevier },
	language = { eng },
	year = { 2012 },
	timestamp = { 2012.02.13 },
	i11key = { conference },
	note = { To appear },
	for_reporting_period = { 2012 },
}

Brauer, J. and Simon, A., "Inferring Definite Counterexamples Through Under-Approximation", in Proc. NASA Formal Methods, 2012, vol. 7226 in Lecture Notes in Computer Science, Springer, pp. 54-69.

@inproceedings { BS12,
	author = { Brauer, J{\"o}rg and Simon, Axel },
	title = { Inferring Definite Counterexamples Through
		Under-Approximation },
	booktitle = { NASA Formal Methods },
	year = { 2012 },
	series = { Lecture Notes in Computer Science },
	publisher = { Springer },
	publishedas = { Druck },
	language = { eng },
	volume = { 7226 },
	isbn = { 978-3-642-28890-6 },
	pages = { 54--69 },
	timestamp = { 2012.01.24 },
	i11key = { conference },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bs12.pdf },
	for_reporting_period = { 2012 },
}

Mitsching, R., Weise, C., and Kowalewski, S., "Design Patterns for Integrating Variability in Timed Automata", in Proc. 4th IEEE International Conference on Secure Software Integration and Reliability, 2010, IEEE Computer Society, pp. 38-45.

@inproceedings { MWK10,
	doi = { http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.21 },
	author = { Mitsching, Ralf and Weise, Carsten and Kowalewski, Stefan },
	title = { Design Patterns for Integrating Variability in Timed
		Automata },
	booktitle = { 4th IEEE International Conference on Secure Software
		Integration and Reliability },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-0-7695-4087-0 },
	language = { eng },
	pages = { 38--45 },
	year = { 2010 },
	timestamp = { 2012.01.24 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Michailidis, A., Hedenetz, B., Ringler, T., and Kowalewski, S., "Virtuelle Integration von vernetzten Funktionen in frühen Entwicklungsphasen", in Proc. 28. Tagung Elektronik im Kraftfahrzeug, 2008, EXPERT-VERLAG, pp. 151-167.

@inproceedings { MHRK08,
	author = { Michailidis, Alexander and Hedenetz, Bernd and Ringler,
		Thomas and Kowalewski, Stefan },
	title = { Virtuelle Integration von vernetzten Funktionen in frühen
		Entwicklungsphasen },
	booktitle = { 28. Tagung Elektronik im Kraftfahrzeug },
	publisher = { EXPERT-VERLAG },
	publishedas = { Druck },
	isbn = { 978-3-8169-2819-5 },
	language = { ger },
	pages = { 151--167 },
	year = { 2008 },
	timestamp = { 2012.01.16 },
	i11key = { conference },
	for_reporting_period = { 2008 },
}

Michailidis, A., Ringler, T., Hedenetz, B., and Kowalewski, S., "Virtuelle Integration modellbasierter Fahrzeugfunktionen unter AUTOSAR", ATZelektronik, vol. 1, pp. 32-37, 2010

@article { MRHK10,
	author = { Michailidis, Alexander and Ringler, Thomas and Hedenetz,
		Bernd and Kowalewski, Stefan },
	title = { Virtuelle Integration modellbasierter Fahrzeugfunktionen
		unter AUTOSAR },
	journal = { ATZelektronik },
	year = { 2010 },
	volume = { 1 },
	pages = { 32--37 },
	publisher = { Springer Vieweg },
	publishedas = { Druck },
	issn = { 1862-1791 },
	i11key = { journal },
	language = { ger },
	timestamp = { 2012.01.16 },
	for_reporting_period = { 2010 },
}

Michailidis, A., Spieth, U., Hedenetz, B., Ringler, T., and Kowalewski, S., "Test Front Loading in Early Stages of Automotive Software Development Based on AUTOSAR", in Proc. Design, Automation and Test in Europe (DATE) Conference, 2010, European Design and Automation Association, pp. 435-440.

@inproceedings { MSH+10,
	author = { Michailidis, Alexander and Spieth, Uwe and Hedenetz, Bernd
		and Ringler, Thomas and Kowalewski, Stefan },
	title = { Test Front Loading in Early Stages of Automotive Software
		Development Based on AUTOSAR },
	booktitle = { Design, Automation and Test in Europe (DATE) Conference },
	publisher = { European Design and Automation Association },
	publishedas = { Druck Online },
	isbn = { 978-3-9810801-6-2 },
	language = { eng },
	pages = { 435--440 },
	year = { 2010 },
	timestamp = { 2012.01.16 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Franke, D., Kowalewski, S., Weise, C., and Prakobkosol, N., "Testing Conformance of Lifecycle-Dependent Properties of Mobile Applications", in Proc. 5th International Conference on Software Testing, Verification and Validation (ICST), 2012, IEEE Computer Society, pp. 241-250.

@inproceedings { FKWP12,
	author = { Franke, Dominik and Kowalewski, Stefan and Weise, Carsten
		and Prakobkosol, Nath },
	title = { Testing Conformance of Lifecycle-Dependent Properties of
		Mobile Applications },
	booktitle = { 5th International Conference on Software Testing,
		Verification and Validation (ICST) },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-0-7695-4670-4 },
	language = { eng },
	pages = { 241--250 },
	year = { 2012 },
	timestamp = { 2012.01.12 },
	i11key = { conference },
	url = { http://doi.ieeecomputersociety.org/10.1109/ICST.2012.104 },
	for_reporting_period = { 2012 },
}

Michailidis, A., "Konzepte für eine virtuelle Integration von AUTOSAR-konformer Fahrzeug-Software in frühen Entwicklungsphasen," PhD Thesis , 2012.

@phdthesis { MIC12,
	isbn = { 978-3-8440-0761-9 },
	owner = { Alexander Michailidis },
	author = { Michailidis, Alexander },
	title = { Konzepte für eine virtuelle Integration von
		AUTOSAR-konformer Fahrzeug-Software in frühen
		Entwicklungsphasen },
	school = { Embedded Software Laboratory - RWTH Aachen University },
	type = { Dissertation },
	year = { 2012 },
	month = { Februar },
	i11key = { thesis },
	url = { http://www.shaker.de/shop/978-3-8440-0761-9 },
	for_reporting_period = { 2012 },
}

Merschen, D., Duhr, Y., Ringler, T., Hedenetz, B., and Kowalewski, S., "Model-Based Analysis of Design Artefacts Applying an Annotation Concept", in Proc. Software Engineering 2012 (SE 2012), 2012, Gesellschaft für Informatik e.V. (GI), pp. 169-180.

@inproceedings { MDR+12,
	month = { March },
	location = { Berlin, Germany },
	owner = { merschen },
	author = { Merschen, Daniel and Duhr, Yves and Ringler, Thomas and
		Hedenetz, Bernd and Kowalewski, Stefan },
	editor = { J\"{a}hnichen, Stefan and K\"{u}pper, Axel and Albayrak,
		Sahin },
	title = { Model-Based Analysis of Design Artefacts Applying an
		Annotation Concept },
	booktitle = { Software Engineering 2012 (SE 2012) },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. (GI) },
	publishedas = { Druck Online },
	isbn = { 978-3-88579-292-5 },
	issn = { 1617-5468 },
	language = { eng },
	pages = { 169 -- 180 },
	year = { 2012 },
	timestamp = { 2011.12.20 },
	i11key = { conference },
	url = { http://publikationen.embedded.rwth-aachen.de/file/3b },
	for_reporting_period = { 2012 },
}

Brauer, J., Roveri, M., and Tews, H., Eds., Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011)TU Dresden (published as technical report), 2011.

@proceedings { BRT11,
	editor = { Brauer, J{\"o}rg and Roveri, Marco and Tews, Hendrik },
	title = { Proceedings of the 6th International Workshop on Systems
		Software Verification (SSV 2011) },
	publisher = { TU Dresden (published as technical report) },
	isbn = { 978-3-642-19717-8 },
	year = { 2011 },
	timestamp = { 2011.12.14 },
	i11key = { editor },
	url = { https://es.fbk.eu/events/ssv2011/papers/proceedings.pdf },
	for_reporting_period = { 2011 },
}

Reinbacher, T., Brauer, J., Schachinger, D., Steininger, A., and Kowalewski, S., "Automated Test-Trace Inspection for Microcontroller Binary Code", in Proc. RV, 2011, Springer, pp. 239-244.

@inproceedings { RBS+11,
	author = { Reinbacher, Thomas and Brauer, J{\"o}rg and Schachinger,
		Daniel and Steininger, Andreas and Kowalewski, Stefan },
	title = { Automated Test-Trace Inspection for Microcontroller Binary
		Code },
	booktitle = { RV },
	publisher = { Springer },
	publishedas = { Druck },
	isbn = { 978-3-642-29859-2 },
	language = { eng },
	pages = { 239--244 },
	year = { 2011 },
	timestamp = { 2011.12.14 },
	i11key = { conference },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbs11.pdf },
	for_reporting_period = { 2011 },
}

Maschuw, J. P., Diab, H., Abel, D., and Kowalewski, S., "Control Design for Generalized Platoon Problems", at – Automatisierungstechnik, vol. 59, iss. 12, pp. 721-729, 2011

@article { MDAK11,
	owner = { diab },
	doi = { 10.1524/auto2011.0965 },
	month = { December },
	number = { 12 },
	author = { Maschuw, Jan Philipp and Diab, Hilal and Abel, Dirk and
		Kowalewski, Stefan },
	title = { Control Design for Generalized Platoon Problems },
	journal = { at – Automatisierungstechnik },
	year = { 2011 },
	volume = { 59 },
	pages = { 721--729 },
	publisher = { Oldenbourg Wissenschaftsverlag },
	publishedas = { Online Druck },
	issn = { 0178-2312 },
	i11key = { journal },
	language = { eng },
	timestamp = { 2011.10.19 },
	for_reporting_period = { 2011 },
}

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.

@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 },
}

Barakat, K., "Introducing Timers to Pi-Calculus", RWTH Aachen, AIB-2011-18, 2011.

@techreport { BAR11,
	author = { Barakat, Kamal },
	institution = { RWTH Aachen },
	number = { AIB-2011-18 },
	title = { Introducing Timers to Pi-Calculus },
	url = { http://aib.informatik.rwth-aachen.de/2011/2011-18.ps.gz },
	year = { 2011 },
	pages = { 31 },
	keywords = { formal models, domain specific languages, congruence and
		bisimulation, communicating processes },
	month = { aug },
	timestamp = { 2011.10.15 },
	for_reporting_period = { 2011 },
}

Kopp, R., Bensberg, R., Arens, J., Steinseifer, U., Schmitz-Rode, T., Rossaint, R., and Henzler, D., "A Miniaturized Extracorporeal Membrane Oxygenator with Integrated Rotary Blood Pump: Preclinical In Vivo Testing", in Proc. ASAIO Journal, 2011, vol. 57, Wolters Kluwer, pp. 158-163.

@inproceedings { KBA+11,
	author = { Kopp, R{\"u}dger and Bensberg, Ralf and Arens, Jutta and
		Steinseifer, Ulrich and Schmitz-Rode, Thomas and Rossaint,
		Rolf and Henzler, Dietrich },
	title = { A Miniaturized Extracorporeal Membrane Oxygenator with
		Integrated Rotary Blood Pump: Preclinical In Vivo Testing },
	booktitle = { ASAIO Journal },
	year = { 2011 },
	volume = { 57 },
	number = { 3 },
	pages = { 158-163 },
	month = { May/June },
	organization = { ASAIO },
	publisher = { Wolters Kluwer },
	doi = { 10.1097/MAT.0b013e31820bffa9 },
	for_reporting_period = { old },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	issn = { 1058-2916 },
	language = { eng },
	location = { Berlin },
	owner = { stollenwerk },
	publishedas = { Druck Online },
	timestamp = { 2011.10.05 },
	url = { http://journals.lww.com/asaiojournal/Abstract/2011/05000/A_Miniaturized_Extracorporeal_Membrane_Oxygenator.3.aspx },
}

Kopp, R., Bensberg, R., Walter, M., Stollenwerk, A., Arens, J., and Rossaint, R., "Automation of extracorporeal membrane oxygenation using a combined safety and control concept", in Proc. Intensive Care Medicine, 2011, vol. 37, Springer, p. 230.

@inproceedings { KBW+11,
	volume = { 37 },
	location = { Berlin },
	month = { October },
	organization = { ECSIM },
	doi = { 10.1007/s00134-011-2322-1 },
	owner = { stollenwerk },
	author = { Kopp, R{\"u}dger and Bensberg, Ralf and Walter, Marian and
		Stollenwerk, Andr{\'e} and Arens, Jutta and Rossaint, Rolf },
	title = { Automation of extracorporeal membrane oxygenation using a
		combined safety and control concept },
	booktitle = { Intensive Care Medicine },
	number = { Supplement 2 },
	publisher = { Springer },
	publishedas = { Druck Online },
	issn = { 1432-1238 },
	language = { eng },
	pages = { 230 },
	year = { 2011 },
	timestamp = { 2011.10.05 },
	i11key = { conference },
	url = { http://www.springerlink.com/content/m0xth64u3885w270/ },
	for_reporting_period = { 2011 },
}

Polzer, A., Merschen, D., Botterweck, G., Pleuss, A., Thomas, J., Hedenetz, B., and Kowalewski, S., "Managing Complexity and Variability of a Model-based Embedded Software Product Line", Innovations in Systems and Software Engineering (ISSE), vol. 8, pp. 35-49, 2011

@article { PMB+11,
	issue = { 1 },
	author = { Polzer, Andreas and Merschen, Daniel and Botterweck, Goetz
		and Pleuss, Andreas and Thomas, Jacques and Hedenetz, Bernd
		and Kowalewski, Stefan },
	title = { Managing Complexity and Variability of a Model-based
		Embedded Software Product Line },
	journal = { Innovations in Systems and Software Engineering (ISSE) },
	year = { 2011 },
	volume = { 8 },
	pages = { 35--49 },
	publisher = { Springer London },
	publishedas = { Druck },
	issn = { 1614-5054 },
	i11key = { journal },
	language = { eng },
	url = { http://dx.doi.org/10.1007/s11334-011-0174-z },
	timestamp = { 2011.09.27 },
	for_reporting_period = { 2011 },
}

Walter, M., Brendle, C., Arens, J., Stollenwerk, A., and Kopp, R., Bensberg, R., and Leonhardt, S., "Physiological target control in long term extracorporeal oxygenation", in Proc. 38. Congress of the European Society for Artificial Organs(ESAO 2011) and 4. Biennial Congress of the InternationalFederation on Artificial Organs (IFAO 2011) - (TheInternational Journal of Artificial Organs), 2011, vol. 34 in 2011, Wichtig Editore, p. 625.

@inproceedings { WBA+11,
	volume = { 34 },
	month = { August },
	organization = { European Society for Artificial Organs (ESAO) },
	doi = { DOI 10.5301/IJAO.2011.8701 },
	location = { Porto },
	author = { Walter, Marian and Brendle, Christian and Arens, Jutta and
		Stollenwerk, Andre and and Kopp, R{\"u}dger and Bensberg,
		Ralf and Leonhardt, Steffen },
	editor = { Rui L. Reis },
	title = { Physiological target control in long term extracorporeal
		oxygenation },
	booktitle = { 38. Congress of the European Society for Artificial
		Organs(ESAO 2011) and 4. Biennial Congress of the
		InternationalFederation on Artificial Organs (IFAO 2011) -
		(TheInternational Journal of Artificial Organs) },
	series = { 2011 },
	publisher = { Wichtig Editore },
	publishedas = { Druck Online },
	issn = { 0391-3988 },
	language = { eng },
	pages = { 625 },
	year = { 2011 },
	timestamp = { 2011.08.24 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/48 },
	for_reporting_period = { 2011 },
}

Franke, D., Elsemann, C., Weise, C., and Kowalewski, S., "Reverse Engineering of Mobile Application Lifecycles", in Proc. 18th Working Conference on Reverse Engineering (WCRE), 2011, IEEE Computer Society, pp. 283-292.

@inproceedings { FEWK11,
	location = { Lero, Limerick, Ireland },
	author = { Franke, Dominik and Elsemann, Corinna and Weise, Carsten and
		Kowalewski, Stefan },
	title = { Reverse Engineering of Mobile Application Lifecycles },
	booktitle = { 18th Working Conference on Reverse Engineering (WCRE) },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-1-4577-1948-6 },
	language = { eng },
	pages = { 283 -- 292 },
	year = { 2011 },
	timestamp = { 2011.08.08 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Hänsch, P., Schommer, J. F., and Kowalewski, S., "Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students", in Proc. Intelligent Robotics and Applications (ICIRA 2011), 2011, Springer, pp. 297-306.

@inproceedings { HSK11,
	author = { H{\"a}nsch, Paul and Schommer, John F. and Kowalewski,
		Stefan },
	title = { Self-balancing Controllable Robots in Education: A Practical
		Course for Bachelor Students },
	booktitle = { Intelligent Robotics and Applications (ICIRA 2011) },
	publisher = { Springer },
	publishedas = { Druck },
	isbn = { 978-3-642-25488-8 },
	issn = { 0302-9743 },
	language = { eng },
	pages = { 297--306 },
	year = { 2011 },
	timestamp = { 2011.08.04 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Dernehl, C., Franke, D., Diab, H., and Kowalewski, S., "An Architecture with Integrated Image Processing for Autonomous Micro Aerial Vehicles", in Proc. International Micro Air Vehicle Conference (IMAV), 2011, IMAV, pp. 138-145.

@inproceedings { DFDK11,
	location = { 't Harde, Netherlands },
	author = { Dernehl, Christian and Franke, Dominik and Diab, Hilal and
		Kowalewski, Stefan },
	title = { An Architecture with Integrated Image Processing for
		Autonomous Micro Aerial Vehicles },
	booktitle = { International Micro Air Vehicle Conference (IMAV) },
	publisher = { IMAV },
	publishedas = { Online },
	language = { eng },
	pages = { 138 -- 145 },
	year = { 2011 },
	timestamp = { 2011.07.18 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Gückel, D. and Kowalewski, S., "Automatic Derivation of Abstract Semantics From Instruction Set Descriptions", in Proc. Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011), 2011, TU Dresden, pp. 18-32.

@inproceedings { GK11,
	owner = { gueckel },
	author = { G{\"u}ckel, Dominique and Kowalewski, Stefan },
	title = { Automatic Derivation of Abstract Semantics From Instruction
		Set Descriptions },
	booktitle = { Proceedings of the 6th International Workshop on Systems
		Software Verification (SSV 2011) },
	publisher = { TU Dresden },
	publishedas = { Online },
	language = { eng },
	pages = { 18--32 },
	year = { 2011 },
	timestamp = { 2011.07.04 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Reinbacher, T. and Brauer, J., "Precise Control Flow Reconstruction Using Boolean Logic", in Proc. International Conference on Embedded Software (EMSOFT 2011), 2011, ACM, pp. 117-126.

@inproceedings { RB11,
	author = { Reinbacher, Thomas and Brauer, J{\"o}rg },
	editor = { Chakraborty, Samarjit and Jerraya, Ahmed and Baruah, Sanjoy
		K. and Fischmeister, Sebastian },
	title = { Precise Control Flow Reconstruction Using Boolean Logic },
	booktitle = { International Conference on Embedded Software (EMSOFT 2011) },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-0714-7 },
	language = { eng },
	pages = { 117--126 },
	year = { 2011 },
	timestamp = { 2011.07.03 },
	i11key = { conference },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rb11.pdf },
	for_reporting_period = { 2011 },
}

Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G., and Olesen, M. C., "Adaptable Value-Set Analysis for Low-Level Code", in Proc. 6th International Workshop on Systems Software Verification (SSV 2011), 2012, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 32-43.

@inproceedings { BHK+12,
	author = { Brauer, J{\"o}rg and Hansen, Rene Rydhof and Kowalewski,
		Stefan and Larsen, Kim G. and Olesen, Mads Chr. },
	title = { Adaptable Value-Set Analysis for Low-Level Code },
	booktitle = { 6th International Workshop on Systems Software Verification
		(SSV 2011) },
	publisher = { Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik },
	publishedas = { Druck Online },
	isbn = { 978-3-939897-36-1 },
	issn = { 2190-6807 },
	language = { eng },
	pages = { 32--43 },
	year = { 2012 },
	timestamp = { 2011.07.01 },
	i11key = { conference },
	url = { http://dx.doi.org/10.4230/OASIcs.SSV.2011.32 },
	for_reporting_period = { 2011 },
}

Brendle, C., Bensberg, R., Stollenwerk, A., Arens, J., and Walter, M., "Patient Orientated Automation of the Therapy with the Extracorporeal Membrane Oxygenation (ECMO)", in Proc. 45. Jahrestagung der Deutschen Gesellschaft für Biomedizinische Technik, 2011, DGBMT.

@inproceedings { BBS+11,
	location = { Freiburg },
	author = { Brendle, Christian and Bensberg, Ralf and Stollenwerk,
		Andr{\'e} and Arens, Jutta and Walter, Marian },
	title = { Patient Orientated Automation of the Therapy with the
		Extracorporeal Membrane Oxygenation (ECMO) },
	booktitle = { 45. Jahrestagung der Deutschen Gesellschaft f{\"u}r
		Biomedizinische Technik },
	publisher = { DGBMT },
	publishedas = { Druck },
	language = { ger },
	year = { 2011 },
	timestamp = { 2011.06.30 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/4e },
	for_reporting_period = { 2011 },
}

Stollenwerk, A., Gathmann, F., Arens, J., Bensberg, R., Walter, M., Kopp, R., and Kowalewski, S., "Safety Aware Pump-Control for a Rotary ECMO Blood Pump", in Proc. 38. Congress of the European Society for Artificial Organs (ESAO 2011) and 4. Biennial Congress of the International Federation on Artificial Organs (IFAO 2011) - (The International Journal of Artificial Organs), 2011, vol. 34 in 2011, Wichtig Editore, p. 617.

@inproceedings { SGA+11,
	volume = { 34 },
	month = { August },
	organization = { European Society for Artificial Organs (ESAO) },
	doi = { DOI 10.5301/IJAO.2011.8701 },
	location = { Porto },
	author = { Stollenwerk, Andr{\'e} and Gathmann, Felix and Arens, Jutta
		and Bensberg, Ralf and Walter, Marian and Kopp, R{\"u}dger
		and Kowalewski, Stefan },
	editor = { Rui L. Reis },
	title = { Safety Aware Pump-Control for a Rotary ECMO Blood Pump },
	booktitle = { 38. Congress of the European Society for Artificial Organs
		(ESAO 2011) and 4. Biennial Congress of the International
		Federation on Artificial Organs (IFAO 2011) - (The
		International Journal of Artificial Organs) },
	series = { 2011 },
	publisher = { Wichtig Editore },
	publishedas = { Druck Online },
	issn = { 0391-3988 },
	language = { eng },
	pages = { 617 },
	year = { 2011 },
	timestamp = { 2011.06.22 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/4c },
	for_reporting_period = { 2011 },
}

Reinbacher, T., Gückel, D., Horauer, M., and Kowalewski, S., "Testing Microcontroller Software Simulators", in Proc. Informatik 2011, 2011, Gesellschaft für Informatik, p. 333.

@inproceedings { RGHK11,
	owner = { gueckel },
	author = { Reinbacher, Thomas and G{\"u}ckel, Dominique and Horauer,
		Martin and Kowalewski, Stefan },
	title = { Testing Microcontroller Software Simulators },
	booktitle = { Informatik 2011 },
	publisher = { Gesellschaft für Informatik },
	publishedas = { Druck Online },
	isbn = { 978-3-88579-286-4 },
	language = { eng },
	pages = { 333 },
	year = { 2011 },
	timestamp = { 2011.06.16 },
	i11key = { conference },
	url = { http://www.user.tu-berlin.de/komm/CD/paper/061433.pdf },
	for_reporting_period = { 2011 },
}

Stollenwerk, A., Gathmann, F., Bensberg, R., Walter, M., Arens, J., Kopp, R., and Kowalewski, S., "A Model-Based Safety Concept for a Rotary Blood Pump", in Proc. 45. Jahrestagung der Deutschen Gesellschaft für Biomedizinische Technik, 2011, DGBMT.

@inproceedings { SGB+11,
	location = { Freiburg },
	author = { Stollenwerk, Andr{\'e} and Gathmann, Felix and Bensberg,
		Ralf and Walter, Marian and Arens, Jutta and Kopp,
		R{\"u}dger and Kowalewski, Stefan },
	title = { A Model-Based Safety Concept for a Rotary Blood Pump },
	booktitle = { 45. Jahrestagung der Deutschen Gesellschaft f{\"u}r
		Biomedizinische Technik },
	publisher = { DGBMT },
	publishedas = { Druck },
	language = { eng },
	year = { 2011 },
	timestamp = { 2011.05.18 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/4b },
	for_reporting_period = { 2011 },
}

Kowalewski, S. and Stollenwerk, A., "Supporting Evolving Requirements in CPS by Abstraction Layers in the Architecture", in Proc. Workshop on Architectures for Cyber-Physical Systems, Chicago, IL, USA, 2011, Invited Talk.

@conference { KS11,
	owner = { stollenwerk },
	url = { http://publications.embedded.rwth-aachen.de/file/4d },
	author = { Kowalewski, Stefan and Stollenwerk, Andr{\'e} },
	title = { Supporting Evolving Requirements in CPS by Abstraction
		Layers in the Architecture },
	booktitle = { Workshop on Architectures for Cyber-Physical Systems,
		Chicago, IL, USA },
	year = { 2011 },
	timestamp = { 2011.05.10 },
	language = { eng },
	i11projectkey = { SmartECLA },
	note = { Invited Talk },
	for_reporting_period = { 2011 },
}

Reinbacher, T., Brauer, J., Horauer, M., Steininger, A., and Kowalewski, S., "Past Time LTL Runtime Verification for Microcontroller Binary Code", in Proc. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011), 2011, vol. 6959 in Lecture Notes in Computer Science, Springer, pp. 37-51.

@inproceedings { RBH+11,
	volume = { 6959 },
	author = { Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin
		and Steininger, Andreas and Kowalewski, Stefan },
	editor = { Sala{\"u}n, Gwen and Sch{\"a}tz, Bernhard },
	title = { Past Time LTL Runtime Verification for Microcontroller
		Binary Code },
	booktitle = { 16th International Workshop on Formal Methods for Industrial
		Critical Systems (FMICS 2011) },
	series = { Lecture Notes in Computer Science },
	publisher = { Springer },
	publishedas = { Druck Online },
	isbn = { 978-3-642-24430-8 },
	language = { eng },
	pages = { 37--51 },
	year = { 2011 },
	timestamp = { 2011.05.09 },
	i11key = { conference },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbh11.pdf },
	for_reporting_period = { 2011 },
}

Franke, D., Dzafic, D., Weise, C., and Kowalewski, S., "Konzept eines Mobilen OSM-Navigationssystems für Elektrofahrzeuge", in Proc. Angewandte Geoinformatik 2011 - Beiträge zum 23. AGIT-Symposium (AGIT), 2011, Wichmann Verlag, pp. 148-157.

@inproceedings { FDWK11a,
	location = { Salzburg, Austria },
	author = { Franke, Dominik and Dzafic, Dzenan and Weise, Carsten and
		Kowalewski, Stefan },
	title = { Konzept eines Mobilen OSM-Navigationssystems f{\"u}r
		Elektrofahrzeuge },
	booktitle = { Angewandte Geoinformatik 2011 - Beitr{\"a}ge zum 23.
		AGIT-Symposium (AGIT) },
	publisher = { Wichmann Verlag },
	publishedas = { Druck },
	isbn = { 978-3-87907-508-9 },
	language = { ger },
	pages = { 148 -- 157 },
	year = { 2011 },
	timestamp = { 2011.05.05 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Mitsching, R., Weise, C., Franke, D., Gerlitz, T., and Kowalewski, S., "Coping with Complexity of Testing Models for Real-Time Embedded Systems", in Proc. 3rd Workshop on Model-Based Verification and Validation (MVV), 2011, IEEE Press, pp. 128-135.

@inproceedings { MWF+11,
	location = { Jeju Island, Korea },
	author = { Mitsching, Ralf and Weise, Carsten and Franke, Dominik and
		Gerlitz, Thomas and Kowalewski, Stefan },
	title = { Coping with Complexity of Testing Models for Real-Time
		Embedded Systems },
	booktitle = { 3rd Workshop on Model-Based Verification and Validation
		(MVV) },
	publisher = { IEEE Press },
	publishedas = { Online },
	isbn = { 978-1-4577-0781-0 },
	language = { eng },
	pages = { 128 -- 135 },
	year = { 2011 },
	timestamp = { 2011.05.05 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/4j },
	for_reporting_period = { 2011 },
}

Reinbacher, T., Steininger, A., Müller, T., Horauer, M., Brauer, J., and Kowalewski, S., "Hardware Support for Efficient Testing of Embedded Software", in Proc. 7th ASME/IEEE Conference on Mechatronics and Embedded Systems and Applications (MESA 2011), 2011, ASME, pp. 3-12.

@inproceedings { RSM+11,
	author = { Reinbacher, Thomas and Steininger, Andreas and M{\"u}ller,
		Tobias and Horauer, Martin and Brauer, J{\"o}rg and
		Kowalewski, Stefan },
	title = { Hardware Support for Efficient Testing of Embedded Software },
	booktitle = { 7th ASME/IEEE Conference on Mechatronics and Embedded
		Systems and Applications (MESA 2011) },
	publisher = { ASME },
	publishedas = { Druck Online },
	isbn = { 978-0-7918-5480-8 },
	language = { eng },
	pages = { 3--12 },
	year = { 2011 },
	timestamp = { 2011.04.29 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Biallas, S., Kowalewski, S., and Schlich, B., "Leistungsfähige Verifikation von industriellen SPS-Programmen mittels Model-Checking und statischer Analyse", in Proc. AUTOMATION 2011, Baden-Baden, Germany, Düsseldorf, 2011 in VDI-Berichte, VDI-Verlag, pp. 67-72.

@inproceedings { BKS11,
	address = { D{\"u}sseldorf },
	author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich,
		Bastian },
	title = { Leistungsf{\"a}hige Verifikation von industriellen
		SPS-Programmen mittels Model-Checking und statischer Analyse },
	booktitle = { AUTOMATION 2011, Baden-Baden, Germany },
	isbn = { 978-3-18-092143-3 },
	issn = { 0083-5560 },
	number = { 2143 },
	pages = { 67--72 },
	publisher = { VDI-Verlag },
	publishedas = { Druck },
	series = { VDI-Berichte },
	language = { eng },
	year = { 2011 },
	timestamp = { 2011.04.20 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Brauer, J., King, A., and Kriener, J., "Existential Quantification as Incremental SAT", in Proc. Computer Aided Verification (CAV 2011), 2011, vol. 6806 in Lecture Notes in Computer Science, Springer, pp. 191-207.

@inproceedings { BKK11a,
	author = { Brauer, J{\"o}rg and King, Andy and Kriener, Jael },
	title = { Existential Quantification as Incremental SAT },
	booktitle = { Computer Aided Verification (CAV 2011) },
	pages = { 191-207 },
	volume = { 6806 },
	series = { Lecture Notes in Computer Science },
	editor = { Gopalakrishnan, Ganesh and Qadeer, Shaz },
	publisher = { Springer },
	issn = { 0302-9743 },
	isbn = { 978-3-642-22110-1 },
	i11key = { conference },
	timestamp = { 2011.03.22 },
	year = { 2011 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk11a.pdf },
	language = { eng },
	publishedas = { Druck Online },
	for_reporting_period = { 2011 },
}

Arens, J., De Brouwer, P., Mager, I., Kopp, R., Walter, M., Stollenwerk, A., Schmitz-Rode, T., and Steinseifer, U., "A Dynamic Study on the Hemolytic Effect of Negative Pressure on Blood", ASAIO journal, vol. 56, iss. 2, pp. 96-96, 2010

@article { ADM+10,
	number = { 2 },
	address = { Hagerstown, Md. },
	doi = { 10.1097/01.mat.0000369377.65122.a3 },
	author = { Arens, Jutta and De Brouwer, Petra and Mager, Ilona and
		Kopp, R{\"u}dger and Walter, Marian and Stollenwerk, Andre
		and Schmitz-Rode, Thomas and Steinseifer, Ulrich },
	title = { A Dynamic Study on the Hemolytic Effect of Negative Pressure
		on Blood },
	journal = { ASAIO journal },
	year = { 2010 },
	volume = { 56 },
	pages = { 96--96 },
	publisher = { Lippincott },
	publishedas = { Online Druck },
	issn = { 1538-943X },
	i11key = { journal },
	i11projectkey = { SmartECLA },
	language = { eng },
	url = { http://publications.embedded.rwth-aachen.de/file/4a },
	timestamp = { 2011.03.18 },
	for_reporting_period = { 2011 },
}

Biallas, S., Brauer, J., and Kowalewski, S., "SAT-Based Abstraction Refinement for Programmable Logic Controllers", in Proc. Dependable Control of Discrete Systems (DCDS'11), 2011, IEEE, pp. 96-101.

@inproceedings { BBK11,
	author = { Biallas, Sebastian and Brauer, J{\"o}rg and Kowalewski,
		Stefan },
	title = { SAT-Based Abstraction Refinement for Programmable Logic
		Controllers },
	booktitle = { Dependable Control of Discrete Systems (DCDS'11) },
	language = { eng },
	publisher = { IEEE },
	publishedas = { Druck },
	isbn = { 978-1-4244-8969-5 },
	pages = { 96--101 },
	i11key = { conference },
	year = { 2011 },
	timestamp = { 2011.03.15 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk11.pdf },
	for_reporting_period = { 2011 },
}

Franke, D., Dzafic, D., Weise, C., and Kowalewski, S., "Entwicklung eines mobilen Navigationssystems für Elektrofahrzeuge auf Basis von OpenStreetMap-Daten", in Proc. Konferenz für Freie und Open Source Software für Geoinformationssysteme (FOSSGIS), 2011, FOSSGIS e.V., pp. 92-99.

@inproceedings { FDWK11,
	location = { Heidelberg, Germany },
	author = { Franke, Dominik and Dzafic, Dzenan and Weise, Carsten and
		Kowalewski, Stefan },
	title = { Entwicklung eines mobilen Navigationssystems f{\"u}r
		Elektrofahrzeuge auf Basis von OpenStreetMap-Daten },
	booktitle = { Konferenz f{\"u}r Freie und Open Source Software f{\"u}r
		Geoinformationssysteme (FOSSGIS) },
	publisher = { FOSSGIS e.V. },
	publishedas = { Druck Online },
	isbn = { 978-3-00-034124-3 },
	language = { ger },
	pages = { 92 -- 99 },
	year = { 2011 },
	timestamp = { 2011.03.14 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

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.

@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 },
}

Ben Makhlouf, I., Maschuw, J. P., Hänsch, P., Diab, H., Kowalewski, S., and Abel, D., "Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes", in Proc. 18th IFAC World Congress, 2011, Milano, Italy, 2011, IFAC, pp. 9769-9774.

@inproceedings { MMH+11,
	author = { Ben Makhlouf, Ibtissem and Maschuw, Jan Philipp and
		H{\"a}nsch, Paul and Diab, Hilal and Kowalewski, Stefan and
		Abel, Dirk },
	title = { Safety Verification of a Cooperative Vehicle Platoon with
		Uncertain Inputs Using Zonotopes },
	booktitle = { 18th IFAC World Congress, 2011, Milano, Italy },
	year = { 2011 },
	pages = { 9769-9774 },
	publisher = { IFAC },
	publishedas = { Online },
	i11key = { conference },
	isbn = { 978-3-902661-93-7 },
	language = { eng },
	timestamp = { 2011.03.10 },
	for_reporting_period = { 2011 },
}

Brauer, J. and King, A., "Approximate Quantifier Elimination for Propositional Boolean Formulae", in Proc. NASA Formal Methods Symposium (NFM 2011), 2011, vol. 6617 in Lecture Notes in Computer Science, Springer, pp. 73-88.

@inproceedings { BK11b,
	author = { Brauer, J{\"o}rg and King, Andy },
	title = { Approximate Quantifier Elimination for Propositional Boolean
		Formulae },
	booktitle = { NASA Formal Methods Symposium (NFM 2011) },
	i11key = { conference },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	isbn = { 978-3-642-20397-8 },
	pages = { 73--88 },
	volume = { 6617 },
	year = { 2011 },
	timestamp = { 2011.03.04 },
	publishedas = { Druck Online },
	language = { eng },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk11b.pdf },
	for_reporting_period = { 2011 },
}

Palczynski, J., Weise, C., Kowalewski, S., and Ulmer, D., "Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check", in Proc. Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW, TAIC PART) 2011, 2011, IEEE Computer Society, pp. 590-595.

@inproceedings { PWKU11,
	author = { Jacob Palczynski and Carsten Weise and Stefan Kowalewski and
		Daniel Ulmer },
	title = { Estimation of Clock Drift in HiL Testing by Property-Based
		Conformance Check },
	booktitle = { Fourth International Conference on Software Testing,
		Verification and Validation Workshops (ICSTW, TAIC PART)
		2011 },
	pages = { 590 -- 595 },
	publisher = { IEEE Computer Society },
	isbn = { 978-1-4577-0019-4 },
	year = { 2011 },
	i11key = { conference },
	publishedas = { Druck Online },
	language = { eng },
	timestamp = { 2011.02.02 },
	for_reporting_period = { 2011 },
}

Mitsching, R., Weise, C., Bohnenkamp, H., Fiedler, F., and Kowalewski, S., "TripleT: Improving Test Responsiveness for High Performance Embedded Systems", in Proc. 4th IEEE International Conference on Software Testing, Verification, and Validation, 2011, IEEE, pp. 67-74.

@inproceedings { MFB+11,
	author = { Mitsching, Ralf and Weise, Carsten and Bohnenkamp, Henrik
		and Fiedler, Frank and Kowalewski, Stefan },
	title = { TripleT: Improving Test Responsiveness for High Performance
		Embedded Systems },
	booktitle = { 4th IEEE International Conference on Software Testing,
		Verification, and Validation },
	pages = { 67 -- 74 },
	year = { 2011 },
	isbn = { 978-1-4577-0019-4 },
	publisher = { IEEE },
	timestamp = { 2011.02.01 },
	i11key = { conference },
	language = { eng },
	publishedas = { Druck Online },
	for_reporting_period = { 2011 },
}

Merschen, D., Polzer, A., Botterweck, G., and Kowalewski, S., "Experiences of Applying Model-based Analysis to Support the Development of Automotive Software Product Lines", in Proc. Fifth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS 2011), 2011, ACM, pp. 141-150.

@inproceedings { MPBK11,
	month = { January },
	location = { Namur, Belgium },
	owner = { merschen },
	author = { Merschen, Daniel and Polzer, Andreas and Botterweck, Goetz
		and Kowalewski, Stefan },
	editor = { Czarnecki, Krzysztof and Eisenecker, Ulrich W. and Heymans,
		Patrick },
	title = { Experiences of Applying Model-based Analysis to Support the
		Development of Automotive Software Product Lines },
	booktitle = { Fifth International Workshop on Variability Modelling of
		Software-intensive Systems (VAMOS 2011) },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-0570-9 },
	language = { eng },
	pages = { 141 -- 150 },
	year = { 2011 },
	timestamp = { 2011.01.31 },
	i11key = { conference },
	url = { http://dl.acm.org/citation.cfm?id=1944910 },
	for_reporting_period = { 2011 },
}

Palczynski, J., Weise, C., Moj, S., and Kowalewski, S., "Comparing Continuous Behaviour in Model-based Development of Embedded Software", in Proc. Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII (MBEES 2011), 2011, fortiss GmbH, pp. 61-70.

@inproceedings { PWMK11,
	author = { Jacob Palczynski and Carsten Weise and Sebastian Moj and
		Stefan Kowalewski },
	title = { Comparing Continuous Behaviour in Model-based Development of
		Embedded Software },
	booktitle = { Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung
		eingebetteter Systeme VII (MBEES 2011) },
	year = { 2011 },
	pages = { 61 -- 70 },
	publisher = { fortiss GmbH },
	publishedas = { Online },
	language = { eng },
	owner = { palczynski },
	timestamp = { 2011.01.28 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Botterweck, G., Pleuss, A., Dhungana, D., Polzer, A., and Kowalewski, S., "EvoFM: Feature-driven Planning of Product-line Evolution", in Proc. Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering (PLEASE '10), 2010, ACM, pp. 24-31.

@inproceedings { BPD+10,
	author = { Botterweck, Goetz and Pleuss, Andreas and Dhungana, Deepak
		and Polzer, Andreas and Kowalewski, Stefan },
	title = { EvoFM: Feature-driven Planning of Product-line Evolution },
	booktitle = { Proceedings of the 2010 ICSE Workshop on Product Line
		Approaches in Software Engineering (PLEASE '10) },
	year = { 2010 },
	isbn = { 978-1-60558-968-8 },
	pages = { 24--31 },
	location = { Cape Town, South Africa },
	month = { May },
	publisher = { ACM },
	doi = { http://doi.acm.org/10.1145/1808937.1808941 },
	owner = { polzer },
	timestamp = { 2011.01.20 },
	i11key = { conference },
	for_reporting_period = { 2011 },
}

Franke, D. and Weise, C., "Providing a Software Quality Framework for Testing of Mobile Applications", in Proc. 4th International Conference on Software Testing Verification and Validation (ICST), 2011, IEEE Computer Society, pp. 431-434.

@inproceedings { FW11,
	location = { Berlin, Germany },
	author = { Franke, Dominik and Weise, Carsten },
	title = { Providing a Software Quality Framework for Testing of Mobile
		Applications },
	booktitle = { 4th International Conference on Software Testing
		Verification and Validation (ICST) },
	publisher = { IEEE Computer Society },
	publishedas = { Druck Online },
	isbn = { 978-1-61284-174-8 },
	language = { eng },
	pages = { 431--434 },
	year = { 2011 },
	timestamp = { 2011.01.19 },
	i11key = { conference },
	url = { http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770636 },
	for_reporting_period = { 2011 },
}

Beckschulze, E., Brauer, J., Stollenwerk, A., and Kowalewski, S., "Analyzing Embedded Systems Code for Mixed-Critical Systems using Hybrid Memory Representations", in Proc. 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops ISORCW 2011, 2011, IEEE, pp. 33-40.

@inproceedings { BBSK11,
	location = { Newport Beach, CA, USA },
	doi = { 10.1109/ISORCW.2011.40 },
	author = { Beckschulze, Eva and Brauer, J{\"o}rg and Stollenwerk,
		Andr{\'e} and Kowalewski, Stefan },
	title = { Analyzing Embedded Systems Code for Mixed-Critical Systems
		using Hybrid Memory Representations },
	booktitle = { 2011 14th IEEE International Symposium on
		Object/Component/Service-Oriented Real-Time Distributed
		Computing Workshops ISORCW 2011 },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-1-4577-0303-4 },
	language = { eng },
	pages = { 33--40 },
	year = { 2011 },
	timestamp = { 2010.12.23 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/4f },
	for_reporting_period = { 2011 },
}

Brauer, J. and King, A., "Transfer Function Synthesis without Quantifier Elimination", in Proc. European Symposium on Programming (ESOP 2011), 2011, vol. 6602 in Lecture Notes in Computer Science, Springer, pp. 97-115.

@inproceedings { BK11a,
	author = { Brauer, J{\"o}rg and King, Andy },
	title = { Transfer Function Synthesis without Quantifier Elimination },
	booktitle = { European Symposium on Programming (ESOP 2011) },
	i11key = { conference },
	publisher = { Springer },
	isbn = { 978-3-642-19717-8 },
	series = { Lecture Notes in Computer Science },
	pages = { 97--115 },
	volume = { 6602 },
	timestamp = { 2010.12.07 },
	year = { 2011 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk11.pdf },
	for_reporting_period = { 2011 },
}

Schlich, B., Brauer, J., and Kowalewski, S., "Application of Static Analyses for State Space Reduction to Microcontroller Binary Code", Sci. Comput. Program., vol. 76, iss. 2, pp. 100-118, 2011

@article { SBK11,
	author = { Schlich, Bastian and Brauer, J{\"o}rg and Kowalewski, Stefan },
	title = { Application of Static Analyses for State Space Reduction to
		Microcontroller Binary Code },
	journal = { Sci. Comput. Program. },
	year = { 2011 },
	volume = { 76 },
	number = { 2 },
	pages = { 100--118 },
	issn = { 0167-6423 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:sbk10.pdf },
	i11key = { journal },
	timestamp = { 2010.12.06 },
	for_reporting_period = { 2011 },
}

Polzer, A., Merschen, D., Thomas, J., Hedenetz, B., Botterweck, G., and Kowalewski, S., "View-Supported Rollout and Evolution of Model-Based ECU Applications", in Proc. 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010) collocated within the 25th IEEE/ACM International Conference on Automated Software Engineering, 2010, ACM, pp. 37-44.

@inproceedings { PMT+10,
	author = { Andreas Polzer and Daniel Merschen and Jacques Thomas and
		Bernd Hedenetz and Goetz Botterweck and Stefan Kowalewski },
	title = { View-Supported Rollout and Evolution of Model-Based ECU
		Applications },
	booktitle = { 7th International Workshop on Model-based Methodologies for
		Pervasive and Embedded Software (MOMPES 2010) collocated
		within the 25th IEEE/ACM International Conference on
		Automated Software Engineering },
	year = { 2010 },
	editor = { Goetz Botterweck and Jo\~{a}o M. Fernandes and Lu\'{\i}s
		Lamb },
	pages = { 37-44 },
	month = { September },
	publisher = { ACM },
	doi = { http://dx.doi.org/10.1145/1865875.1865881 },
	isbn = { 978-1-4503-0123-7 },
	location = { Antwerpen, Belgium },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:PMT+10.pdf },
	owner = { polzer },
	timestamp = { 2010.11.22 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Kowalewski, S. and Roveri, M., Eds., Formal Methods for Industrial Critical Systems. Proc. FMICS 2010,Springer, 2010.

@proceedings { KR10,
	title = { Formal Methods for Industrial Critical Systems. Proc. FMICS
		2010, },
	year = { 2010 },
	editor = { Kowalewski, Stefan and Roveri, Marco },
	number = { 6371 },
	series = { LNCS },
	publisher = { Springer },
	isbn = { 978-3642158971 },
	timestamp = { 2010.10.29 },
	i11key = { editor },
	for_reporting_period = { 2010 },
}

Botterweck, G., Polzer, A., and Kowalewski, S., "Variability and Evolution in Model-based Engineering of Embedded Systems", in Proc. 6. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2010), Dagstuhl, Germany, 2010, pp. 87-96.

@inproceedings { BPK10,
	title = { Variability and Evolution in Model-based Engineering of
		Embedded Systems },
	booktitle = { 6. Dagstuhl-Workshop Model-Based Development of Embedded
		Systems (MBEES 2010) },
	year = { 2010 },
	month = { February },
	pages = { 87-96 },
	address = { Dagstuhl, Germany },
	timestamp = { 2010.10.15 },
	author = { Goetz Botterweck and Andreas Polzer and Stefan Kowalewski },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Biallas, S., Brauer, J., Gückel, D., and Kowalewski, S., "On-The-Fly Path Reduction", Electronic Notes in Theoretical Computer Science, vol. 274C, pp. 3-16, 2011, 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2010)

@article { BBGK10,
	author = { Biallas, Sebastian and Brauer, J{\"o}rg and G{\"u}ckel,
		Dominique and Kowalewski, Stefan },
	title = { On-The-Fly Path Reduction },
	journal = { Electronic Notes in Theoretical Computer Science },
	year = { 2011 },
	volume = { 274C },
	pages = { 3--16 },
	publisher = { Elsevier },
	note = { 4th International Workshop on Harnessing Theories for Tool
		Support in Software (TTSS 2010) },
	issn = { 1571-0661 },
	i11key = { conference },
	publishedas = { Online },
	language = { eng },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbgk10.pdf },
	timestamp = { 2010.10.05 },
	for_reporting_period = { 2010 },
}

Reinbacher, T., Brauer, J., Horauer, M., Steininger, A., and Kowalewski, S., "Test-Case Generation for Embedded Binary Code Using Abstract Interpretation", in Proc. Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Selected Papers, Mikulov, Czech Republic, 2010, vol. 16 in OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, pp. 101-108, Best Paper Award.

@inproceedings { RBH+10,
	author = { Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin
		and Steininger, Andreas and Kowalewski, Stefan },
	title = { Test-Case Generation for Embedded Binary Code Using Abstract
		Interpretation },
	booktitle = { Sixth Doctoral Workshop on Mathematical and Engineering
		Methods in Computer Science (MEMICS 2010), Selected Papers,
		Mikulov, Czech Republic },
	year = { 2010 },
	timestamp = { 2010.09.22 },
	publisher = { Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany },
	isbn = { 978-3-939897-22-4 },
	series = { OASICS },
	volume = { 16 },
	pages = { 101--108 },
	note = { Best Paper Award },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbh+10.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Palczynski, J., Weise, C., and Kowalewski, S., "Testing Continuous Systems Conformance Using Cross Correlation", in Proc. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, Montréal, 2010, CRIM, pp. 31-36.

@inproceedings { PWK10,
	author = { Jacob Palczynski and Carsten Weise and Stefan Kowalewski },
	title = { Testing Continuous Systems Conformance Using Cross
		Correlation },
	booktitle = { Proceedings of the 22nd IFIP International Conference on
		Testing Software and Systems: Short Papers },
	year = { 2010 },
	pages = { 31--36 },
	address = { Montr{\'e}al },
	publisher = { CRIM },
	i11key = { conference },
	isbn = { 978-2-89522-136-4 },
	timestamp = { 2010.09.19 },
	for_reporting_period = { 2010 },
}

Stollenwerk, A., Derks, A., Kowalewski, S., and Salewski, F., "A Modular, Robust and Open Source Microcontroller Platform for Broad Educational Usage", in Proc. Workshop on Embedded Systems Education (WESE10), Scottsdale, AZ, USA, 2010, ACM, pp. 48-54.

@inproceedings { SDKS10,
	month = { October },
	organization = { ARTIST },
	location = { Scottsdale, AZ,USA },
	author = { Stollenwerk, Andr{\'e} and Derks, Andreas and Kowalewski,
		Stefan and Salewski, Falk },
	title = { A Modular, Robust and Open Source Microcontroller Platform
		for Broad Educational Usage },
	booktitle = { Workshop on Embedded Systems Education (WESE10), Scottsdale,
		AZ, USA },
	publisher = { ACM },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 48--54 },
	year = { 2010 },
	timestamp = { 2010.08.23 },
	i11key = { conference },
	i11projectkey = { evaboard },
	url = { http://publications.embedded.rwth-aachen.de/file/47 },
	for_reporting_period = { 2010 },
}

Biallas, S., Brauer, J., Kowalewski, S., and Schlich, B., "Automatically Deriving Symbolic Invariants for PLC Programs Written in IL", in Proc. FORMS/FORMAT 2010, 2011, Springer Berlin Heidelberg, pp. 237-245.

@inproceedings { BBKS10,
	author = { Biallas, Sebastian and Brauer, J{\"o}rg and Kowalewski,
		Stefan and Schlich, Bastian },
	title = { Automatically Deriving Symbolic Invariants for {PLC}
		Programs Written in {IL} },
	booktitle = { FORMS/FORMAT 2010 },
	editor = { Schnieder, Eckehard and Tarnai, Geza },
	publisher = { Springer Berlin Heidelberg },
	publishedas = { Druck },
	language = { eng },
	year = { 2011 },
	timestamp = { 2010.08.19 },
	isbn = { 978-3-642-14261-1 },
	pages = { 237--245 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbks10.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Reinbacher, T., Horauer, M., Schlich, B., Brauer, J., and Scheuer, F., "Model Checking Embedded Software of an Industrial Knitting Machine", International Journal of Information Technology, Communications and Convergenceonvergence, pp. 186-205, 2010

@article { RHS+10,
	author = { Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian
		and Brauer, J{\"o}rg and Scheuer, Florian },
	title = { Model Checking Embedded Software of an Industrial Knitting
		Machine },
	journal = { International Journal of Information Technology,
		Communications and Convergenceonvergence },
	year = { 2010 },
	pages = { 186--205 },
	publisher = { Inderscience Enterprises Ltd },
	publishedas = { Online Druck },
	issn = { 2042-3217 },
	i11key = { journal },
	language = { eng },
	url = { http://inderscience.metapress.com/content/y664g84625r780l0/fulltext.pdf },
	timestamp = { 2010.08.15 },
	for_reporting_period = { 2010 },
}

Biallas, S., Brauer, J., and Kowalewski, S., "Counterexample-guided abstraction refinement for PLCs", in Proc. 5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada, Berkeley, CA, USA, 2010, USENIX Association, pp. 2-12.

@inproceedings { BBK10,
	author = { Biallas, Sebastian and Brauer, J\"{o}rg and Kowalewski,
		Stefan },
	title = { Counterexample-guided abstraction refinement for {PLCs} },
	booktitle = { 5th International Workshop on Systems Software Verification
		(SSV 2010), Vancouver, Canada },
	year = { 2010 },
	location = { Vancouver, BC, Canada },
	pages = { 2--12 },
	numpages = { 1 },
	publisher = { USENIX Association },
	address = { Berkeley, CA, USA },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk10.pdf },
	timestamp = { 2010.07.19 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

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.

@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 },
}

Chávez Grunewald, M., Ben Makhlouf, I., Diab, H., Abel, D., and Kowalewski, S., "On the Effects of Network Delays on an Energy-based Controller", in Proc. 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems(NecSys' 2010), 2010, pp. 169-174.

@inproceedings { CMD+10a,
	author = { Ch\'{a}vez Grunewald, Mart\'{i}n and Ben Makhlouf, Ibtissem
		and Diab,Hilal and Abel, Dirk and Kowalewski, Stefan },
	title = { On the Effects of Network Delays on an Energy-based
		Controller },
	booktitle = { 2nd IFAC Workshop on Distributed Estimation and Control in
		Networked Systems(NecSys' 2010) },
	year = { 2010 },
	pages = { 169-174 },
	month = { September },
	owner = { diab },
	timestamp = { 2010.07.02 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Diab, H., Chávez Grunewald, M., Ben Makhlouf, I., Abel, D., and Kowalewski, S., "A Testing Platform for Cooperative Vehicle Platoon Controllers", in Proc. 13th International IEEE Conference on Intelligent Transportation Systems (ITSC 2010), 2010, IEEE, pp. 1718-1723.

@inproceedings { DCM+10,
	author = { Diab,Hilal and Ch\'{a}vez Grunewald, Mart\'{i}n  and Ben
		Makhlouf, Ibtissem and Abel, Dirk and Kowalewski, Stefan },
	title = { A Testing Platform for Cooperative Vehicle Platoon
		Controllers },
	booktitle = { 13th International IEEE Conference on Intelligent
		Transportation Systems (ITSC 2010) },
	year = { 2010 },
	pages = { 1718 - 1723 },
	month = { September },
	publisher = { IEEE },
	owner = { diab },
	isbn = { 978-1-4244-7658-9 },
	timestamp = { 2010.07.02 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Bollue, K., Gückel, D., Loup, U., Spönemann, J., and Winkler, M., Eds., Dagstuhl 2010: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science.Verlagshaus Mainz, 2010.

@proceedings { BGL+10,
	title = { Dagstuhl 2010: Proceedings of the Joint Workshop of the
		German Research Training Groups in Computer Science. },
	year = { 2010 },
	editor = { Bollue, Kai and G{\"u}ckel, Dominique and Loup, Ulrich and
		Sp{\"o}nemann, Jacob and Winkler, Melanie },
	publisher = { Verlagshaus Mainz },
	note = { Technical report },
	organization = { DFG Research Training Group 1298 "Algorithmic Synthesis of
		Reactive and Discrete-Continuous Systems (AlgoSyn)" },
	owner = { gueckel },
	isbn = { 386-130-146-6 },
	timestamp = { 2010.06.30 },
	url = { http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf },
	i11key = { editor },
	for_reporting_period = { 2010 },
}

Walter, M., Weyer, S., Stollenwerk, A., Kopp, R., Arens, J., and Leonhardt, S., "A Physiological Model for Extracorporeal Oxygenation Controller Design", in Proc. 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'10), 2010, IEEE, pp. 434-437.

@inproceedings { WWS+10,
	location = { Buenos Aires, Argentina },
	month = { September },
	organization = { IEEE },
	author = { Walter, Marian and Weyer, S{\"o}ren and Stollenwerk,
		Andr{\'e} and Kopp, R{\"u}dger and Arens, Jutta and
		Leonhardt, Steffen },
	title = { A Physiological Model for Extracorporeal Oxygenation
		Controller Design },
	booktitle = { 32nd Annual International Conference of the IEEE Engineering
		in Medicine and Biology Society (EMBC'10) },
	publisher = { IEEE },
	publishedas = { Druck },
	isbn = { 978-1-4244-4124-2 },
	language = { eng },
	pages = { 434--437 },
	year = { 2010 },
	timestamp = { 2010.06.11 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/43 },
	for_reporting_period = { 2010 },
}

Brauer, J., King, A., and Kowalewski, S., "Range Analysis of Microcontroller Code using Bit-Level Congruences", in Proc. Formal Methods for Industrial Critical Systems (FMICS 2010), Antwerp, Belgium, 2010, vol. 6371 in Lecture Notes in Computer Science, Springer, pp. 82-98.

@inproceedings { BKK10,
	author = { Brauer, J{\"o}rg and King, Andy and Kowalewski, Stefan },
	title = { Range Analysis of Microcontroller Code using Bit-Level
		Congruences },
	booktitle = { Formal Methods for Industrial Critical Systems (FMICS 2010),
		Antwerp, Belgium },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	year = { 2010 },
	volume = { 6371 },
	pages = { 82--98 },
	timestamp = { 2010.06.08 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk10.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Gückel, D., Brauer, J., and Kowalewski, S., "A System for Synthesizing Abstraction-Enabled Simulators for Binary Code Verification", in Proc. Industrial Embedded Systems (SIES 2010), Trento, Italy, 2010, IEEE, pp. 118-127.

@inproceedings { GBK10,
	author = { G{\"u}ckel, Dominique and Brauer, J{\"o}rg and Kowalewski,
		Stefan },
	booktitle = { Industrial Embedded Systems (SIES 2010), Trento, Italy },
	title = { A System for Synthesizing Abstraction-Enabled Simulators for
		Binary Code Verification },
	year = { 2010 },
	pages = { 118--127 },
	publisher = { IEEE },
	timestamp = { 2010.06.01 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:gbk10.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Stollenwerk, A., Jörgens, J., Arens, J., Walter, M., Kopp, R., and Kowalewski, S., "Model Based Diagnosis for Extracorporeal Membrane Oxygenation", The International Journal of Artificial Organs, vol. 33, iss. 7, p. 447, 2010

@article { SJA+10,
	number = { 7 },
	month = { September },
	part = { 63 },
	booktitle = { 37. Annual Meeting European Society for Artificial Organs
		(ESAO10), Skopje, Macedonia },
	organization = { ESAO },
	author = { Stollenwerk, Andr{\'e} and J{\"o}rgens, J{\"o}rg and Arens,
		Jutta and Walter, Marian and Kopp, R{\"u}dger and
		Kowalewski, Stefan },
	title = { Model Based Diagnosis for Extracorporeal Membrane
		Oxygenation },
	journal = { The International Journal of Artificial Organs },
	year = { 2010 },
	volume = { 33 },
	pages = { 447 },
	publisher = { de Gruyter },
	publishedas = { Druck },
	issn = { 0000-0000 },
	i11key = { journal },
	i11projectkey = { SmartECLA },
	language = { eng },
	url = { http://publications.embedded.rwth-aachen.de/file/46 },
	timestamp = { 2010.05.27 },
	for_reporting_period = { 2010 },
}

Stollenwerk, A., Jörgens, J., Walter, M., Arens, J., Kopp, R., and Kowalewski, S., "Modellbasierte Fehlerdiagnose eines Membranoxygenators", in Proc. Biomedizinische Technik (BMT2010), 2010, vol. 55, de Gruyter, pp. 174-177.

@inproceedings { SJW+10,
	volume = { 55 },
	month = { Oktober },
	organization = { VDE },
	doi = { 10.1515/BMT.2010.713 },
	location = { Rostock / Warnem{\"u}nde, Germany },
	author = { Stollenwerk, Andr{\'e} and J{\"o}rgens, J{\"o}rg and Walter,
		Marian and Arens, Jutta and Kopp, R{\"u}dger and Kowalewski,
		Stefan },
	title = { Modellbasierte Fehlerdiagnose eines Membranoxygenators },
	booktitle = { Biomedizinische Technik (BMT2010) },
	publisher = { de Gruyter },
	publishedas = { Druck },
	issn = { 1862-278X },
	language = { ger },
	pages = { 174--177 },
	year = { 2010 },
	timestamp = { 2010.05.27 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/45 },
	for_reporting_period = { 2010 },
}

Chávez Grunewald, M., Ben Makhlouf, I., Diab, H., Mut, V., Kowalewski, S., and Abel, D., "Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden", at – Automatisierungstechnik, vol. 58, iss. 4, pp. 227-235, 2010

@article { CMD+10,
	author = { Ch\'{a}vez Grunewald, Mart\'{i}n and Ben Makhlouf, Ibtissem
		and Diab, Hilal and Mut, Vicente and Kowalewski, Stefan and
		Abel, Dirk },
	title = { Regelung und Sicherheitsanalyse einer Gruppe
		Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden },
	journal = { at – Automatisierungstechnik },
	year = { 2010 },
	volume = { 58 },
	pages = { 227-235 },
	number = { 4 },
	doi = { 10.1524/auto.2010.0829 },
	keywords = { energy-based control, nonlinear control, network systems,
		hybrid automata },
	owner = { diab },
	issn = { 0178-2312 },
	timestamp = { 2010.05.12 },
	i11key = { journal },
	for_reporting_period = { 2010 },
}

Brauer, J. and King, A., "Automatic Abstraction for Intervals using Boolean Formulae", in Proc. Static Analysis Symposium (SAS 2010), Perpignan, France, 2010, vol. 6337 in Lecture Notes in Computer Science, Springer, pp. 167-183.

@inproceedings { BK10,
	author = { Brauer, J{\"o}rg and King, Andy },
	title = { Automatic Abstraction for Intervals using Boolean Formulae },
	booktitle = { Static Analysis Symposium (SAS 2010), Perpignan, France },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	year = { 2010 },
	volume = { 6337 },
	pages = { 167--183 },
	timestamp = { 2010.05.04 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk10.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Brauer, J., Noll, T., and Schlich, B., "Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software", in Proc. Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010), 2010, ACM.

@inproceedings { BNS10,
	author = { Brauer, J{\"o}rg and Noll, Thomas and Schlich, Bastian },
	title = { Interval Analysis of Microcontroller Code using Abstract
		Interpretation of Hardware and Software },
	booktitle = { Proceedings of the 13th International Workshop on Software
		and Compilers for Embedded Systems (SCOPES 2010) },
	year = { 2010 },
	publisher = { ACM },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:BNS10.pdf },
	timestamp = { 2010.04.01 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Franke, D. and Kowalewski, S., "Verifikation der Java-Echtzeitfähigkeit für den Einsatz in zeitkritischen Systemen", in Proc. Gesellschaft für Informatik Seminars, Informatiktage, 2010, Gesellschaft für Informatik e.V., pp. 165-168.

@inproceedings { FK10,
	location = { Bonn, Germany },
	author = { Franke, Dominik and Kowalewski, Stefan },
	title = { Verifikation der Java-Echtzeitf{\"a}higkeit f{\"u}r den
		Einsatz in zeitkritischen Systemen },
	booktitle = { Gesellschaft f{\"u}r Informatik Seminars, Informatiktage },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. },
	publishedas = { Druck Online },
	isbn = { 978-3-88579-443-1 },
	language = { ger },
	pages = { 165--168 },
	year = { 2010 },
	timestamp = { 2010.03.19 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Gückel, D., Schlich, B., Brauer, J., and Kowalewski, S., "Synthesizing Simulators for Model Checking Microcontroller Binary Code", in Proc. Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2010), 2010, IEEE, pp. 313-316.

@inproceedings { GSBK10,
	author = { G{\"u}ckel, Dominique and Schlich, Bastian and Brauer,
		J{\"o}rg and Kowalewski, Stefan },
	title = { Synthesizing Simulators for Model Checking Microcontroller
		Binary Code },
	booktitle = { Proceedings of the 13th IEEE International Symposium on
		Design and Diagnostics of Electronic Circuits and Systems
		(DDECS 2010) },
	year = { 2010 },
	publisher = { IEEE },
	pages = { 313--316 },
	owner = { gueckel },
	i11key = { conference },
	url = { http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5491761 },
	timestamp = { 2010.03.08 },
	for_reporting_period = { 2010 },
}

Wartzek, T., Walter, M., Schmitz-Rode, T., Kowalewski, S., Rossaint, R., and Leonhardt, S., "In Vivo Validation of an Automatic Controlled Extracorporeal Membrane Oxygenator", in Proc. World Congress on Medical Physics and Biomedical Engineering, 2009, vol. 25, Springer Berlin Heidelberg, pp. 118-121.

@inproceedings { WWS+09a,
	author = { Wartzek, Tobias and Walter, Marian and Schmitz-Rode, Thomas
		and Kowalewski, Stefan and Rossaint, Rolf and Leonhardt,
		Steffen },
	title = { In Vivo Validation of an Automatic Controlled Extracorporeal
		Membrane Oxygenator },
	booktitle = { World Congress on Medical Physics and Biomedical Engineering },
	year = { 2009 },
	editor = { Olaf D{\"o}ssel and Wolfgang C. Schlegel },
	volume = { 25 },
	number = { 7 },
	pages = { 118-121 },
	month = { September },
	publisher = { Springer Berlin Heidelberg },
	doi = { 10.1007/978-3-642-03885-3_34 },
	isbn = { 978-3-642-03885-3 },
	issn = { 1433-9277 },
	owner = { stollenwerk },
	timestamp = { 2010.02.08 },
	url = { http://www.springerlink.com/content/k350721703265080/fulltext.pdf },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	for_reporting_period = { Old },
}

Stollenwerk, A., Lang, M., Walter, M., Arens, J., Kopp, R., and Kowalewski, S., "Sicherheitskonzept für eine intensivmedizinische Anwendung am Beispiel der ECMO", in Proc. Entwurf komplexer Automatisierungssysteme (EKA 2010), 2010, vol. 11, pp. 65-74.

@inproceedings { SLW+10,
	location = { Magdeburg, Germany },
	volume = { 11 },
	month = { Mai },
	author = { Stollenwerk, Andr{\'e} and Lang, Martin and Walter, Marian
		and Arens, Jutta and Kopp, R{\"u}dger and Kowalewski, Stefan },
	title = { Sicherheitskonzept f{\"u}r eine intensivmedizinische
		Anwendung am Beispiel der ECMO },
	booktitle = { Entwurf komplexer Automatisierungssysteme (EKA 2010) },
	publishedas = { Druck },
	isbn = { 978-3-940961-41-9 },
	language = { ger },
	pages = { 65--74 },
	year = { 2010 },
	timestamp = { 2010.02.02 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/3l },
	for_reporting_period = { 2010 },
}

Walter, M., Stollenwerk, A., Wartzek, T., Arens, J., Kopp, R., and Leonhardt, S., "Automatisierung und Fehlerdiagnose bei der extrakorporalen Membranoxygenierung", at – Automatisierungstechnik, vol. 58, iss. 5, pp. 277-285, 2010

@article { WSW+10,
	number = { 5 },
	month = { Mai },
	doi = { 10.1524/auto.2010.0838 },
	keywords = { Control, biomedical engineering, ECMO, safety, fault
		diagnosis },
	owner = { stollenwerk },
	author = { Walter, Marian and Stollenwerk, Andr{\'e} and Wartzek,
		Tobias and Arens, Jutta and Kopp, R{\"u}dger and Leonhardt,
		Steffen },
	title = { Automatisierung und Fehlerdiagnose bei der extrakorporalen
		Membranoxygenierung },
	journal = { at – Automatisierungstechnik },
	year = { 2010 },
	volume = { 58 },
	pages = { 277--285 },
	publisher = { Oldenbourg },
	publishedas = { Online },
	issn = { 0178-2312 },
	i11key = { journal },
	i11projectkey = { SmartECLA },
	language = { ger },
	url = { http://publications.embedded.rwth-aachen.de/file/44 },
	timestamp = { 2010.01.28 },
	for_reporting_period = { 2010 },
}

Armoush, A., "Design Patterns for Safety-Critical Embedded Systems," PhD Thesis , 2010.

@phdthesis { Arm10,
	author = { Armoush, Ashraf },
	title = { Design Patterns for Safety-Critical Embedded Systems },
	school = { Embedded Software Laboratory - RWTH Aachen University },
	note = { AIB-2010-13 },
	issn = { 0935-3232 },
	owner = { Ashraf Armoush },
	type = { Dissertation },
	url = { http://aib.informatik.rwth-aachen.de/2010/2010-13.pdf },
	month = { June },
	year = { 2010 },
	i11key = { thesis },
	for_reporting_period = { 2010 },
}

Biallas, S., Frey, G., Kowalewski, S., Schlich, B., and Soliman, D., "Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene", in Proc. Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2010), 2010, ifak Magdeburg, pp. 49-57.

@inproceedings { BFK+10,
	author = { Biallas, Sebastian and Frey, Georg and Kowalewski, Stefan
		and Schlich, Bastian and Soliman, Doaa },
	title = { Formale Verifikation von Sicherheits-Funktionsbausteinen der
		PLCopen auf Modell- und Code-Ebene },
	booktitle = { Tagungsband Entwicklung und Betrieb komplexer
		Automatisierungssysteme (EKA 2010) },
	publisher = { ifak Magdeburg },
	publishedas = { Druck },
	language = { ger },
	pages = { 49--57 },
	year = { 2010 },
	isbn = { 978-3-940961-41-9 },
	location = { Magdeburg, Germany },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Mitsching, R., Weise, C., Gatterdam, T., and Kowalewski, S., "Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems", in Proc. 10th IEEE International Conference on Computer and Information Technology (CIT 2010), 2010, IEEE Computer Society, pp. 2433-2440.

@inproceedings { MWGK10,
	author = { Mitsching, Ralf and Weise, Carsten and Gatterdam, Thomas and
		Kowalewski, Stefan },
	title = { Low Effort Evaluation of Real-Time and Reliability
		Requirements for Embedded Systems },
	booktitle = { 10th IEEE International Conference on Computer and
		Information Technology (CIT 2010) },
	year = { 2010 },
	pages = { 2433-2440 },
	publisher = { IEEE Computer Society },
	doi = { http://doi.ieeecomputersociety.org/10.1109/CIT.2010.418 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Schlich, B., "Model Checking of Software for Microcontrollers", ACM Transactions in Embedded Computing Systems (TECS), vol. 9, iss. 4, pp. 1-27, 2010

@article { Sch10,
	author = { Schlich, Bastian },
	journal = { ACM Transactions in Embedded Computing Systems (TECS) },
	title = { Model Checking of Software for Microcontrollers },
	year = { 2010 },
	volume = { 9 },
	number = { 4 },
	pages = { 1--27 },
	issn = { 1539-9087 },
	doi = { http://doi.acm.org/10.1145/1721695.1721702 },
	publisher = { ACM },
	i11key = { journal },
	for_reporting_period = { 2010 },
}

Stollenwerk, A. and Lang, M., "Embedded Contributions to an Intensive Care Safety Concept", in Proc. ArtistDesign Workshop on Embedded Systems in Healthcare, Eindhoven - The Netherlands, 2009, Invited Talk.

@conference { SL09,
	month = { December },
	organization = { ARTIST },
	owner = { stollenwerk },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/4i },
	author = { Stollenwerk, Andr{\'e} and Lang, Martin },
	title = { Embedded Contributions to an Intensive Care Safety Concept },
	booktitle = { ArtistDesign Workshop on Embedded Systems in Healthcare,
		Eindhoven - The Netherlands },
	year = { 2009 },
	timestamp = { 2009.12.31 },
	i11projectkey = { SmartECLA },
	note = { Invited Talk },
	for_reporting_period = { 2010 },
}

Schmitz, D., Zhang, M., Rose, T., Jarke, M., Polzer, A., Palczynski, J., Kowalewski, S., and Reke, M., "Mapping Requirements Models to Mathematical Models in Control Systems Development", in Proc. Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, 2009, vol. 5562 in Lecture Notes in Computer Science, Springer, pp. 253-264.

@inproceedings { SZR+09,
	author = { Schmitz, Dominik and Zhang, M. and Rose, Thomas and Jarke,
		Matthias and Polzer, Andreas and Palczynski, Jacob and
		Kowalewski, Stefan and Reke, Michael },
	title = { Mapping Requirements Models to Mathematical Models in
		Control Systems Development },
	booktitle = { Model Driven Architecture - Foundations and Applications,
		5th European Conference, ECMDA-FA 2009 },
	year = { 2009 },
	volume = { 5562 },
	series = { Lecture Notes in Computer Science },
	pages = { 253-264 },
	address = { Enschede, The Netherlands },
	publisher = { Springer },
	doi = { http://dx.doi.org/10.1007/978-3-642-02674-4_18 },
	optmonth = { June },
	owner = { polzer },
	timestamp = { 2009.12.15 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Schommer, J. F., Franke, D., Kowalewski, S., and Weise, C., "Evaluation of the Real-Time Java Runtime Environment for Deployment in Time-Critical Systems", in Proc. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES), 2009, ACM, pp. 51-60.

@inproceedings { SFKW09,
	location = { Madrid, Spain },
	doi = { http://doi.acm.org/10.1145/1620405.1620413 },
	author = { Schommer, John F. and Franke, Dominik and Kowalewski, Stefan
		and Weise, Carsten },
	title = { Evaluation of the Real-Time Java Runtime Environment for
		Deployment in Time-Critical Systems },
	booktitle = { 7th International Workshop on Java Technologies for
		Real-Time and Embedded Systems (JTRES) },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-60558-732-5 },
	language = { eng },
	pages = { 51--60 },
	year = { 2009 },
	timestamp = { 2009.12.11 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Kowalewski, S., Garavello, M., Guéguen, H., Herberich, G., Langerak, R., Piccoli, B., Polderman, J. W., and Weise, C., "Handbook of Hybrid Systems Control"Cambridge University Press, 2009, pp. 57-86.

@inbook { KGG+09,
	chapter = { Hybrid Automata },
	pages = { 57-86 },
	title = { Handbook of Hybrid Systems Control },
	publisher = { Cambridge University Press },
	year = { 2009 },
	author = { Kowalewski, Stefan and Garavello, Mauro and Guéguen, Hervé
		and Herberich, Gerlind and Langerak, Rom and Piccoli,
		Benedetto and Polderman, Jan Willem and Weise, Carsten },
	timestamp = { 2009.12.08 },
	for_reporting_period = { Old },
}

Kowalewski, S. and Philippou, A., Eds., Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009, York, UK: Springer, 2009.

@proceedings { KP09,
	number = { 5505 },
	series = { LNCS },
	address = { York, UK },
	editor = { Kowalewski, Stefan and Philippou, Anna },
	title = { Tools and Algorithms for the Construction and Analysis of
		Systems. Proc. TACAS  2009 },
	year = { 2009 },
	timestamp = { 2009.12.08 },
	publisher = { Springer },
	isbn = { 978-3-642-00767-5 },
	i11key = { editor },
	for_reporting_period = { Old },
}

Stollenwerk, A., Jongdee, C., and Kowalewski, S., "An Undergraduate Embedded Software Laboratory for the Masses", in Proc. Workshop on Embedded Systems Education (WESE09), Grenoble, France, New York, NY, USA, 2009, ACM, pp. 34-41.

@inproceedings { SJK09,
	address = { New York, NY, USA },
	month = { October },
	organization = { ARTIST },
	doi = { 10.1145/1719010.1719017 },
	location = { Grenoble, France },
	author = { Stollenwerk, Andr{\'e} and Jongdee,Chate and Kowalewski,
		Stefan },
	title = { An Undergraduate Embedded Software Laboratory for the Masses },
	booktitle = { Workshop on Embedded Systems Education (WESE09), Grenoble,
		France },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-0021-6 },
	language = { eng },
	pages = { 34--41 },
	year = { 2009 },
	timestamp = { 2009.11.19 },
	i11key = { conference },
	i11projectkey = { evaboard },
	url = { http://publications.embedded.rwth-aachen.de/file/3u },
	for_reporting_period = { 2010 },
}

Walter, M., Wartzek, T., Kopp, R., Stollenwerk, A., Kashefi, A., and Leonhardt, S., "Automation of Long Term Extracorporeal Oxygenation Systems", in Proc. European Control Conference (ECC09), Budapest, Hungary, 2009, European Union Control Association.

@inproceedings { WWK+09,
	month = { August },
	organization = { European Union Control Association },
	author = { Walter, Marian and Wartzek, Tobias and Kopp, R{\"u}dger and
		Stollenwerk, Andr{\'e} and Kashefi, Ali and Leonhardt,
		Steffen },
	title = { Automation of Long Term Extracorporeal Oxygenation Systems },
	booktitle = { European Control Conference (ECC09), Budapest, Hungary },
	publisher = { European Union Control Association },
	publishedas = { Druck },
	language = { eng },
	year = { 2009 },
	timestamp = { 2009.11.19 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/3t },
	for_reporting_period = { Old },
}

Botterweck, G., Polzer, A., and Kowalewski, S., "Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems", in Proc. 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2009), Workshop at the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, 2009, vol. Vol-507, CEUR Workshop Proceedings, pp. 107-121.

@inproceedings { BPK09,
	author = { Botterweck, Goetz and Polzer, Andreas and Kowalewski, Stefan },
	title = { Using Higher-order Transformations to Derive Variability
		Mechanism for Embedded Systems },
	booktitle = { 2nd International Workshop on Model Based Architecting and
		Construction of Embedded Systems (ACESMB 2009), Workshop at
		the 12th International Conference on Model Driven
		Engineering Languages and Systems (MoDELS 2009) },
	year = { 2009 },
	editor = { Stefan Van Baelen and Thomas Weigert and Ileana Ober and
		Huascar	Espinoza },
	volume = { Vol-507 },
	pages = { 107 - 121 },
	address = { Denver, Colorado, USA },
	month = { September },
	publisher = { CEUR Workshop Proceedings },
	owner = { polzer },
	timestamp = { 2009.10.19 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Botterweck, G., Pleuss, A., Polzer, A., and Kowalewski, S., "Towards Feature-driven Planning of Product-Line Evolution", in Proc. First Workshop on Feature-Oriented Software Development (FOSD), Workshop at the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), New York, NY, USA, 2009, ACM, pp. 109-116.

@inproceedings { BPPK09,
	author = { Botterweck, Goetz and Pleuss, Andreas and Polzer, Andreas
		and Kowalewski, Stefan },
	title = { Towards Feature-driven Planning of Product-Line Evolution },
	booktitle = { First Workshop on Feature-Oriented Software Development
		(FOSD), Workshop at the 12th International Conference on
		Model Driven Engineering Languages and Systems (MoDELS 2009) },
	year = { 2009 },
	pages = { 109 - 116 },
	address = { New York, NY, USA },
	month = { September },
	publisher = { ACM },
	isbn = { 978-1-60558-567-3 },
	location = { Denver, Colorado },
	owner = { polzer },
	timestamp = { 2009.10.19 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Armoush, A., Beckschulze, E., and Kowalewski, S., "Safety Assessment of Design Patterns for Safety-Critical Embedded Systems", in Proc. 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), 2009, IEEE CS, pp. 523-527.

@inproceedings { ABK09,
	author = { Ashraf Armoush and Eva Beckschulze and Stefan Kowalewski },
	title = { Safety Assessment of Design Patterns for Safety-Critical
		Embedded Systems },
	booktitle = { 35th Euromicro Conference on Software Engineering and
		Advanced Applications (SEAA 2009) },
	year = { 2009 },
	pages = { 523-527 },
	publisher = { IEEE CS },
	owner = { armoush },
	timestamp = { 2009.09.16 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Armoush, A. and Kowalewski, S., "Safety Recommendations for Safety-Critical Design Patterns", in Proc. International Workshop on the Design of Dependable Critical Systems "Hardware, Software, and Human Factors in Dependable System Design" (DDCS 2009), 2009, Universität Heidelberg, pp. 9-16.

@inproceedings { AK09,
	author = { Armoush, Ashraf and Kowalewski, Stefan },
	title = { Safety Recommendations for Safety-Critical Design Patterns },
	booktitle = { International Workshop on the Design of Dependable Critical
		Systems "Hardware, Software, and Human Factors in Dependable
		System Design" (DDCS 2009) },
	publisher = { Universit{\"a}t Heidelberg },
	pages = { 9-16 },
	year = { 2009 },
	owner = { armoush },
	timestamp = { 2009.09.16 },
	url = { http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2009/10072/pdf/Safety_Recommendations_for_Safety_Critical_Design_Patterns.pdf },
	i11key = { conference },
	for_reporting_period = { Old },
}

Botterweck, G., Polzer, A., and Kowalewski, S., "Interactive Configuration of Embedded Systems Product Lines", in Proc. Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), collocated with the 13th International Software Product Line Conference (SPLC 2009), San Francisco, California, USA, 2009, vol. 557, CEUR Workshop Proceedings, pp. 29-35, ISSN 1613-0073.

@inproceedings { BPK09a,
	author = { Botterweck, Goetz and Polzer, Andreas and Kowalewski, Stefan },
	title = { Interactive Configuration of Embedded Systems Product Lines },
	booktitle = { Proceedings of the 1st International Workshop on
		Model-driven Approaches in Software Product Line Engineering
		(MAPLE 2009), collocated with the 13th International
		Software Product Line Conference (SPLC 2009) },
	year = { 2009 },
	editor = { Goetz Botterweck and Iris Groher and Andreas Polzer and
		Christa Schwanninger and Steffen Thiel and Markus Voelter },
	volume = { 557 },
	pages = { 29 - 35 },
	address = { San Francisco, California, USA },
	month = { August },
	publisher = { CEUR Workshop Proceedings },
	note = { ISSN 1613-0073 },
	owner = { andreas.polzer },
	timestamp = { 2009.09.15 },
	url = { http://ceur-ws.org/Vol-557 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Kopp, R., Leonhardt, S., and Kowalewski, S., "Extracorporeal Membrane Oxygenation for Cardiac and Pulmonary Indications: How to Increase Patient Safety?", Vincent, J., Ed. Springer Berlin Heidelberg, 2009, vol. 1, pp. 341-349.

@inbook { KLK09,
	chapter = { IX },
	pages = { 341-349 },
	title = { Extracorporeal Membrane Oxygenation for Cardiac and
		Pulmonary Indications: How to Increase Patient Safety? },
	publisher = { Springer Berlin Heidelberg },
	year = { 2009 },
	editor = { Vincent, Jean-Louis },
	author = { Kopp, R{\"u}dger and Leonhardt, Steffen and Kowalewski,
		Stefan },
	volume = { 1 },
	doi = { 10.1007/978-3-540-92276-6_33 },
	isbn = { 978-3-540-92275-9 },
	journal = { Yearbook of Intensive Care and Emergency Medicine },
	owner = { stollenwerk },
	timestamp = { 2009.09.01 },
	url = { http://www.springerlink.com/content/v37006313h1pp0w2/?p=0b93c1ead6454b3c8ed55c0d07f79770&pi=0 },
	i11projectkey = { SmartECLA },
	for_reporting_period = { Old },
}

Leonhardt, S., Walter, M., Wartzek, T., Kashefi, A., Stollenwerk, A., and Kopp, R., "Regelung des Gasaustauschs für die extrakorporale Oxygenierung", in Proc. Automation 2009, Baden-Baden, Germany, 2009, vol. 2067, VDI, pp. 281-284.

@inproceedings { LWW+09,
	month = { Juni },
	organization = { VDI },
	volume = { 2067 },
	author = { Leonhardt, Steffen and Walter, Marian and Wartzek, Tobias
		and Kashefi, Ali and Stollenwerk, Andr{\'e} and Kopp,
		R{\"u}dger },
	title = { Regelung des Gasaustauschs f{\"u}r die extrakorporale
		Oxygenierung },
	booktitle = { Automation 2009, Baden-Baden, Germany },
	publisher = { VDI },
	publishedas = { Druck },
	language = { ger },
	pages = { 281--284 },
	year = { 2009 },
	timestamp = { 2009.09.01 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/41 },
	for_reporting_period = { Old },
}

Wartzek, T., Walter, M., Stollenwerk, A., Kopp, R., Kashefi, A., and Leonhardt, S., "Automatisierung der extrakorporalen Membranoxygenierung", in Proc. 8. Workshop AUTOMED – Automatisierungstechnische Verfahren für die Medizin, Berlin, Germany, 2009, vol. 17, VDI-Verlag, pp. 25-26, Best Paper Award.

@inproceedings { WWS+09,
	volume = { 17 },
	month = { M{\"a}rz },
	organization = { VDE/VDI },
	owner = { stollenwerk },
	author = { Wartzek, Tobias and Walter, Marian and Stollenwerk,
		Andr{\'e} and Kopp, R{\"u}dger and Kashefi, Ali and
		Leonhardt, Steffen },
	title = { Automatisierung der extrakorporalen Membranoxygenierung },
	booktitle = { 8. Workshop AUTOMED – Automatisierungstechnische Verfahren
		f{\"u}r die Medizin, Berlin, Germany },
	publisher = { VDI-Verlag },
	publishedas = { Druck },
	language = { ger },
	pages = { 25--26 },
	year = { 2009 },
	timestamp = { 2009.09.01 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/3m },
	note = { Best Paper Award },
	for_reporting_period = { Old },
}

Mitsching, R., "Testing in the Industrial Development Process for Embedded Systems", in Proc. Doctoral Symposium on Systems Software Verification (DS SSV’09) Real Software, Real Problems, Real Solutions, 2009, RWTH Aachen University, pp. 23-25.

@inproceedings { Mit09,
	author = { Mitsching, Ralf },
	title = { Testing in the Industrial Development Process for Embedded
		Systems },
	booktitle = { Doctoral Symposium on Systems Software Verification (DS
		SSV’09) Real Software, Real Problems, Real Solutions },
	year = { 2009 },
	pages = { 23--25 },
	publisher = { RWTH Aachen University },
	editor = { Ralf Huuck and Gerwin Klein and Bastian Schlich },
	isbn = { 0935-3232 },
	owner = { mitsching },
	timestamp = { 2009.08.10 },
	url = { http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Polzer, A., Botterweck, G., Wangerin, I., and Kowalewski, S., "Variabilität im modellbasierten Engineering von eingebetteten Systemen", in Proc. 7. Workshop Automotive Software Engineering, 2009, vol. P-154 in Lecture Notes in Informatics (LNI), pp. 2702-2719.

@inproceedings { PBWK09,
	author = { Polzer, Andreas and Botterweck, Goetz and Wangerin, Iris and
		Kowalewski, Stefan },
	title = { Variabilit{\"a}t im modellbasierten {E}ngineering von
		eingebetteten {S}ystemen },
	booktitle = { 7. Workshop Automotive Software Engineering },
	year = { 2009 },
	volume = { P-154 },
	series = { Lecture Notes in Informatics (LNI) },
	pages = { 2702 - 2719 },
	organization = { Gesellschaft für Informatik (GI) },
	owner = { andreas.polzer },
	timestamp = { 2009.06.05 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Gückel, D., "Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages", in Proc. Doctoral Symposium on Systems Software Verification (DS SSV 2009), 2009 in Aachener Informatik-Berichte.

@inproceedings { Guec09,
	author = { G{\"u}ckel, Dominique },
	title = { Retargeting a Hardware-Dependent Model Checker by Using
		Architecture Description Languages },
	booktitle = { Doctoral Symposium on Systems Software Verification (DS SSV
		2009) },
	issn = { 0935–3232 },
	year = { 2009 },
	series = { Aachener Informatik-Berichte },
	owner = { gueckel },
	timestamp = { 2009.06.02 },
	url = { http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2009/2009-14.pdf },
	i11key = { conference },
	for_reporting_period = { Old },
}

Thomas, W., Bollue, K., Gückel, D., Quiros, G., Slaats, M., and Ummels, M., "DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"", it - Information Technology, vol. 4, pp. 222-230, 2009

@article { TBG+09,
	author = { Thomas, Wolfgang and Bollue, Kai and G{\"u}ckel, Dominique
		and Quiros, Gustavo and Slaats, Michaela and Ummels, Michael },
	title = { DFG Research Training Group "Algorithmic Synthesis of
		Reactive and Discrete-Continuous Systems (AlgoSyn)" },
	journal = { it - Information Technology },
	year = { 2009 },
	volume = { 4 },
	pages = { 222-230 },
	owner = { gueckel },
	timestamp = { 2009.05.25 },
	i11key = { journal },
	for_reporting_period = { Old },
}

Armoush, A., Salewski, F., and Kowalewski, S., "A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test", in Proc. The 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008, vol. 1, IEEE CS, pp. 484-491.

@inproceedings { ASK08c,
	author = { Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan },
	title = { A Hybrid Fault Tolerance Method for Recovery Block with a
		Weak Acceptance Test },
	booktitle = { The 5th IEEE/IFIP International Conference on Embedded and
		Ubiquitous Computing (EUC 2008) },
	year = { 2008 },
	volume = { 1 },
	pages = { 484-491 },
	month = { Dec. },
	publisher = { IEEE CS },
	doi = { 10.1109/EUC.2008.102 },
	isbn = { 978-0-7695-3492-3 },
	owner = { Ashraf Armoush },
	timestamp = { 2009.01.20 },
	url = { http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4756378 },
	for_reporting_period = { Old },
}

Armoush, A., Salewski, F., and Kowalewski, S., "Effective Pattern Representation for Safety Critical Embedded Systems", in Proc. 2008 International Conference on Computer Science and Software Engineering, 2008, vol. 4, IEEE CS, pp. 91-97.

@inproceedings { ASK08a,
	author = { Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan },
	title = { Effective Pattern Representation for Safety Critical
		Embedded Systems },
	booktitle = { 2008 International Conference on Computer Science and
		Software Engineering },
	year = { 2008 },
	volume = { 4 },
	pages = { 91--97 },
	month = { Dec. },
	publisher = { IEEE CS },
	doi = { 10.1109/CSSE.2008.739 },
	isbn = { 978-0-7695-3336-0 },
	owner = { Ashraf Armoush },
	timestamp = { 2009.01.12 },
	url = { http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4722571 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Armoush, A., Salewski, F., and Kowalewski, S., "Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems", in Proc. 11th International Conference on Information Technology (ICIT 2008), 2008, IEEE CS, pp. 232-237.

@inproceedings { ASK08b,
	author = { Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan },
	title = { Recovery Block with Backup Voting: A New Pattern with
		Extended Representation for Safety Critical Embedded Systems },
	booktitle = { 11th International Conference on Information Technology
		(ICIT 2008) },
	year = { 2008 },
	pages = { 232--237 },
	month = { Dec. },
	publisher = { IEEE CS },
	doi = { 10.1109/ICIT.2008.60 },
	isbn = { 978-0-7695-3513-5 },
	owner = { Ashraf Armoush },
	timestamp = { 2009.01.12 },
	url = { http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4731332 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Armoush, A., Salewski, F., and Kowalewski, S., "Design Pattern Representation for Safety-Critical Embedded Systems", Journal of Software Engineering and Applications (JSEA), vol. 2, iss. 1, pp. 1-12, 2009

@article { ASK09,
	author = { Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan },
	title = { Design Pattern Representation for Safety-Critical Embedded
		Systems },
	journal = { Journal of Software Engineering and Applications (JSEA) },
	year = { 2009 },
	volume = { 2 },
	pages = { 1--12 },
	number = { 1 },
	month = { April },
	issn = { 1945-3116 (Print) 1945-3124 (Online) },
	owner = { armoush },
	i11key = { journal },
	for_reporting_period = { Old },
}

Brauer, J., Huuck, R., and Schlich, B., "Interprocedural Pointer Analysis in Goanna", Electronic Notes in Theoretical Computer Science, vol. 254, p. 65, 2009, Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)

@article { BHS09,
	author = { Brauer, J{\"o}rg and Huuck, Ralf and Schlich, Bastian },
	title = { Interprocedural Pointer Analysis in Goanna },
	journal = { Electronic Notes in Theoretical Computer Science },
	volume = { 254 },
	pages = { 65–83 },
	year = { 2009 },
	note = { Proceedings of the 4th International Workshop on Systems
		Software Verification (SSV 2009) },
	publisher = { Elsevier },
	issn = { 1571-0661 },
	url = { http://portal.acm.org/citation.cfm?id=1630458 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Beckschulze, E., Salewski, F., and Kowalewski, S., "A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications", in Proc. Safety-Critical Systems, 2009 (SAE World Congress 2009), 2009, SAE International, pp. 209-216.

@inproceedings { BSK09a,
	author = { Beckschulze, Eva and Salewski, Falk and Kowalewski, Stefan },
	title = { A Comparison of Dual-Core Approaches for Safety-Critical
		Automotive Applications },
	booktitle = { Safety-Critical Systems, 2009 (SAE World Congress 2009) },
	publisher = { SAE International },
	pages = { 209--216 },
	isbn = { 978-0-7680-2118-9 },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Brauer, J., Schlich, B., and Kowalewski, S., "Parallel and Distributed Invariant Checking of Microcontroller Software", Electronic Notes in Theoretical Computer Science, vol. 254, p. 45, 2009, Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)

@article { BSK09b,
	title = { Parallel and Distributed Invariant Checking of
		Microcontroller Software },
	journal = { Electronic Notes in Theoretical Computer Science },
	volume = { 254 },
	pages = { 45–63 },
	year = { 2009 },
	note = { Proceedings of the 4th International Workshop on Systems
		Software Verification (SSV 2009) },
	publisher = { Elsevier },
	issn = { 1571-0661 },
	author = { Brauer, J{\"o}rg and Schlich, Bastian and Kowalewski, Stefan },
	url = { http://portal.acm.org/citation.cfm?id=1630177.1630457 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Beckschulze, E., Salewski, F., and Kowalewski, S., "A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications", SAE International Journal of Passenger Cars - Electronic and Electrical Systems, vol. 2, iss. 1, pp. 301-308, 2009

@article { BSK09c,
	author = { Beckschulze, Eva and Salewski, Falk and Kowalewski, Stefan },
	title = { {A Comparison of Dual-Core Approaches for Safety-Critical
		Automotive Applications} },
	journal = { SAE International Journal of Passenger Cars - Electronic and
		Electrical Systems },
	volume = { 2 },
	number = { 1 },
	pages = { 301-308 },
	doi = {  },
	year = { 2009 },
	abstract = { Safety is a requirement concerning an increasing number of
		automotive applications. Recent safety standards set
		requirements for designing safety-critical systems. Among
		others, these specifications include a comprehensive
		detection and handling of hardware faults. Currently
		emerging dual-core microcontrollers provide a cost-effective
		opportunity to fulfill these requirements. In this paper we
		analyze a safety-critical application example and discuss
		two different approaches, an application-specific approach
		and a generic approach for implementing functional safety
		requirements on a dual-core microcontroller. An
		investigation of the associated concepts called  and 
		reveals their differences and at the same time advantages
		and disadvantages. Besides effects on safety, effects on
		reliability, modifiability and costs are evaluated and
		presented graphically. },
	url = { http://saepcelec.saejournals.org/content/2/1/301.abstract },
	eprint = { http://saepcelec.saejournals.org/content/2/1/301.full.pdf+html },
	i11key = { journal },
	for_reporting_period = { Old },
}

Brauer, J., Schlich, B., Reinbacher, T., and Kowalewski, S., "Stack Bounds Analysis of Microcontroller Assembly Code", in Proc. Workshop on Embedded Security (WESS 2009), Grenoble, France, 2009, ACM Press.

@inproceedings { BSRK09,
	author = { Brauer, J{\"o}rg and Schlich, Bastian and Reinbacher, Thomas
		and Kowalewski, Stefan },
	title = { Stack Bounds Analysis of Microcontroller Assembly Code },
	booktitle = { Workshop on Embedded Security (WESS 2009), Grenoble, France },
	year = { 2009 },
	publisher = { ACM Press },
	url = { http://portal.acm.org/citation.cfm?id=1631716.1631721 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Beckschulze, E., Salewski, F., Siegbert, T., and Kowalewski, S., "Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications", in Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08), 2009, vol. 17 in Communications in Computer and Information Science, Springer Berlin Heidelberg, pp. 82-92.

@inproceedings { BSSK09,
	author = { Beckschulze, Eva and Salewski, Falk and  Siegbert, Thomas
		and Kowalewski, Stefan },
	title = { Fault Handling Approaches on Dual-Core Microcontrollers in
		Safety-Critical Automotive Applications },
	booktitle = { Leveraging Applications of Formal Methods, Verification and
		Validation (ISoLA08) },
	year = { 2009 },
	volume = { 17 },
	series = { Communications in Computer and Information Science },
	pages = { 82-92 },
	publisher = { Springer Berlin Heidelberg },
	doi = { 10.1007/978-3-540-88479-8 },
	isbn = { 978-3-540-88478-1 (Print) 978-3-540-88479-8 (Online) },
	issn = { 1865-0929 (Print) 1865-0937 (Online) },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Dülks, R., Salewski, F., and Kowalewski, S., "A Real-Time Test and Simulation Environment Based on Standard FPGA Hardware", in Proc. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC Part 2009), Washington, DC, USA, 2009, IEEE Computer Society, pp. 197-204.

@inproceedings { DSK09,
	author = { D{\"u}lks, Ramona and Salewski, Falk and Kowalewski, Stefan },
	booktitle = { Testing: Academic and Industrial Conference - Practice and
		Research Techniques (TAIC Part 2009) },
	title = { A Real-Time Test and Simulation Environment Based on
		Standard FPGA Hardware },
	pages = { 197--204 },
	isbn = { 978-0-7695-3820-4 },
	doi = { http://dx.doi.org/10.1109/TAICPART.2009.24 },
	publisher = { IEEE Computer Society },
	address = { Washington, DC, USA },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Fehnker, A., Huuck, R., Schlich, B., and Tapp, M., "Automatic Bug Detection in Microcontroller Software by Static Program Analysis", in Proc. SOFSEM 2009: Theory and Practise of Computer Science, Spindleruv Mlýn, Czech Republic, 2009, vol. 5404 in Lecture Notes in Computer Science, Springer, pp. 267-278.

@inproceedings { FHST09,
	author = { Fehnker, Ansgar and Huuck, Ralf and Schlich, Bastian and
		Tapp, Michael },
	booktitle = { SOFSEM 2009: Theory and Practise of Computer Science,
		Spindleruv Ml\'{y}n, Czech Republic },
	doi = { 10.1007/978-3-540-95891-8_26 },
	isbn = { 978-3-540-95890-1 },
	pages = { 267--278 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Automatic Bug Detection in Microcontroller Software by
		Static Program Analysis },
	volume = { 5404 },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Klünder, D., "Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation," PhD Thesis , RWTH Aachen University, 2009.

@phdthesis { Klu09,
	author = { Daniel Kl{\"u}nder },
	title = { Entwurf eingebetteter Software mit abstrakten
		Zustandsmaschinen und Business Object Notation },
	institution = { RWTH Aachen University },
	school = { Embedded Software Laboratory - RWTH Aachen University },
	year = { 2009 },
	number = { AIB-2009-04 },
	month = { feb },
	url = { http://aib.informatik.rwth-aachen.de/2009/2009-04.pdf },
	issn = { 0935-3232 },
	i11key = { thesis },
	for_reporting_period = { Old },
}

Kopp, R., Walter, M., Arens, J., Stollenwerk, A., Leonhardt, S., Schmitz-Rode, T., Kowalewski, S., and Rossaint, R., "Regelungs- und Sicherheitskonzepte für extrakorporale Systeme zur Lungenunterstützung / Automatic control and safety concepts for extracorporeal lung support", Biomedizinische Technik, vol. 54, iss. 5, p. 289, 2009

@article { KWA+09,
	author = { Kopp, R{\"u}dger and Walter, Marian and Arens, Jutta and
		Stollenwerk, Andr{\'e} and  Leonhardt, Steffen and
		Schmitz-Rode, Thomas and Kowalewski, Stefan and Rossaint,
		Rolf },
	title = { Regelungs- und Sicherheitskonzepte für extrakorporale
		Systeme zur Lungenunterstützung / Automatic control and
		safety concepts for extracorporeal lung support },
	journal = { Biomedizinische Technik },
	year = { 2009 },
	volume = { 54 },
	pages = { 289–297 },
	number = { 5 },
	month = { October },
	doi = { 10.1515/BMT.2009.036 },
	issn = { 0013-5585 },
	keywords = { akutes Lungenversagen, Automatisierung, extrakorporale
		Lungenunterstützung, extrakorporale Membranoxygenierung,
		modellbasierte Sicherheitskonzepte, Regelungstechnik, acute
		respiratory distress syndrome, automation, control
		engineering, extracorporeal lung support, extracorporeal
		membrane oxygenation, model-based safety concepts },
	url = { http://publications.embedded.rwth-aachen.de/file/3y },
	i11key = { journal },
	i11projectkey = { SmartECLA },
	for_reporting_period = { Old },
}

Ben Makhlouf, I., Kowalewski, S., Chávez Grunewald, M. G., and Abel, D., "Safety Assessment of Networked Vehicle Platoon Controllers -- Practical Experiences With Available Tools", in Proc. 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain 2009, 2009.

@inproceedings { MKCA09,
	author = { Ben Makhlouf, Ibtissem  and Kowalewski, Stefan and
		Ch\'{a}vez Grunewald, Martin Guillermo and Abel, Dirk },
	title = { Safety Assessment of Networked Vehicle Platoon Controllers
		-- Practical Experiences With Available Tools },
	booktitle = { 3rd IFAC Conference on Analysis and Design of Hybrid
		Systems, Zaragoza, Spain 2009 },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Mitsching, R., Weise, C., Kolbe, A., Bohnenkamp, H., and Berzen, N., "Towards an Industrial Strength Process for Timed Testing", IEEE International Conference on Software Testing, Verification, and Validation, pp. 29-38, 2009

@article { MWK+09,
	author = { Mitsching, Ralf and Weise, Carsten and Kolbe, André and
		Bohnenkamp, Henrik and Berzen, Norbert },
	title = { Towards an Industrial Strength Process for Timed Testing },
	journal = { IEEE International Conference on Software Testing,
		Verification, and Validation },
	volume = { 0 },
	year = { 2009 },
	isbn = { 978-0-7695-3671-2 },
	pages = { 29-38 },
	doi = { http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.42 },
	publisher = { IEEE Computer Society },
	i11key = { journal },
	for_reporting_period = { 2010 },
}

Palczynski, J. and Kowalewski, S., "Early Behaviour Modelling for Control Systems", in Proc. UKSIM European Symposium on Computer Modeling and Simulation, Los Alamitos, CA, USA, 2009, IEEE Computer Society, pp. 148-153.

@inproceedings { PK09,
	author = { Jacob Palczynski and Stefan Kowalewski },
	title = { Early Behaviour Modelling for Control Systems },
	booktitle = { UKSIM European Symposium on Computer Modeling and Simulation },
	year = { 2009 },
	volume = { 0 },
	pages = { 148-153 },
	address = { Los Alamitos, CA, USA },
	publisher = { IEEE Computer Society },
	doi = { http://doi.ieeecomputersociety.org/10.1109/EMS.2009.69 },
	isbn = { 978-0-7695-3886-0 },
	i11key = { conference },
	for_reporting_period = { 2010 },
}

Polzer, A., Kowalewski, S., and Botterweck, G., "Applying Software Product Line Techniques in Model-based Embedded Systems Engineering", in Proc. Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), Workshop at the 31st International Conference on Software Engineering (ICSE 2009), 2009, IEEE Computer Society, pp. 2-10.

@inproceedings { PKB09,
	author = { Polzer, Andreas and Kowalewski, Stefan and Botterweck, Goetz },
	title = { Applying Software Product Line Techniques in Model-based
		Embedded Systems Engineering },
	booktitle = { Model-based Methodologies for Pervasive and Embedded
		Software (MOMPES 2009), Workshop at the 31st International
		Conference on Software Engineering (ICSE 2009) },
	year = { 2009 },
	volume = { 0 },
	pages = { 2-10 },
	month = { May },
	publisher = { IEEE Computer Society },
	day = { 16 },
	doi = { http://doi.ieeecomputersociety.org/10.1109/MOMPES.2009.5069132 },
	isbn = { 978-1-4244-3721-4 },
	owner = { gb },
	shortkey = { PKB09 },
	status = { status-published },
	i11key = { conference },
	for_reporting_period = { Old },
}

Reinbacher, T., Brauer, J., Horauer, M., and Schlich, B., "Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller", in Proc. Industrial Embedded Systems (SIES'09), Lausanne, Switzerland, 2009, IEEE Computer Society Press, pp. 161-170.

@inproceedings { RBHS09,
	author = { Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin
		and Schlich, Bastian },
	booktitle = { Industrial Embedded Systems (SIES'09), Lausanne, Switzerland },
	doi = { 10.1109/SIES.2009.5196212 },
	isbn = { 978-1-4244-4109-9 },
	pages = { 161--170 },
	publisher = { IEEE Computer Society Press },
	title = { Refining Assembly Code Static Analysis for the Intel MCS-51
		Microcontroller },
	year = { 2009 },
	url = { http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5196212 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Reinbacher, T., Horauer, M., Schlich, B., Brauer, J., and Scheuer, F., "Model Checking Assembly Code of an Industrial Knitting Machine", in Proc. Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, 2009, IEEE Computer Society Press, pp. 1-8.

@inproceedings { RHS+09,
	author = { Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian
		and Brauer, J{\"o}rg and Scheuer, Florian },
	title = { Model Checking Assembly Code of an Industrial Knitting
		Machine },
	booktitle = { Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea },
	year = { 2009 },
	publisher = { IEEE Computer Society Press },
	pages = { 1--8 },
	i11key = { conference },
	url = { http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5402986 },
	for_reporting_period = { 2010 },
}

Reinbacher, T., Horauer, M., and Schlich, B., "Using 3-Valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking", in Proc. Design and Diagnostics of Electronic Circuits and Systems (DDECS 2009), Liberec, Czech Republic, 2009, IEEE Computer Society Press, pp. 114-119.

@inproceedings { RHS09,
	author = { Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian },
	booktitle = { Design and Diagnostics of Electronic Circuits and Systems
		(DDECS 2009), Liberec, Czech Republic },
	doi = { 10.1109/DDECS.2009.5012109 },
	isbn = { 978-1-4244-3341-4 },
	pages = { 114--119 },
	publisher = { IEEE Computer Society Press },
	title = { Using 3-Valued Memory Representation for State Space
		Reduction in Embedded Assembly Code Model Checking },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B., Brauer, J., Wernerus, J., and Kowalewski, S., "Direct Model Checking of PLC Programs in IL", in Proc. Dependable Control of Discrete Systems (DCDS'09), Bari, Italy, 2009, pp. 28-33.

@inproceedings { SBWK09,
	author = { Schlich, Bastian and Brauer, J{\"o}rg and Wernerus, J{\"o}rg
		and  Kowalewski, Stefan },
	booktitle = { Dependable Control of Discrete Systems (DCDS'09), Bari,
		Italy },
	isbn = { 978-3-902661-44-9 },
	title = { Direct Model Checking of {PLC} Programs in {IL} },
	year = { 2009 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SBWK09.pdf },
	i11key = { conference },
	pages = { 28--33 },
	for_reporting_period = { Old },
}

Schlich, B. and Kowalewski, S., "Model Checking C Source Code for Embedded Systems", International Journal on Software Tools for Technology Transfer (STTT), vol. 11, iss. 3, pp. 187-202, 2009

@article { SK09,
	author = { Schlich, Bastian and Kowalewski, Stefan },
	doi = { 10.1007/s10009-009-0106-5 },
	issn = { 1433-2779 },
	journal = { International Journal on Software Tools for Technology
		Transfer (STTT) },
	number = { 3 },
	pages = { 187--202 },
	publisher = { Springer },
	read = { No },
	title = { Model Checking {C} Source Code for Embedded Systems },
	volume = { 11 },
	year = { 2009 },
	i11key = { journal },
	for_reporting_period = { Old },
}

Schlich, B., Kowalewski, S., and Wernerus, J., "Verifikation von SPS-Programmen in AWL mit Hilfe von direktem Model-Checking", in Proc. AUTOMATION 2009, Baden-Baden, Germany, Düsseldorf, 2009 in VDI-Berichte, VDI Verlag.

@inproceedings { SKW09,
	address = { D{\"u}sseldorf },
	author = { Schlich, Bastian and Kowalewski, Stefan and Wernerus,
		J{\"o}rg },
	booktitle = { AUTOMATION 2009, Baden-Baden, Germany },
	isbn = { 978-3-18-092067-2 },
	number = { 2067 },
	publisher = { VDI Verlag },
	series = { VDI-Berichte },
	title = { {Verifikation von SPS-Programmen in AWL mit Hilfe von
		direktem Model-Checking} },
	url = { http://publications.embedded.rwth-aachen.de/file/42 },
	year = { 2009 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B., Noll, T., Brauer, J., and Brutschy, L., "Reduction of Interrupt Handler Executions for Model Checking Embedded Software", in Proc. Haifa Verification Conference (HVC 2009), Haifa, Israel, 2009, vol. 6405 in Lecture Notes in Computer Science, Springer, pp. 5-20.

@inproceedings { SNBB09,
	author = { Schlich, B. and Noll, T. and Brauer, J. and Brutschy, L. },
	title = { Reduction of Interrupt Handler Executions for Model Checking
		Embedded Software },
	booktitle = { Haifa Verification Conference (HVC 2009), Haifa, Israel },
	year = { 2009 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SNBB09.pdf },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	volume = { 6405 },
	pages = { 5--20 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Stollenwerk, A., Walter, M., Wartzek, T., Kopp, R., Arens, J., and Kowalewski, S., "A Safety and Control Concept for Extracorporeal Membrane Oxygenation", The International Journal of Artificial Organs, vol. 32, iss. 7, p. 428, 2009

@article { SWW+09,
	author = { Stollenwerk, Andr{\'e} and Walter, Marian and Wartzek,
		Tobias and Kopp, R{\"u}dger and Arens, Jutta and Kowalewski,
		Stefan },
	title = { A Safety and Control Concept for Extracorporeal Membrane
		Oxygenation },
	journal = { The International Journal of Artificial Organs },
	year = { 2009 },
	volume = { 32 },
	pages = { 428 },
	number = { 7 },
	month = { September },
	booktitle = { 36. Annual Meeting European Society for Artificial Organs
		(ESAO09), Compiegne, France },
	issn = { 0391-3988 },
	organization = { ESAO },
	url = { http://www.artificial-organs.com/public/ijao/Article.action?cmd=navigate&urlkey=Public_Details&uid=B21049FA-B9E6-4AF6-96BC-F3AAEB904F59&t=IJAO },
	i11key = { journal },
	i11projectkey = { SmartECLA },
	for_reporting_period = { Old },
}

Ben Makhlouf, I. and Kowalewski, S., "An Evaluation of Two Recent Reachability Analysis Tools for Hybrid Systems", in Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006.

@inproceedings { MK06,
	author = { Ben Makhlouf, Ibtissem and Kowalewski, Stefan },
	title = { An Evaluation of Two Recent Reachability Analysis Tools for
		Hybrid Systems },
	booktitle = { 2nd IFAC Conference on Analysis and Design of Hybrid Systems },
	year = { 2006 },
	month = {  },
	abstract = { The hybrid systems community is still struggling to provide
		practically applicable verification tools. Recently, two new
		tools, PHAVer and Hsolver, were introduced which promise to
		be a further step in this direction. We evaluate and compare
		both tools with the help of several benchmark examples. The
		results show that both have their strengths and weaknesses,
		and that there still is no all-purpose reachability analysis
		tool for hybrid systems. },
	owner = { IBM },
	timestamp = { 2008.09.15 },
	url = { http://www.ifac-papersonline.net/cgi-bin/links/page.cgi?g=Detailed/30190.html;d=1 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Klünder, D., Li, J., and Kowalewski, S., "Design-by-Contract for Embedded Systems", in Proc. International Symposium on Software Variability: a Programmers' Perspective (SVPP 2008), 2008.

@inproceedings { Klu08a,
	author = { Kl{\"u}nder, Daniel and Li, J. and  Kowalewski, Stefan },
	title = { Design-by-Contract for Embedded Systems },
	booktitle = { International Symposium on Software Variability: a
		Programmers' Perspective (SVPP 2008) },
	year = { 2008 },
	owner = { daniel.kluender },
	timestamp = { 2008.07.11 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Klünder, D. and Kowalewski, S., "Scenario-Based Evaluation of Abstract State Machines", in Proc. The 14th International ASM Workshop (ASM'07), 2007.

@conference { KK07,
	editor = { Prinz, Andreas },
	owner = { daniel.kluender },
	url = { http://publications.embedded.rwth-aachen.de/file/4k },
	i11key = { conference },
	author = { Kl{\"u}nder, Daniel and Kowalewski, Stefan },
	title = { Scenario-Based Evaluation of Abstract State Machines },
	booktitle = { The 14th International ASM Workshop (ASM'07) },
	year = { 2007 },
	timestamp = { 2008.06.17 },
	for_reporting_period = { Old },
}

Klünder, D., Kameni, D., and Kowalewski, S., "Nahtloser Entwurf sicherheitskritischer, eingebetteter Softwaresysteme mit abstrakten Zustandsmaschinen und Business Object Notation", in Proc. Entwurf komplexer Automatisierungssysteme (EKA 2008), 2008.

@inproceedings { KKK08,
	author = { Kl{\"u}nder, Daniel and Kameni, Dimitri and Kowalewski,
		Stefan },
	title = { Nahtloser Entwurf sicherheitskritischer, eingebetteter
		Softwaresysteme mit abstrakten Zustandsmaschinen und
		Business Object Notation },
	booktitle = { Entwurf komplexer Automatisierungssysteme (EKA 2008) },
	year = { 2008 },
	editor = { U. Jumar and E. Schnieder and C. Diedrich },
	month = { April },
	organization = { Institut f\"ur Automation und Kommunikation e. V. Magdeburg
		(ifak) },
	isbn = { 978-3-940961-01-3 },
	owner = { daniel.kluender },
	timestamp = { 2008.06.17 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Klünder, D., "Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines", in Proc. Modellierung 2008, 2008 in Lecture Notes in Informatics, pp. 225-228.

@inproceedings { Klu08b,
	author = { Kl{\"u}nder, Daniel },
	title = { Modellierung und Analyse von Fahrzeugsoftware mit Abstract
		State Machines },
	booktitle = { Modellierung 2008 },
	year = { 2008 },
	editor = { T. K{\"u}hne and W. Reisig and F. Steinmann },
	series = { Lecture Notes in Informatics },
	pages = { 225-228 },
	month = { March },
	organization = { Gesellschaft f{\"u}r Informatik },
	isbn = { 978-3-88579-221-5 },
	issn = { 1617-5468 },
	owner = { daniel.kluender },
	timestamp = { 2008.06.17 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Beckers, J., Klünder, D., Kowalewski, S., and Schlich, B., "Direct Support for Model Checking of Abstract State Machines by Utilizing Simulation", in Proc. Abstract State Machines, B and Z (ABZ 2008), London, UK, 2008, vol. 5238 in Lecture Notes in Computer Science, Springer, pp. 112-124.

@inproceedings { BKKS08,
	author = { Beckers, J{\"o}rg and Kl{\"u}nder, Daniel and Kowalewski,
		Stefan  and Schlich, Bastian },
	booktitle = { Abstract State Machines, B and Z (ABZ 2008), London, UK },
	doi = { 10.1007/978-3-540-87603-8_10 },
	isbn = { 978-3-540-87602-1 },
	pages = { 112--124 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Direct Support for Model Checking of Abstract State Machines
		by Utilizing  Simulation },
	volume = { 5238 },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Drews, P., Heßeler, F., Hoffmann, K., Abel, D., Schmitz, D., Polzer, A., and Kowalewski, S., "Entwicklung einer Luftpfadregelung am Dieselmotor unter Berücksichtigung nichtfunktionaler Anforderungen", in Proc. Steuerung und Regelung von Fahrzeugen und Motoren – AUTOREG 2008, Baden-Baden, Germany, 2008, vol. VDI-Berichte Nr. 2009, VDI-Verlag, pp. 91-102.

@inproceedings { DHH+08,
	author = { Drews, Peter  and He{\ss}eler, Frank-Josef and Hoffmann, Kai
		and Abel, Dirk and Schmitz, Dominik and Polzer, Andreas and
		Kowalewski, Stefan },
	title = { {E}ntwicklung einer {L}uftpfadregelung am {D}ieselmotor
		unter {B}er{\"u}cksichtigung nichtfunktionaler
		{A}nforderungen },
	booktitle = { Steuerung und Regelung von Fahrzeugen und Motoren –
		AUTOREG 2008, Baden-Baden, Germany },
	year = { 2008 },
	pages = { 91--102 },
	volume = { VDI-Berichte Nr. 2009 },
	publisher = { VDI-Verlag },
	isbn = { 978-3-18-092009-2 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Huuck, R., Fehnker, A., Seefried, S., and Brauer, J., "Goanna: Syntactic Software Model Checking", in Proc. Automated Technology for Verification and Analysis (ATVA 2008), Seoul, Korea, 2008, vol. 5311 in Lecture Notes in Computer Science, Springer, pp. 216-221.

@inproceedings { HFSB08,
	author = { Huuck, Ralf and Fehnker, Ansgar and Seefried, Sean and
		Brauer, J{\"o}rg },
	bibsource = { DBLP, http://dblp.uni-trier.de },
	booktitle = { Automated Technology for Verification and Analysis (ATVA
		2008), Seoul,  Korea },
	doi = { 10.1007/978-3-540-88387-6 },
	ee = { http://dx.doi.org/10.1007/978-3-540-88387-6_17 },
	isbn = { 978-3-540-88386-9 },
	pages = { 216-221 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Goanna: Syntactic Software Model Checking },
	volume = { 5311 },
	year = { 2008 },
	bdsk-url-1 = { http://dx.doi.org/10.1007/978-3-540-88387-6 },
	url = { http://www.springerlink.com/content/7h567h368nt7v719/ },
	i11key = { conference },
	for_reporting_period = { Old },
}

Herberich, G., Noll, T., Schlich, B., and Weise, C., "Proving Correctness of an Efficient Abstraction for Interrupt Handling", Electronic Notes in Theoretical Computer Science, vol. 217, pp. 133-150, 2008, Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008)

@article { HNSW08,
	author = { Herberich, Gerlind and Noll, Thomas and Schlich, Bastian and
		Weise,  Carsten },
	doi = { 10.1016/j.entcs.2008.06.046 },
	issn = { 1571-0661 },
	journal = { Electronic Notes in Theoretical Computer Science },
	note = { Proceedings of the 3rd International Workshop on Systems
		Software  Verification (SSV 2008) },
	pages = { 133--150 },
	publisher = { Elsevier },
	title = { Proving Correctness of an Efficient Abstraction for
		Interrupt Handling },
	volume = { 217 },
	year = { 2008 },
	i11key = { journal },
	for_reporting_period = { Old },
}

Noll, T. and Schlich, B., "Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code", in Proc. Hardware and Software: Verification and Testing (HVC 2007), Haifa, Israel, 2008, vol. 4899 in Lecture Notes in Computer Science, Springer, pp. 185-201.

@inproceedings { NS08,
	author = { Noll, Thomas and Schlich, Bastian },
	booktitle = { Hardware and Software: Verification and Testing (HVC 2007),
		Haifa,  Israel },
	doi = { 10.1007/978-3-540-77966-7_16 },
	isbn = { 978-3-540-77964-3 },
	issn = { 0302-9743 },
	pages = { 185--201 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Delayed Nondeterminism in Model Checking Embedded Systems
		Assembly  Code },
	volume = { 4899 },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Reinbacher, T., Kramer, M., Horauer, M., and Schlich, B., "Challenges in Embedded Model Checking --- A Simulator for the [mc]square Model Checker", in Proc. Industrial Embedded Systems (SIES 2008), Le Grande Motte, France, 2008, IEEE Computer Society Press, pp. 245-248.

@inproceedings { RKHS08a,
	author = { Reinbacher, Thomas and Kramer, Michael and Horauer, Martin
		and Schlich,  Bastian },
	booktitle = { Industrial Embedded Systems (SIES 2008), Le Grande Motte,
		France },
	doi = { 10.1109/SIES.2008.4577709 },
	isbn = { 978-1-4244-1994-4 },
	pages = { 245--248 },
	publisher = { IEEE Computer Society Press },
	title = { Challenges in Embedded Model Checking --- A Simulator for
		the [mc]square  Model Checker },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Reinbacher, T., Kramer, M., Horauer, M., and Schlich, B., "Motivating Model Checking for Embedded Systems Software", in Proc. Mechatronic and Embedded Systems and Applications (MESA08), Beijing, China, 2008, IEEE Computer Society Press, pp. 546-551.

@inproceedings { RKHS08b,
	author = { Reinbacher, Thomas and Kramer, Michael and Horauer, Martin
		and Schlich,  Bastian },
	booktitle = { Mechatronic and Embedded Systems and Applications (MESA08),
		Beijing,  China },
	doi = { 10.1109/MESA.2008.4735653 },
	isbn = { 978-1-4244-2367-5 },
	pages = { 546--551 },
	publisher = { IEEE Computer Society Press },
	title = { Motivating Model Checking for Embedded Systems Software },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F., "Empirical Evaluations of Safety-Critical Embedded Systems," PhD Thesis , 2008.

@phdthesis { Sal08,
	author = { Salewski, Falk },
	title = { Empirical Evaluations of Safety-Critical Embedded Systems },
	school = { Embedded Software Laboratory - RWTH Aachen University },
	year = { 2008 },
	note = { AIB-2008-18 },
	issn = { 0935-3232 },
	owner = { Falk Salewski },
	url = { http://aib.informatik.rwth-aachen.de },
	i11key = { thesis },
	for_reporting_period = { Old },
}

Schlich, B., "Model Checking of Software for Microcontrollers," PhD Thesis , Aachen, Germany, 2008.

@phdthesis { Sch08,
	address = { Aachen, Germany },
	author = { Schlich, Bastian },
	issn = { 0935-3232 },
	month = { June },
	school = { RWTH Aachen University },
	title = { Model Checking of Software for Microcontrollers },
	type = { Dissertation },
	url = { http://aib.informatik.rwth-aachen.de/2008/2008-14.pdf },
	year = { 2008 },
	i11key = { thesis },
	for_reporting_period = { Old },
}

Drews, P., Heßeler, F., Schmitz, D., Polzer, A., Kowalewski, S., and Abel, D., "Entwicklungsprozess für eine Luftpfadregelung am Dieselmotor unter Berücksichtigung nichtfunktionaler Anforderungen", in Proc. Systeme von morgen - Technische Innovationen und Entwicklungstrends, 2008, Haus der Technik, pp. 167-179.

@inproceedings { SDH+08a,
	author = { Drews, Peter and He{\ss}eler, Frank and Schmitz, Dominik and
		Polzer, Andreas and Kowalewski, Stefan and Abel, Dirk },
	title = { {E}ntwicklungsprozess f{\"u}r eine {L}uftpfadregelung am
		{D}ieselmotor unter {B}er{\"u}cksichtigung nichtfunktionaler
		{A}nforderungen },
	booktitle = { Systeme von morgen - Technische Innovationen und
		Entwicklungstrends },
	year = { 2008 },
	pages = { 167--179 },
	crossref = { DBLP:conf/se/2008 },
	publisher = { Haus der Technik },
	isbn = { 978-3-8169-2819-5 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schmitz, D., Drews, P., Heßeler, F., Jarke, M., Kowalewski, S., Palczynski, J., Polzer, A., Reke, M., and Rose, T., "Modellbasierte Anforderungserfassung für softwarebasierte Regelungen", in Proc. Software Engineering, 2008, vol. 121 in LNI, GI, pp. 257-271.

@inproceedings { SDH+08b,
	author = { Schmitz, Dominik and Drews, Peter and He{\ss}eler, Frank and
		Jarke, Matthias and Kowalewski, Stefan and Palczynski, Jacob
		and Polzer, Andreas and Reke, Michael and Rose, Thomas },
	title = { {M}odellbasierte {A}nforderungserfassung f{\"u}r
		softwarebasierte {R}egelungen },
	booktitle = { Software Engineering },
	year = { 2008 },
	pages = { 257--271 },
	crossref = { DBLP:conf/se/2008 },
	publisher = { GI },
	series = { LNI },
	volume = { 121 },
	isbn = { 978-3-88579-215-4 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B., Gückel, D., and Kowalewski, S., "Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking", in Proc. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, Budapest, Hungary, 2008, L'Harmattan, pp. 27-34.

@inproceedings { SGK08,
	address = { Budapest, Hungary },
	author = { Schlich, Bastian and G{\"u}ckel, Dominique and Kowalewski,
		Stefan },
	booktitle = { Formal Methods for Automation and Safety in Railway and
		Automotive  Systems (FORMS/FORMAT 2008), Budapest, Hungary },
	editor = { Tarnai, G. and Schnieder, E. },
	isbn = { 978-963-236-138-3 },
	pages = { 27--34 },
	publisher = { L'Harmattan },
	title = { Modeling the Environment of Microcontrollers to Tackle the
		State-Explosion  Problem in Model Checking },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "The Effect of Real-Time Software Reuse in FPGAs and Microcontrollers with respect to Software Faults", in Proc. Industrial Embedded Systems (SIES'08), 2008, IEEE, pp. 141-148.

@inproceedings { SK08a,
	author = { Salewski, Falk  and Kowalewski, Stefan },
	title = { The Effect of Real-Time Software Reuse in FPGAs and
		Microcontrollers with respect to Software Faults },
	booktitle = { Industrial Embedded Systems (SIES'08) },
	pages = { 141-148 },
	publisher = { IEEE },
	year = { 2008 },
	isbn = { 978-1-4244-1995-1 },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Hardware/Software Design Considerations for Automotive Embedded Systems", IEEE Transactions on Industrial Informatics, vol. 4, iss. 3, pp. 156-163, 2008

@article { SK08b,
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { Hardware/Software Design Considerations for Automotive
		Embedded Systems },
	journal = { IEEE Transactions on Industrial Informatics },
	year = { 2008 },
	volume = { 4 },
	pages = { 156 - 163 },
	number = { 3 },
	month = { Aug },
	issn = { 1551-3203 },
	owner = { Falk Salewski },
	i11key = { journal },
	for_reporting_period = { Old },
}

Schlich, B., Löll, J., and Kowalewski, S., "Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code", in Proc. Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin, Germany, 2008, vol. 4916 in Lecture Notes in Computer Science, Springer, pp. 21-37.

@inproceedings { SLK08,
	author = { Schlich, Bastian and L{\"o}ll, Jann and Kowalewski, Stefan },
	booktitle = { Formal Methods for Industrial Critical Systems (FMICS 2007),
		Berlin,  Germany },
	doi = { 10.1007/978-3-540-79707-4_4 },
	isbn = { 978-3-540-79706-7 },
	pages = { 21--37 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Application of Static Analyses for State Space Reduction to
		Microcontroller  Assembly Code },
	volume = { 4916 },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Taylor, A., "Systematic Considerations for the Application of FPGAs in Industrial Applications", in Proc. Industrial Electronics 2008(ISIE'08), 2008.

@inproceedings { ST08,
	author = { Salewski, Falk and Taylor, Adam },
	title = { Systematic Considerations for the Application of FPGAs in
		Industrial Applications },
	booktitle = { Industrial Electronics 2008(ISIE'08) },
	year = { 2008 },
	isbn = { 978-1-4244-1666-0 },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Wilking, D., "Empirical Studies for the Application of Agile Methods to Embedded Systems," PhD Thesis , RWTH Aachen University, 2008.

@phdthesis { Wil08,
	institution = { RWTH Aachen University },
	number = { AIB-2008-19 },
	author = { Wilking, Dirk },
	title = { Empirical Studies for the Application of Agile Methods to
		Embedded Systems },
	school = { Embedded Software Laboratory - RWTH Aachen University },
	type = { thesis },
	year = { 2008 },
	month = { dec },
	i11key = { thesis },
	url = { http://aib.informatik.rwth-aachen.de/2008/2008-19.pdf },
	for_reporting_period = { Old },
}

Wilking, D. and Kowalewski, S., "Analyzing Software Engineering Processes on Source Code Level", in Proc. New trends in software methodologies, tools and techniques (SOMET'2007), 2007 in Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 305-314.

@inproceedings { WK07,
	author = { Wilking, Dirk and Kowalewski, Stefan },
	title = { Analyzing Software Engineering Processes on Source Code
		Level },
	booktitle = { New trends in software methodologies, tools and techniques
		(SOMET'2007) },
	pages = { 305-314 },
	publisher = { IOS Press },
	series = { Frontiers in Artificial Intelligence and Applications },
	year = { 2007 },
	editor = { Hamido Fujita and Domenico M. Pisanelli },
	owner = { dirk.wilking },
	timestamp = { 2007.09.05 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Wilking, D., Schili, D., and Kowalewski, S., "Measuring the Human Factor with the Rasch Model", in Proc. Balancing Agility and Formalism in Software Engineering (CEE-SET 2007), 2007, vol. 5082 in LNCS, Springer, pp. 157-168.

@inproceedings { WSK07,
	author = { Wilking, Dirk and Schili, David and Kowalewski, Stefan },
	title = { Measuring the Human Factor with the Rasch Model },
	booktitle = { Balancing Agility and Formalism in Software Engineering
		(CEE-SET 2007) },
	year = { 2007 },
	editor = { Bertrand Meyer and J.R. Nawrocki and Bartosz Walter },
	volume = { 5082 },
	series = { LNCS },
	pages = { 157-168 },
	publisher = { Springer },
	isbn = { 978-3-540-85278-0 },
	issn = { 0302-9743 },
	doi = { http://dx.doi.org/10.1007/978-3-540-85279-7_13 },
	owner = { dirk.wilking },
	timestamp = { 2007.09.05 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Chen, X., Salewski, F., Kowalewski, S., and Spisic, K., "Concept and Prototyping of a Fault Management Framework for Automotive Safety Relevant Systems", in Proc. Moderne Elektronik im Kraftfahrzeug II, 2007, expert-verlag, pp. 70-79.

@inproceedings { CKSS07,
	author = { Chen, Xi  and  Salewski, Falk and Kowalewski, Stefan  and
		Spisic, Kresimir },
	title = { Concept and Prototyping of a Fault Management Framework for
		Automotive Safety Relevant Systems },
	booktitle = { Moderne Elektronik im Kraftfahrzeug II },
	year = { 2007 },
	pages = { 70-79 },
	publisher = { expert-verlag },
	isbn = { 978-3-8169-2668-9 },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches", in Proc. Computer Safety, Reliability, and Security (SAFECOMP'07), 2007, vol. 4680/2007 in Lecture Notes in Computer Science, Springer, pp. 270-275.

@inproceedings { SK07a,
	author = { Salewski, Falk and  Kowalewski, Stefan },
	title = { Achieving Highly Reliable Embedded Software: An Empirical
		Evaluation of Different Approaches },
	booktitle = { Computer Safety, Reliability, and Security (SAFECOMP'07) },
	year = { 2007 },
	editor = { Francesca Saglietti and Norbert Oster },
	volume = { 4680/2007 },
	series = { Lecture Notes in Computer Science },
	pages = { 270-275 },
	month = { Sept. },
	publisher = { Springer },
	isbn = { 978-3-540-75100-7 },
	issn = { 0302-9743 },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Hardware Platform Design Decisions In Embedded Systems - A Systematic Teaching Approach", in Proc. Special Issue on the Second Workshop on Embedded System Education (WESE'06), 2007, vol. 4, ACM, pp. 27-35.

@inproceedings { SK07b,
	volume = { 4 },
	month = { Jan. },
	organization = { SIGBED Review },
	owner = { Falk Salewski },
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { Hardware Platform Design Decisions In Embedded Systems - A
		Systematic Teaching Approach },
	booktitle = { Special Issue on the Second Workshop on Embedded System
		Education (WESE'06) },
	publisher = { ACM },
	publishedas = { Druck Online },
	issn = { 1551-3688 },
	language = { eng },
	pages = { 27--35 },
	year = { 2007 },
	i11key = { conference },
	i11projectkey = { evaboard },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations", in Proc. IEEE Symposium on Industrial Embedded Systems (SIES'07), 2007, IEEE, pp. 78-85.

@inproceedings { SK07d,
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { The Effect of Hardware Platform Selection on Safety-Critical
		Software in Embedded Systems: Empirical Evaluations },
	booktitle = { IEEE Symposium on Industrial Embedded Systems (SIES'07) },
	year = { 2007 },
	pages = { 78-85 },
	month = { July },
	publisher = { IEEE },
	isbn = { 1-4244-0840-7 },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Testing Issues in Empirical Reliability Evaluation of Embedded Real-Time Systems", in Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, WiP session (RTAS'07), 2007, vol. Technical Report WUCSE-2007-17, Washington University in St. Louis, pp. 48-51.

@inproceedings { SK07e,
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { Testing Issues in Empirical Reliability Evaluation of
		Embedded Real-Time Systems },
	booktitle = { IEEE Real-Time and Embedded Technology and Applications
		Symposium, WiP session (RTAS'07) },
	year = { 2007 },
	volume = { Technical Report WUCSE-2007-17 },
	pages = { 48-51 },
	month = { March },
	publisher = { Washington University in St. Louis },
	owner = { Falk Salewski },
	url = { http://cse.wustl.edu/Research/Lists/Technical%20Reports/Attachments/792/proceedings.pdf#page=54 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B. and Kowalewski, S., "An Extendable Architecture for Model Checking Hardware-Specific Automotive Microcontroller Code", in Proc. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig, Germany, Braunschweig, Germany, 2007, GZVB, pp. 202-212.

@inproceedings { SK07f,
	address = { Braunschweig, Germany },
	author = { Schlich, Bastian and Kowalewski, Stefan },
	booktitle = { Formal Methods for Automation and Safety in Railway and
		Automotive  Systems (FORMS/FORMAT 2007), Braunschweig,
		Germany },
	editor = { Schnieder, E. and Tarnai, G. },
	isbn = { 978-3-937655-09-3 },
	pages = { 202--212 },
	publisher = { GZVB },
	title = { An Extendable Architecture for Model Checking
		Hardware-Specific Automotive Microcontroller Code },
	year = { 2007 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B., Salewski, F., and Kowalewski, S., "Applying Model Checking to an Automotive Microcontroller Application", in Proc. Industrial Embedded Systems (SIES'07), Lisbon, Portugal, 2007, IEEE Computer Society Press, pp. 209-216.

@inproceedings { SSK07,
	author = { Schlich, , Bastian and Salewski, Falk and Kowalewski, Stefan },
	booktitle = { Industrial Embedded Systems (SIES'07), Lisbon, Portugal },
	doi = { 10.1109/SIES.2007.4297337 },
	isbn = { 1-4244-0840-7 },
	pages = { 209--216 },
	publisher = { IEEE Computer Society Press },
	title = { Applying Model Checking to an Automotive Microcontroller
		Application },
	year = { 2007 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Taylor, A., "Fault Handling in FPGAs and Microcontrollers in Safety-Critical Embedded Applications: A Comparative Survey", in Proc. 10th Euromicro Conference on Digital System Design (DSD'07), 2007, IEEE, pp. 124-131.

@inproceedings { ST07,
	author = { Salewski, Falk and Taylor, Adam },
	title = { Fault Handling in {FPGAs} and Microcontrollers in
		Safety-Critical Embedded Applications: A Comparative Survey },
	booktitle = { 10th Euromicro Conference on Digital System Design (DSD'07) },
	year = { 2007 },
	editor = { Hana Kubatova },
	pages = { 124-131 },
	month = { Aug. },
	publisher = { IEEE },
	isbn = { 0-7695-2978-X },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Klünder, D., "TRIZ for Software Architecture", in Proc. Creativity, Quality and Efficiency - Building an Innovation Culture (TRIZ Future 2006), 2006, vol. 1: Scientific Contributions, pp. 93-98.

@inproceedings { Klu06a,
	author = { Kl{\"u}nder, Daniel },
	title = { TRIZ for Software Architecture },
	booktitle = { Creativity, Quality and Efficiency - Building an Innovation
		Culture (TRIZ Future 2006) },
	year = { 2006 },
	editor = { Joost R. Duflou and Joris D'hondt and Tom Devoldere and
		Simon Dewulf and Nele Dekeyser },
	volume = { 1: Scientific Contributions },
	pages = { 93-98 },
	isbn = { 90-77071-05-9 },
	owner = { daniel.kluender },
	timestamp = { 2006.12.19 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Klünder, D., "An Approach to Resolving Contradictions in Software Architecture Design", in Proc. Perspectives in Software Architecture Quality (QoSA 2006), 2006, Universität Karlsruhe, Fakultät für Informatik, pp. 59-63.

@inproceedings { Klu06b,
	author = { Kl{\"u}nder, Daniel },
	title = { An Approach to Resolving Contradictions in Software
		Architecture Design },
	booktitle = { Perspectives in Software Architecture Quality (QoSA 2006) },
	year = { 2006 },
	editor = { Christine Hofmeister and Ivica Crnkovic and Ralf Reussner
		and Steffen Becker },
	pages = { 59-63 },
	month = { June 27-29 },
	publisher = { Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik },
	issn = { 1432 - 7864 },
	owner = { daniel.kluender },
	timestamp = { 2006.12.19 },
	url = { http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=ira/2006/10 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Wilking, D. and Kowalewski, S., "Agile Methods for Embedded Systems", in Proc. Extreme Programming and Agile Processes in Software Engineering (XP 2005), 2005, vol. 3556/2005, Springer, pp. 319-320.

@inproceedings { WK05,
	author = { Wilking, Dirk and Kowalewski, Stefan },
	title = { Agile Methods for Embedded Systems },
	booktitle = { Extreme Programming and Agile Processes in Software
		Engineering (XP 2005) },
	year = { 2005 },
	editor = { Hubert Baumeister and Michele Marchesi and Mike Holcombe },
	volume = { 3556/2005 },
	pages = { 319-320 },
	publisher = { Springer },
	isbn = { 978-3-540-26277-0 },
	issn = { 0302-9743 },
	owner = { dirk.wilking },
	timestamp = { 2006.12.19 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Wilking, D., Khan, U. F., and Kowalewski, S., "An Empirical Evaluation of Refactoring", Software Development Theory, Practice and Experimentation, vol. 1, iss. 1, pp. 28-44, 2007

@article { WKK07,
	author = { Wilking, Dirk and Khan, Umar Farooq and Kowalewski, Stefan },
	title = { An Empirical Evaluation of Refactoring },
	journal = { Software Development Theory, Practice and Experimentation },
	year = { 2007 },
	volume = { 1 },
	pages = { 28--44 },
	number = { 1 },
	month = { February },
	owner = { dirk.wilking },
	timestamp = { 2006.12.19 },
	i11key = { journal },
	for_reporting_period = { Old },
}

Mitsching, R. and Kowalewski, S., "Coping with the Variability of Hybrid Models for Automotive Software", in Proc. HYCON & CEmACS Workshop on Automotive Systems and Control, Lund, 2006, University Lund, Dept. Automatic Control, pp. 31-38.

@inproceedings { MK06a,
	author = { Mitsching, Ralf and Kowalewski, Stefan },
	title = { Coping with the Variability of Hybrid Models for Automotive
		Software },
	booktitle = { HYCON & CEmACS Workshop on Automotive Systems and Control,
		Lund },
	year = { 2006 },
	pages = { 31--38 },
	publisher = { University Lund, Dept. Automatic Control },
	i11key = { conference },
	for_reporting_period = { Old },
}

Palczynski, J., Schlich, B., and Kowalewski, S., "Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern", in Proc. Informatik 2006: Informatik für Menschen (INFORMATIK 2006), Dresden, Germany, 2006, vol. 1 in Lecture Notes in Informatics, Gesellschaft für Informatik e.V., pp. 751-755.

@inproceedings { PSK06,
	author = { Palczynski, Jacob and Schlich, Bastian and Kowalewski,
		Stefan },
	booktitle = { Informatik 2006: Informatik f{\"u}r Menschen (INFORMATIK
		2006), Dresden,  Germany },
	isbn = { 978-3-88579-187-4 },
	issn = { 1617-5468 },
	number = { P-93 },
	pages = { 751--755 },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. },
	series = { Lecture Notes in Informatics },
	title = { {Eine Evaluationssuite zur schnellen Bewertung von
		Matlab/Simulink-Modelcheckern} },
	volume = { 1 },
	year = { 2006 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications", in Proc. IEEE Symposium on Industrial Embedded Systems (IES'06), 2006, IEEE, pp. 1-4.

@inproceedings { SK06a,
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { Exploring the Differences of FPGAs and Microcontrollers for
		their Use in Safety-Critical Embedded Applications },
	booktitle = { IEEE Symposium on Industrial Embedded Systems (IES'06) },
	year = { 2006 },
	pages = { 1-4 },
	month = { Oct. },
	publisher = { IEEE },
	isbn = { 1-4244-0777-X },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B. and Kowalewski, S., "[mc]square: A model checker for microcontroller code", in Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus, 2006, IEEE Computer Society Press, pp. 466-473.

@inproceedings { SK06b,
	author = { Schlich, Bastian and Kowalewski, Stefan },
	booktitle = { Leveraging Applications of Formal Methods, Verification and
		Validation (ISoLA 2006), Paphos, Cyprus },
	doi = { 10.1109/ISoLA.2006.62 },
	isbn = { 978-0-7695-3071-0 },
	pages = { 466--473 },
	publisher = { IEEE Computer Society Press },
	title = { [mc]square: A model checker for microcontroller code },
	year = { 2006 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B., Rohrbach, M., Weber, M., and Kowalewski, S., "Model Checking Software for Microcontrollers", RWTH Aachen University, Aachen, Germany, AIB-2006-11, 2006.

@techreport { SRWK06,
	address = { Aachen, Germany },
	author = { Schlich, Bastian and Rohrbach, Michael and Weber, Michael
		and Kowalewski, Stefan },
	institution = { RWTH Aachen University },
	issn = { 0935-3232 },
	number = { AIB-2006-11 },
	title = { Model Checking Software for Microcontrollers },
	url = { http://aib.informatik.rwth-aachen.de/2006/2006-11.pdf },
	year = { 2006 },
	for_reporting_period = { Old },
}

Salewski, F., Wilking, D., and Kowalewski, S., "The effect of diverse hardware platforms on N-version programming in embedded systems - an empirical evaluation", in Proc. Proc. of the 3rd. Workshop on Dependable Embedded Sytems (WDES'06), 2006, vol. TR 105/2006, Vienna University of Technology, pp. 61-66.

@inproceedings { SWK06,
	author = { Salewski, Falk and Wilking, Dirk and Kowalewski, Stefan },
	title = { The effect of diverse hardware platforms on {N-version
		programming} in embedded systems - an empirical evaluation },
	booktitle = { Proc. of the 3rd. Workshop on Dependable Embedded Sytems
		(WDES'06) },
	year = { 2006 },
	volume = { TR 105/2006 },
	pages = { 61-66 },
	month = { Nov. },
	publisher = { Vienna University of Technology },
	institution = { Vienna University of Technology },
	owner = { Falk Salewski },
	type = { Proceedings of the 3rd International Workshop on Dependable
		Embedded Sytems },
	i11key = { conference },
	for_reporting_period = { Old },
}

Schlich, B. and Kowalewski, S., "Model Checking C Source Code for Embedded Systems", in Proc. IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2005), Columbia, Maryland, USA, Maryland, USA, 2005, NASA, pp. 65-77, NASA/CP-2005-212788.

@inproceedings { SK05,
	address = { Maryland, USA },
	author = { Schlich, Bastian and Kowalewski, Stefan },
	booktitle = { IEEE/NASA Workshop on Leveraging Applications of Formal
		Methods,  Verification, and Validation (ISoLA 2005),
		Columbia, Maryland, USA },
	month = { September },
	note = { NASA/CP-2005-212788 },
	pages = { 65--77 },
	publisher = { NASA },
	title = { Model Checking {C} Source Code for Embedded Systems },
	year = { 2005 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Zuverlässigkeitsmechanismen für Eingebettete Systeme", in Proc. Workshop on Zuverlässigkeit in eingebetteten Systemen - Ada Deutschland Tagung, 2005, Shaker Verlag, pp. 39-51.

@inproceedings { SK05b,
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { {Z}uverl\"assigkeitsmechanismen f\"ur {E}ingebettete
		{S}ysteme },
	booktitle = { Workshop on Zuverl\"assigkeit in eingebetteten Systemen -
		Ada Deutschland Tagung },
	year = { 2005 },
	pages = { 39-51 },
	publisher = { Shaker Verlag },
	isbn = { 3-8322-4522-7 },
	issn = { 1433-9986 },
	owner = { Falk Salewski },
	i11key = { conference },
	for_reporting_period = { Old },
}

Salewski, F. and Kowalewski, S., "Zuverlässigkeitsmechanismen für Eingebettete Systeme", GI Softwaretechnik-Trends, vol. 25, iss. 4, pp. 7-8, 2005

@article { SK05c,
	author = { Salewski, Falk and Kowalewski, Stefan },
	title = { Zuverl{\"a}ssigkeitsmechanismen f\"ur Eingebettete Systeme },
	journal = { GI Softwaretechnik-Trends },
	year = { 2005 },
	volume = { 25 },
	pages = { 7-8 },
	number = { 4 },
	issn = { 0720-8928 },
	owner = { Falk Salewski },
	i11key = { journal },
	for_reporting_period = { Old },
}

Salewski, F., Wilking, D., and Kowalewski, S., "Diverse hardware platforms in embedded systems lab courses: A way to teach the differences", in Proc. Special Issue: The First Workshop on Embedded System Education (WESE), 2005, vol. 2, ACM, pp. 70-74.

@inproceedings { SWK05,
	volume = { 2 },
	month = { Oct. },
	organization = { SIGBED Review },
	doi = { http://doi.acm.org/10.1145/1121812.1121825 },
	owner = { Falk Salewski },
	author = { Salewski, Falk and Wilking, Dirk and Kowalewski, Stefan },
	title = { Diverse hardware platforms in embedded systems lab courses:
		A way to teach the differences },
	booktitle = { Special Issue: The First Workshop on Embedded System
		Education (WESE) },
	publisher = { ACM },
	publishedas = { Online },
	issn = { 1551-3688 },
	language = { eng },
	pages = { 70--74 },
	year = { 2005 },
	i11key = { conference },
	i11projectkey = { evaboard },
	url = { http://doi.acm.org/10.1145/1121812.1121825 },
	for_reporting_period = { Old },
}

Schlich, B. and Kowalewski, S., "C Model Checker: Eine Übersicht", Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany, RWTH-I11-2004-1, 2004.

@techreport { SK04,
	address = { Aachen, Germany },
	author = { Schlich, Bastian and Kowalewski, Stefan },
	institution = { Embedded Software Laboratory, RWTH Aachen University },
	number = { RWTH-I11-2004-1 },
	title = { {C Model Checker: Eine {\"U}bersicht} },
	year = { 2004 },
	for_reporting_period = { Old },
}