Abteilung Parallele Systeme

Forschungsgebiete

- Petrinetzmathematik, Netzanalyse und Pomset-Theorie.
- Semantik, Verifikation und Implementierung paralleler (zeitbehafteter) Systeme und Algorithmen.
- Halbordnungsbasierte Modelchecking-Algorithmen.
- Algorithmische und komplexitätstheoretische Untersuchung von Spielen.
- Innovative Studienmodelle und -inhalte.
- Computerunterstützte Moderation für verteilte Sitzungen.

Ausstattung

Verschiedene Workstations
Ein High-performance Computer Cluster

Leistungsangebot

http://sourceforge.net/projects/peptool/

Schlagworte

Analyse / Curricula / Modelchecking / Petrinetze / Parallele Prozesse / Systeme mit Zeit / Soft Skills / Verifikation

Areas of research

- Mathematics of Petri nets, analysis of nets, and theory of pomsets.
- Semantics, verification, and implementation of parallel, timed systems and algorithms.
- Partial order based modelchecking.
- Game theory - algorithms and complexity.
- Innovative curricula.
- Computer-supported online meetings

Keywords

analysis / curricula / modelchecking / Petri nets / parallel processes / timed systems / soft skills / verification

Kontakt

Ansprechpartner/-in

Herr Prof. Dr. Eike Best
Telefon:
0441 / 798-2973
Telefax:
0441 / 798-2965
Frau PD Dr. Elke Wilkeit
Telefon:
0441 / 798-4356
Telefax:
0441 / 798-2965

Forschungseinrichtung

Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Abteilung Parallele Systeme
Hausanschrift:
Ammerländer Heerstraße 114-118
26129 Oldenburg
Telefon:
0441 / 798-4398
Telefax:
0441 / 798-2155
Stand: 15.10.2009