direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Prof. Dr.-Ing. Steffen Helke

Lupe

Email: helke(AT)tu-cottbus.de

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

BTU Cottbus

Guest researcher at TU Berlin



Research interests

  • Combination of theorem proving and model checking.
  • Abstraction techniques for infinite state systems.
  • Conformance testing based on statecharts specifications.
  • Theorem proving for the Z notation with HOL-Z.

Publications

Teaching

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

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Contact

Steffen Helke

Website