====== Prof. Dr.-Ing. Stefan Kowalewski ======
\\
{|
|-
|Prof. Dr.-Ing. Stefan Kowalewski is university professor for embedded 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 [[http://www.rwth-aachen.de/aw/main/deutsch/Themen/Aktuelles/Neuberufene_Professoren/_/~hwz/Univ_-Prof_Dr_Stefan_Kowalewski|here]] also.\\
\\
Introduction of Prof. Dr.-Ing. Stefan Kowalewski in {{:lehrstuhl:mitarbeiter:kowalewski.pdf|PDF-format}}.
|
{{:lehrstuhl:mitarbeiter:kowalewski.jpg|}}
|}
\\
=== 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): [[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)