Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

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:38]
schlich
lehrstuhl:mitarbeiter:schlich [2010/01/28 09:58]
schlich
Zeile 64: 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. +  * [[:​lehre:​abschlussarbeiten:DAVK005]] 
- +  * Statische Analyse für den Renesas R8C/23 Mikrocontroller 
-=== Laufend === +  * Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving 
- +  * [[:​lehre:​abschlussarbeiten:​implementierung_eines_simulators_fuer_renesas]] 
-=== Abgeschlossen === +  * [[:​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)