direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Prof. Dr.-Ing. Steffen Helke

Lupe

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

Telefon: 314-73174

Raum: TEL 1204

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

BTU Cottbus

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

Projekte

  • COPY (Projektleitung, DFG-Projekt)
  • VATES (Teilprojektleitung, DFG-Projekt)
  • VirtuOS (Teilprojektleitung, IBB-Projekt)
  • CaPri (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 

Lehrveranstaltungen

PROG 2: Einführung in die Programmierung für Wirtschaftsinformatiker
SS 2013 • SS 2012
MPGI 3: Methodische und Praktische Grundlagen der Informatik
WS 2008/09 WS 2007/08
SWQM: Softwarequalitätsmanagement im ASE
SS 2013 • SS 2012 SS 2011 SS 2010 SS 2009 SS 2008 SS 2007
SASWT: Sicherheitsaspekte in der Softwaretechnik
WS 2012/13 • WS 2011/12 WS 2010/11 WS 2009/10 WS 2004/05 WS 2003/04
ATSWT: Analysetechniken in der Softwaretechnik
SS 2005 SS 2004
SWT: Basisveranstaltung Softwaretechnik
WS 2006/07 SS 2006 WS 2005/06 SS 2003
Seminar Softwaretechnik
WS 2008/09 WS 2007/08

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Kontakt

Steffen Helke

Webseite