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

Other Activities
Stefan Kowalewski
• Speaker of the Computer Science Department, RWTH Aachen University (until
09/2010)
• Member of the Board, Regional Competence Network for Information Technology
“REGINA”, Aachen, Germany
• Member of the Board, „Forum Informatik“ of RWTH Aachen University (until
04/2010)
• Member of the Steering Committee, Special Interest Group “Automotive Software
Engineering” German Society for Computer Science (GI)
• Associate Editor, “Journal on Discrete Event Dynamic Systems: Theory and
Applications”, Springer Verlag
• Member Editorial Board, „at-Automatisierungstechnik“, Oldenbourg-Verlag
• Program Co-Chair conference “Formal Methods for Industrially Critical Systems”
(FMICS), Antwerp, 2010
• Program committee memberships: 8th IEEE/IFIP International Conference on
Embedded and Ubiquitous Computing (EUC-2010), ACM/IEEE 1st International
Conference on Cyber-Physical Systems (ICCPS 2010), Sixteenth International
Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2010), 13th International IEEE Conference on Intelligent Transportation
Systems (ITSC 2010), 6. Dagstuhl-Workshop MBEES 2010: Modellbasierte
Entwicklung eingebetteter Systeme, 7th International Workshop on Model-Based
Methodologies for Pervasive and Embedded Software (MOMPES 2010), 1st
International Workshop on Model-driven Approaches in Software Product Line
Engineering (MAPLE 2009), 8. GI-Workshop Automotive Software Engineering, 11.
Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), 7. Paderborner
Workshop Entwurf mechatronischer Systeme.
Carsten Weise
• Program committee memberships: 22nd IFIP International Conference on Testing
Software and Systems (ICTSS 2010) http://ictss2010.dimap.ufrn.br/; Advances in
Model Based Testing (AMOST 2010) http://a-most.iese.fraunhofer.de/10/;
Modellbasiertes Testen und Testautomatisierung (MOTES 2010) http://adt.unipaderborn.de/aktuelles/news-unterseiten/motes10cfp.html
Jörg Brauer
• Program committee memberships: Formal Methods for Industrially Critical Systems
(FMICS), Antwerp, Belgium, 2010.
• Invited Talk: Automatic Abstraction for Intervals Using Boolean Formulae.
Graduiertenkolleg PUMA, TU München, 2010.
Andre Stollenwerk
• Invited Talk “Embedded Contributions to an Intensive Care Safety Concept" WESH,
Eindhoven - The Netherlands, 07-12-2009.
376