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/28 10:02] 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 74: | Zeile 64: | ||
| ==== 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. | + | * (Sebastian Biallas) |
| - | + | * [[:lehre:abschlussarbeiten:DAVK005]] (Michael Lambertz) | |
| - | === Laufend === | + | * Statische Analyse für den Renesas R8C/23 Mikrocontroller (Jörg Toborg) |
| - | + | * Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving (Lucas Brutschy) | |
| - | === Abgeschlossen === | + | * [[:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas]] (Mudassir Rasool) |
| + | * [[:lehre:abschlussarbeiten:synthesizing_is_simulators_for_model_checking_es_software]] () | ||
| * [[: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) | ||
| * [[:lehre:abschlussarbeiten:parallelisierung_in_mcsquare]] (Stefan Mau) | * [[:lehre:abschlussarbeiten:parallelisierung_in_mcsquare]] (Stefan Mau) | ||