Friedrich-Alexander-Universität UnivisSearchDeutsch FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Department of Computer Science 4
Dirk Wischermann
 
Contact

Research
Teaching
Publications
Theses
Dept. of Computer Science  >  CS 4  >  People  >  Wischermann
Dirk Wischermann

 
 

Member of the research staff at the Department of Computer Science 4 (Distributed Systems and Operating Systems Group) at University of Erlangen-Nuremberg.

Repeated reboots of the system failed to solve problem.

-Unix fortune

Research and Academic Activities

Teaching

Wintersemester 2008/2009

Sommersemester 2008

Wintersemester 2007/2008

Sommersemester 2007

Wintersemester 2006/2007

Veröffentlichungen

  • Ergänzung der CUDD-Bibliothek um neue Minimierungsverfahren für OBBDs
  • Eigene Diplomarbeit (Universität Kaiserslautern)
    Betreuer: Dipl.-Inform. Dr. Rüdiger Ebendt


  • Rekursionserkennung und -vermeidung im partiell ordnenden Planer CAPlan
  • Projektarbeit (Universität Kaiserslautern)
    Betreuer: Dipl.-Inform. Dr. Frank Weberskirch


Studien- und Diplomarbeiten

Abgeschlossene Arbeiten


Automatische Regressionstestgenerierung für modellbasierte Testfälle

Bearbeiter: Julian Exner
Betreuer: Dipl.-Inform. Dirk Wischermann


Konzeption und Implementierung eines Verfahrens zur Analyse von Modellverfeinerungen und zur Testdatenerzeugung

Bearbeiter: Alexander Reuß
Betreuer: Dipl.-Inform. Dirk Wischermann


Konzeption und Implementierung einer 'Round-Trip'- Vorgehensweise für den modellbasierten Test

Bearbeiter: Christian Kollee
Betreuer: Dipl.-Inform. Dirk Wischermann


Konzeption und Implementierung einer Produktlinienarchitektur für AUTOSAR-Softwarekomponenten

Bearbeiter: Quang Di Phung
Betreuer: Dipl.-Inf. (FH) Josef Adersberger, Dipl.-Inform. Dirk Wischermann


Übertragung existierender Model Checking Verfahren auf Automatenbeschreibungen in UML

Bearbeiter: Bing Chen
Betreuer: Dipl.-Inform. Dirk Wischermann


Vergleichende Bewertung unterschiedlicher Authentifizierungsstrategien im Zusammenhang mit der Analyse und der Implementierung eines Erfassungssystems

Bearbeiter: Lukas Fedorowicz
Betreuer: Dipl.-Inform. Dirk Wischermann




Contact:
EMail wischermann@informatik.uni-erlangen.de
GPG GPG: B1EB2DBF
Telefon +49.9131.85.27292
Fax +49.9131.85.28732
Address:
Dipl.-Inform. Dirk Wischermann
Univ. Erlangen-Nürnberg
Informatik 4
Martensstr. 1
91058 Erlangen
Germany
Room 0.039

  Contact Last modified: 2008-12-01 13:51   DJW