Prof. Dr.-Ing. Stefan Kowalewski


Prof. Dr.-Ing. Stefan Kowalewski ist seit November 2003 Universitätsprofessor für das Fach Software für eingebettete Systeme (seit 2015 Embedded Software) 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.


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