Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:schlich [2010/01/27 18:37] schlich |
lehrstuhl:mitarbeiter:schlich [2010/01/27 18:38] schlich |
||
|---|---|---|---|
| Zeile 54: | Zeile 54: | ||
| Meinen Doktortitel habe ich im Juni 2008 von der RWTH Aachen erhalten. Der Titel meiner Dissertation lautet "Model Checking of Software for Microcontrollers". Meine Diplomarbeit habe ich am Lehrstuhl für Software-Technologie der Universität Dortmund geschrieben. Der Titel meiner Diplomarbeit ist "Konzeption und Realisierung eines Werkzeugs zur Unterstützung der Test-Driven-Developments".\\ | Meinen Doktortitel habe ich im Juni 2008 von der RWTH Aachen erhalten. Der Titel meiner Dissertation lautet "Model Checking of Software for Microcontrollers". Meine Diplomarbeit habe ich am Lehrstuhl für Software-Technologie der Universität Dortmund geschrieben. Der Titel meiner Diplomarbeit ist "Konzeption und Realisierung eines Werkzeugs zur Unterstützung der Test-Driven-Developments".\\ | ||
| - | ===== Forschungsinteressen ===== | ||
| - | * Formale Methoden | ||
| - | * Software Model-Checking | ||
| - | * Statische Analyse | ||
| - | * Abstrakte Interpretation | ||
| - | * Eingebettete Software | ||
| - | * Assembler-Code | ||
| - | * C-Code | ||
| - | * Mikrocontroller | ||
| - | * Speicherprogrammierbare Steuerungen | ||
| ===== Publikationen ===== | ===== Publikationen ===== | ||