Dies ist eine alte Version des Dokuments!
Dipl.-Inform. Sebastian Biallas
Kontakt
| |
|
Wissenschaftlicher Mitarbeiter Tel. +49 241 80 21158 Fax +49 241 80 22150 Email: biallas[at]embedded[dot]rwth-aachen[dot]de Adresse: Ahornstr. 55, 52074 Aachen, Germany Büro: Raum 2325 (Gebäude H) Sprechstunde: nach Vereinbarung |
Über mich
Ich bearbeitet das DFG Projekt „Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse“.
In diesem Projekt geht es darum, geeignete Abstraktion-Techniken zu finden, dies erlauben Model-Checking und statische Analyse auf SPS-Programme anzuwenden und es so ermöglichen Fehler im Programm zu finden.
Mein Lebenslauf ist hier erhältlich.
Publikationen
Publikations-Export
Lehre
Vorlesungen
- Wintersemester 10/11: Einführung in die Technische Informatik
- Wintersemester 11/12: Einführung in die Technische Informatik
Diplom-, Bachelor- und Masterarbeiten
Offen
Abgeschlossen
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland