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. Research and Academic Activities Teaching Publications Theses

Repeated reboots of the system failed to solve problem.

-Unix fortune

Research and Academic Activities

• 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

Teaching

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

• Grundlagen der systemnahen Programmierung in C
Rechnerübungen
• Systemnahe Programmierung in C
Rechnerübungen

Wintersemester 2010/2011

• Konzepte von Betriebssystem-Komponenten (KVBK)
Proseminar: Computersicherheit und Datensicherheit
• Betriebssysteme (BS)
Rechnerübungen mit dem Ziel, Schritt für Schritt ein eigenes (Mehrkern-)Betriebssystem für den PC zu entwickeln.

Sommersemester 2010

Wintersemester 2009/2010

• Systemprogrammierung (SP)
Tafelübungen
• Betriebssystembau (BS)
Rechnerübungen: Ziel der Übungen ist es, schrittweise ein eigenes kleines Betriebssystem für den PC zu entwickeln.

Sommersemester 2009

• Systemnahe Programmierung in C
Rechnerübungen

Wintersemester 2008/2009

• Betriebssystembau
Rechnerübungen

Sommersemester 2008

• Methoden des Requirements Engineering
Seminar im Hauptstudium
• Software Engineering in der Projektpraxis
Das Eclipse Modeling Framework, Erstellung eines Requirements Engineering Frameworks für Eclipse

Wintersemester 2007/2008

• Aspektorientierte Softwareentwicklung
Seminar im Hauptstudium

Sommersemester 2007

• Modellbasierte Softwareentwicklung
Seminar im Hauptstudium
• Software Engineering in der Projektpraxis
Entwicklung von Multi-Tier Applikationen mit JEE

Wintersemester 2006/2007

• Software Engineering in der Praxis
Requirements Engineering, OOA, Petrinetze, TPN, Modelchecking, OOD, statische Code-Analyse, funktionales und strukturelles Testen, Theorembeweisen, Configuration Management, Entwicklungsumgebungen (Eclipse RCP / Plugin-Technologien)
• Software Engineering zur Vermeidung softwarebedingter Unfälle
Seminar im Grundstudium

Veröffentlichungen

2010

Gernoth, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Sincero, Julio ; Tartler, Reinhard ; Wischermann, Dirk:
Challenges in Operating-Systems Reengineering for Many Cores .
In: Pankratius, Victor ; Philippsen, Michael (Ed.) : ACM/IEEE (Org.):
Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE10)
(International Workshop on Multicore Software Engineering, Cape Town, South Africa, May 1, 2010).
Los Alamitos, CA, USA : ACM Press, 2010, pp 52-53. - ISBN 978-1-60558-964-0
Keywords:  VAMOS; Critical section engineering, operating systems, OS
[doi>10.1145/1808954.1808968] (BibTeX)

Wischermann, Dirk ; Schröder-Preikschat, Wolfgang:
Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software .
In: Fähnrich, Klaus-Peter ; Franczyk, Bogdan (Ed.) : Informatik 2010 - Service Science – Neue Perspektiven für die Informatik"
(Workshop on Model-based Testing (MoTes 2010), Leipzig, 28.09.2010). Vol. 176.
Bonn : GI, 2010, pp 363-368. - ISBN 978-3-88579-270-3 (BibTeX)

Wischermann, Dirk ; Schröder-Preikschat, Wolfgang:
Separating Testing Concerns by Means of Models .
In: ECOOP (Ed.) : Workshop on Testing Object-Oriented Software Systems
(ETOOS 2010, Maribor, Slovenia, 21 June 2010).
Maribor : ECOOP, 2010, pp 38-44. (BibTeX)

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

Abgeschlossene Arbeiten