direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Prof. Dr.-Ing. Steffen Helke

Lupe [1]

Email: steffen.helke(AT)tu-berlin.de

WWW: www.tu-cottbus.de/fakultaet1/de/sichere-softwaresysteme/lehrstuhl/personen/helke.html [2]

BTU Cottbus [3]

Gastwissenschaftler an der TU Berlin

 

 

 

 

Forschung

Schwerpunkte

  • Combination of theorem proving and model checking
  • Abstraction techniques for infinite state systems
  • Refactoring for object-oriented specifications/systems

Publikationen [4]

Projekte

  • COPY [5] (Projektleitung, DFG-Projekt)
  • VATES [6] (Teilprojektleitung, DFG-Projekt)
  • VirtuOS [7] (Teilprojektleitung, IBB-Projekt)
  • CaPri [8] (kommissarische Projektleitung, DAAD-Projekt)

Abschlussarbeiten

  • Arbeiten direkt am Lehrstuhl im Rahmen von Forschungsprojekten
  • Arbeiten in Kooperation mit ausgewählten industriellen Partnern oder Forschungsinstituten
  • Übersicht von einigen möglichen Themenbereichen [9] 

Lehrveranstaltungen

PROG 2: Einführung in die Programmierung für Wirtschaftsinformatiker
SS 2013 [10] • SS 2012 [11]
MPGI 3: Methodische und Praktische Grundlagen der Informatik
WS 2008/09 [12] WS 2007/08 [13]
SWQM: Softwarequalitätsmanagement im ASE
SS 2013 [14] • SS 2012 [15] SS 2011 [16] SS 2010 [17] SS 2009 [18] SS 2008 [19] SS 2007 [20]
SASWT: Sicherheitsaspekte in der Softwaretechnik
WS 2012/13 [21] • WS 2011/12 [22] WS 2010/11 [23] WS 2009/10 [24] WS 2004/05 [25] WS 2003/04 [26]
ATSWT: Analysetechniken in der Softwaretechnik
SS 2005 [27] SS 2004 [28]
SWT: Basisveranstaltung Softwaretechnik
WS 2006/07 [29] SS 2006 [30] WS 2005/06 [31] SS 2003 [32]
Seminar Softwaretechnik
WS 2008/09 [33] WS 2007/08 [34]

Kontakt

Steffen Helke
E-Mail-Anfrage [35]
Webseite [36]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008