Prof. Dr.-Ing. Stefan Kowalewski


7 Prof. Dr.-Ing. Stefan Kowalewski is university professor for embedded systems software at the faculty of mathematics, computer science and natural sciences of the RWTH since November 2003. His main research areas are design and analysis methods for software intensive embedded systems. A special interest are safety-critical applications.

See here also.

Introduction of Prof. Dr.-Ing. Stefan Kowalewski in PDF-format.
9


Contact


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.

Activities


  • 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)

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany