Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | 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:43] 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 ===== | ||
| Zeile 73: | Zeile 63: | ||
| ==== Bachelor-, Master- und Diplomarbeiten ==== | ==== Bachelor-, Master- und Diplomarbeiten ==== | ||
| - | |||
| - | Wer Interesse hat, eine Abschlussarbeit im Bereich von [mc]square zu schreiben, kann sich gerne bei mir melden oder die Themen ansehen die [[:lehre:abschlussarbeiten|hier]] beschrieben sind. | ||
| - | |||
| - | === Laufend === | ||
| - | |||
| - | === Abgeschlossen === | ||
| * [[:lehre:abschlussarbeiten:model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] (Jörg Wernerus) | * [[:lehre:abschlussarbeiten:model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] (Jörg Wernerus) | ||