Prof. Dr.-Ing. Stefan Kowalewski


7 Prof. Dr.-Ing. Stefan Kowalewski ist seit November 2003 Universitätsprofessor für das Fach Software für eingebettete Systeme an der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH. Seinen Forschungsschwerpunkt bilden Entwurfs- und Analysemethoden für softwareintensive, eingebettete Systeme. Sein besonderes Interesse gilt sicherheitskritischen Anwendungen und modell-basierten Methoden.

Siehe auch hier.

Vorstellung von Herrn Prof. Dr.-Ing. Stefan Kowalewski im PDF-Format.
9


Kontakt


Lehrstuhlinhaber
Tel.: +49 241 80 21150
Fax: +49 241 80 22150
kowalewski[at]embedded[dot]rwth-aachen[dot]de
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2306 (Gebäude H)

Termine bitte über das Sekretariat vereinbaren.

Aktivitäten


  • 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 - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland