Institut für Eingebettete Systeme/Echtzeitsysteme

1: Lehre.
2: Forschung.
3: Publikationen.
4: Mitarbeiter.
- 4.1: Prof. Dr. Frank Slomka.
- 4.2: Prof. Dr. Heiko Falk.
- 4.3: Tobias Bund.
- 4.4: Florian Hock.
- 4.5: Kilian Kempf.
- 4.6: Steffen Kollmann.
- 4.7: Arno Luppold.
- 4.8: Benjamin Menhorn.
- 4.9: Steffen Moser.
- 4.10: Victor Pollex.
- 4.11: Barbara Porada.
- 4.12: Nicolas Roeser.
- 4.13: Rajinder Sidhu.
5: Praktika / Abschlussarbeiten.
6: Offene Stellen.

Dipl.-Inf. Victor Pollex

Forschung

Formale Echtzeitverifikation von verteilten eingebetteten Systemen unter Berücksichtigung von asynchroner Taktung der einzelnen eingebetteten Komponenten in Kombination mit variablen Ausführungszeiten.

Funktion

Wissenschaftlicher Mitarbeiter

Kontakt

Raum O27/3103

Tel: +49.731.50.24184
Fax: +49.731.50.24182

Email: victor[dot]pollex[at]uni-ulm[dot]de