Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Publications
Biallas, S.; Brauer, J. & Kowalewski, S. Counterexample-Guided Abstraction Refinement for
PLCs. 5th International Workshop on Systems Software Verification (SSV 2010), Vancouver,
Canada, 2010, to appear.
Biallas, S.; Brauer, J.; Kowalewski, S. & Schlich, B. Automatically Deriving Symbolic
Invariants for PLC Programs Written in IL. FORMS/FORMAT, 2010, to appear.
Biallas, S.; Brauer, J.; Gückel, D. & Kowalewski, S. On-The-Fly Path Reduction. 4th
International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2010),
2010, to appear.
Biallas, S.; Frey, G.; Kowalewski, S.; Schlich, B. & Soliman, D. Formale Verifikation von
Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene. Tagungsband
Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2010), 2010, pp. 49-57.
Botterweck, G.; Polzer, A. & Kowalewski, S. Variability and Evolution in Model-based
Engineering of Embedded Systems. 6. Dagstuhl-Workshop Model-Based Development of
Embedded Systems (MBEES 2010), 2010, pp. 87-96.
Brauer, J.; Kamin, V.; Kowalewski, S. & Noll, T. Loop Refinement using Octagons and
Satisfiability. 5th International Workshop on Systems Software Verification (SSV 2010),
Vancouver, Canada, 2010, to appear.
Brauer, J. & King, A. Automatic Abstraction for Intervals using Boolean Formulae. Static
Analysis Symposium (SAS 2010), Perpignan, France, Springer, 2010, 6337, pp. 167-183.
Brauer, J.; King, A. & Kowalewski, S. Range Analysis of Microcontroller Code using Bit-
Level Congruences. Formal Methods for Industrial Critical Systems (FMICS 2010), Antwerp,
Belgium, Springer, 2010, Vol. 6371, pp. 82-98.
Brauer, J.; Noll, T. & Schlich, B. Interval Analysis of Microcontroller Code using Abstract
Interpretation of Hardware and Software. Proceedings of the 13th International Workshop on
Software and Compilers for Embedded Systems (SCOPES 2010), ACM, 2010, to appear.
Chávez Grunewald, M.; Ben Makhlouf, I.; Diab, H.; Abel, D. & Kowalewski, S. On the
Effects of Network Delays on an Energy-based Controller. 2nd IFAC Workshop on
Distributed Estimation and Control in Networked Systems(NecSys' 2010), 2010, pp. 169-174.
Chávez Grunewald, M.; Ben Makhlouf, I.; Diab, H.; Mut, V.; Kowalewski, S. & Abel, D.
Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe
energiebasierter Methoden. at – Automatisierungstechnik, 2010, Vol. 58, pp. 227-235.
Diab, H.; Chávez Grunewald, M.; Ben Makhlouf, I.; Abel, D. & Kowalewski, S. A Testing
Platform for Cooperative Vehicle Platoon Controllers. 13th International IEEE Conference on
Intelligent Transportation Systems (ITSC 2010), 2010, pp. 1718 - 1723.
Franke, D. & Kowalewski, S. Verifikation der Java-Echtzeitfähigkeit für den Einsatz in
zeitkritischen Systemen . Gesellschaft für Informatik Seminars, Informatiktage 2010, 2010,
pp. 165-168.
Gückel, D. Synthesis of Hardware Simulators for Use in Model Checking. Dagstuhl 2010.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer
Science, 2010, p. 76.
377