====== 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 [[http://www.rwth-aachen.de/aw/main/deutsch/Themen/Aktuelles/Neuberufene_Professoren/_/~hwz/Univ_-Prof_Dr_Stefan_Kowalewski|hier]].\\
\\
Vorstellung von Herrn Prof. Dr.-Ing. Stefan Kowalewski im {{:lehrstuhl:mitarbeiter:kowalewski.pdf|PDF-Format}}.
|
{{:lehrstuhl:mitarbeiter:kowalewski.jpg|}}
|}
\\
=== 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): [[http://www.cs.utah.edu/events/conferences/cav2011/|2011]] (PC)
  * DATE (Design Automation and Test in Europe): 2010 (PC), 2009 (PC), 2008 (PC)
  * DCDS (Dependable Control of Discrete Systems): [[http://dcds13.net.dcs.hull.ac.uk/2013|2013]] (PC), [[http://www.dcds11.uni-saarland.de/|2011]] (PC), [[http://dcds09.poliba.it/DCDS09/Home.html|2009]] (PC), 2007 (PC)
  * ETFA (Emerging Technologies and Factory Automation): 2005 (PC)
  * EUC (Embedded and Ubiquitous Computing): [[http://www.euc2010.org/index.php/introduction|2010]] (PC)
  * FMICS (Formal Methods for Industrial Critical Systems): [[http://lvl.info.ucl.ac.be/Fmics2013/Fmics2013|2013]] (PC), [[http://fmt.cs.utwente.nl/conferences/fmics2012/|2012]] (PC),  [[http://events.fortiss.org/fmics2011/|2011]] (PC), [[https://es.fbk.eu/events/fmics2010/index.php|2010]] (co-chair), 2009 (PC), [[http://www.dsi.unifi.it/fmics08/fmics08/fmics08/index.php|2008]] (PC), [[http://fmics07.lcc.uma.es/|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): [[http://varma.ece.cmu.edu/ICCPS/index.html|2010]] (PC)
  * ISORC (International Symposium on Object/Component/Service-oriented Real-Time and Distributed Computing): [[http://dream.eng.uci.edu/isorc2011/|2011]] (PC), 2012 (PC), 2013 (PC)
  * MAPLE (Model-Based Approaches in Software Product Line Engineering) [[http://lero.ie/maple2010/|2010]] (PC)
  * MOMPES (Model-based Methodologies for Pervasive and Embedded Software)): [[http://www3.di.uminho.pt/mompes/|2010]] (PC)
  * SE (Software Engineering) [[http://www.se2013.rwth-aachen.de|2013]] (PC)
  * SPLC (Software Product Line Conference): [[http://www.sse.uni-essen.de/SPLC2005/index.php|2005]] (PC)
  * SSV (Systems Software Verification): [[http://www.ssv-conference.org/|2012]] (PC), [[https://es.fbk.eu/events/ssv2011/index.php|2011]] (PC), [[http://www.usenix.org/events/ssv10/|2010]] (PC)
  * TACAS (Tools and Algorithms for the Analysis and Construction of Systems): [[http://www.etaps10.cs.ucy.ac.cy/|2010]] (PC), [[http://web.embedded.rwth-aachen.de/tacas09/|2009]] (co-chair)
  * WODES (Workshop on Discrete Event Systems): [[http://www.gdl.cinvestav.mx/wodes-12/|2012]] (PC), [[http://ti1.control.tu-berlin.de/wodes2010|2010]] (PC), [[http://www.wodes2008.org/|2008]] (PC)
  * VaMiSIS (Variability Management in Software-Intensive Systems): 2009 (PC)