Head of group
Phone +49 241 80 21150
Fax +49 241 80 22150
kowalewski[at]embedded[dot]rwth-aachen[dot]de
Address: Ahornstr. 55, 52074 Aachen, Germany
Office: room 2306 (Building H)

Please arrange appointments via the secretariat.

• CAV (Computer Aided Verification): 2011 (PC)
• DATE (Design Automation and Test in Europe): 2010 (PC), 2009 (PC), 2008 (PC)
• DCDS (Dependable Control of Discrete Systems): 2013 (PC), 2011 (PC), 2009 (PC), 2007 (PC)
• ETFA (Emerging Technologies and Factory Automation): 2005 (PC)
• EUC (Embedded and Ubiquitous Computing): 2010 (PC)
• FMICS (Formal Methods for Industrial Critical Systems): 2013 (PC), 2012 (PC), 2011 (PC), 2010 (co-chair), 2009 (PC), 2008 (PC), 2007 (PC), 2006 (PC)
• HSCC (Hybrid Systems: Computation and Control): 2005 (PC), 2002 (PC), 2001 (PC), 2000 (PC)
• ICCPS (International Conference on Cyber-Physical Systems): 2010 (PC)
• ISORC (International Symposium on Object/Component/Service-oriented Real-Time and Distributed Computing): 2011 (PC), 2012 (PC), 2013 (PC)
• MAPLE (Model-Based Approaches in Software Product Line Engineering) 2010 (PC)
• MOMPES (Model-based Methodologies for Pervasive and Embedded Software)): 2010 (PC)
• SE (Software Engineering) 2013 (PC)
• SPLC (Software Product Line Conference): 2005 (PC)
• SSV (Systems Software Verification): 2012 (PC), 2011 (PC), 2010 (PC)
• TACAS (Tools and Algorithms for the Analysis and Construction of Systems): 2010 (PC), 2009 (co-chair)
• WODES (Workshop on Discrete Event Systems): 2012 (PC), 2010 (PC), 2008 (PC)
• VaMiSIS (Variability Management in Software-Intensive Systems): 2009 (PC)