Friedrich-Alexander-Universität UnivisSucheEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
Dirk Wischermann
 
Kontakt

Forschung
Veröffentlichungen
Lehre
Studien- und Diplomarbeiten
Department Informatik  >  Informatik 4  >  Personen  >  Wischermann
Dirk Wischermann

 
 

Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) der Universität Erlangen-Nürnberg.

Repeated reboots of the system failed to solve problem.

-Unix fortune

Forschungsprojekte und akademische Aktivitäten

Aktuelle Forschungsinteressen

  • Politiken und Protokolle in Betriebssystemen
  • Modellbasierte strukturelle Qualitätssicherung von Software

Vergangene Aktivitäten

  • UnITeD - Unterstützung Inkrementeller TestDaten
  • Automatische Testdatengenerierung zur Unterstützung inkrementeller modell- und codebasierter Testprozesse für hochzuverlässige Softwaresysteme


  • proSecCo - providing Security in Component-based Systems
  • Architekturgestützte Realisierung und Verifikation von Schutzzielen in komponentenbasierten Softwaresystemen


Lehre

Wintersemester 2012/2013

Forschungssemester

Sommersemester 2012

Wintersemester 2011/2012

  • Betriebssysteme (BS)
  • Rechnerübungen mit dem Ziel, Schritt für Schritt ein eigenes (Mehrkern-)Betriebssystem für den PC zu entwickeln.

Sommersemester 2011

Wintersemester 2010/2011

Sommersemester 2010

Forschungssemester

Wintersemester 2009/2010

Sommersemester 2009

Wintersemester 2008/2009

Sommersemester 2008

Wintersemester 2007/2008

Sommersemester 2007

Wintersemester 2006/2007

Veröffentlichungen

2010

Nicht referiert

  • Ergänzung der CUDD-Bibliothek um neue Minimierungsverfahren für OBDDs
  • 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

Offene Arbeiten

Laufende Arbeiten

Abgeschlossene Arbeiten




Kontakt:
EMail wischermann@cs.fau.de
GPG GPG: B1EB2DBF
Telefon (09131) 85-27292
Fax (09131) 85-28732
Adresse:
Dipl.-Inform. Dirk Wischermann
Univ. Erlangen-Nürnberg
Informatik 4
Martensstr. 1
91058 Erlangen
Raum 0.049     Pläne

  Impressum Stand: 2013-02-08 23:23   DJW