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 [2009/06/18 16:19]
schlich
lehrstuhl:mitarbeiter:schlich [2009/06/18 18:10]
schlich
Zeile 1: Zeile 1:
 ====== Dr.rer.nat. Bastian Schlich ====== ====== Dr.rer.nat. Bastian Schlich ======
-~~NOTOC~~ 
 \\ \\
 {| {|
Zeile 33: Zeile 32:
   * software for microcontrollers   * software for microcontrollers
  
-===== Publications ​=====+===== Publikationen ​=====
 ~~NOCACHE~~ ~~NOCACHE~~
 <BIBTEX: file=publikationen style=I11 sort=year filter=schlich>​ <BIBTEX: file=publikationen style=I11 sort=year filter=schlich>​
  
-===== Teaching ​=====+===== Lehre =====
  
-==== BSc/​MSc/​Diploma Theses ​====+==== Bachelor-, Master- und Diplomarbeiten ​====
  
-=== Ongoing ===+Wer Interesse hat, eine Abschlussarbeit im [mc]square zu schreiben, kann sich gerne bei mir melden oder die Themen ansehen die [[:​lehre:​abschlussarbeiten|hier]] beschrieben sind.
  
-=== Finished ​===+=== Laufend ​===
  
-  ​Parallel and Distributed Construction of the State Spaces in the Model Checker ​[mc]square ​(Stefan Mau+=== Abgeschlossen === 
-  * Model Checking of Instruction List Programs for Programmable Logik Controllers using [mc]square ​(Jörg Wernerus+ 
-  * Extending the symbolic representation of states in [mc]square ​([[:​lehrstuhl:​mitarbeiter:​kamin]]) +  ​* [[:​lehre:​abschlussarbeiten:​model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] (Jörg Wernerus
-  * Model Checking of Sensor Network Nodes with [mc]square ​(Matthias Moers) +  * [[:​lehre:​abschlussarbeiten:​parallelisierung_in_mcsquare]] (Stefan Mau
-  * Extending the Model Checker ​[mc]square by User-Defined Environments ​([[:​lehrstuhl:​mitarbeiter:​gueckel]]) +  * [[:​lehre:​abschlussarbeiten:​erweiterung_der_symbolischen_zustandsdarstellung_in_mc_square]] ([[:​lehrstuhl:​mitarbeiter:​kamin]]) 
-  * Extending the model checking tool [mc]square to handle the Infineon XC167 microcontroller ​(Florian Scheuer) +  * [[:​lehre:​abschlussarbeiten:​model_checking_von_sensornetzwerk-knoten_mit_hilfe_von_mc_square]] (Matthias Moers) 
-  * Application of Static Analysis in the Field of Model Checking Software for Embedded Systems ​(Jann Löll) +  * [[:​lehre:​abschlussarbeiten:​erweiterung_des_model-checkers_mc_square_um_benutzerdefinierte_umgebungen]] ​([[:​lehrstuhl:​mitarbeiter:​gueckel]]) 
-  * [[:​lehre:​abschlussarbeiten:​symbolisches_model-checking_mit_mc_square]] +  * [[:​lehre:​abschlussarbeiten:​erweiterung_des_model-checkers_mc_square_fuer_den_infineon_xc167_mikcrocontroller]] (Florian Scheuer) 
- ([[:​lehrstuhl:​mitarbeiter:​schommer]])+  * [[:​lehre:​abschlussarbeiten:​einsatz_von_statischen_analysen_im_bereich_des_model-checking_von_software_fuer_eingebettete_systeme]] ​(Jann Löll) 
 +  * [[:​lehre:​abschlussarbeiten:​symbolisches_model-checking_mit_mc_square]] ([[:​lehrstuhl:​mitarbeiter:​schommer]])
   * [[:​lehre:​abschlussarbeiten:​ein_ansatz_zum_model-checking_von_Software_fuer_eingebettete_systeme]] (Michael Rohrbach)   * [[:​lehre:​abschlussarbeiten:​ein_ansatz_zum_model-checking_von_Software_fuer_eingebettete_systeme]] (Michael Rohrbach)
   * [[:​lehre:​abschlussarbeiten:​untersuchungen_zum_anwendungspotential_der_formalen_verifikation]] ([[:​lehrstuhl:​mitarbeiter:​polzer]])   * [[:​lehre:​abschlussarbeiten:​untersuchungen_zum_anwendungspotential_der_formalen_verifikation]] ([[:​lehrstuhl:​mitarbeiter:​polzer]])
   * [[:​lehre:​abschlussarbeiten:​model_checking_von_matlab_simulink_modellen]] ([[:​lehrstuhl:​mitarbeiter:​palczynski]])   * [[:​lehre:​abschlussarbeiten:​model_checking_von_matlab_simulink_modellen]] ([[:​lehrstuhl:​mitarbeiter:​palczynski]])
  
-===== Lectures and Seminars =====+==== Vorlesungen und Seminare ​====
  
-  * Winter semester ​09/10: [[:​lehre:​wise0910:​formale_methoden]] (Lecture+  * Wintersemester ​09/10: [[:​lehre:​wise0910:​formale_methoden]] (Vorlesung
-  * Summer semester ​09: [[http://​www-i2.informatik.rwth-aachen.de/​i2/​teaching/​|Applying Formal Verification Methods to Embedded Systems]] (Seminar) +  * Sommersemester ​09: [[http://​www-i2.informatik.rwth-aachen.de/​i2/​teaching/​|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] (Seminar) 
-  * Winter semester ​08/09: [[:​lehre:​wise0809:​seminar_statische_analyse]] (Seminar) +  * Wintersemester ​08/09: [[:​lehre:​wise0809:​seminar_statische_analyse]] (Seminar) 
-  * Summer semester ​08: [[:​lehre:​sose08:​formale_methoden]] (Lecture+  * Sommersemester ​08: [[:​lehre:​sose08:​formale_methoden]] (Vorlesung
-  * Summer semester ​07: [[:​lehre:​sose07:​formale_methoden]] (Lecture+  * Sommersemester ​07: [[:​lehre:​sose07:​formale_methoden]] (Vorlesung
-  * Winter semester ​06/07: [[:​lehre:​wise0607:​testen_von_eingebetteten_systemen]] (Seminar) +  * Wintersemester ​06/07: [[:​lehre:​wise0607:​testen_von_eingebetteten_systemen]] (Seminar) 
-  * Summer semester ​06: [[:​lehre:​sose06:​software_award]] +  * Sommersemester ​06: [[:​lehre:​sose06:​software_award]] 
-  * Winter semester ​05/06: [[:​lehre:​wise0506:​systematische_software_entwicklung]] (Lecture+  * Wintersemester ​05/06: [[:​lehre:​wise0506:​systematische_software_entwicklung]] (Vorlesung
-  * Summer semester ​05: [[:​lehre:​sose05:​formale_methoden]] (Lecture+  * Sommersemester ​05: [[:​lehre:​sose05:​formale_methoden]] (Vorlesung
-  * Winter semester ​04/​05: ​Systems Programming ​(Lecture+  * Wintersemester ​04/​05: ​Systemprogrammierung ​(Vorlesung
-  * Winter semester ​04/​05: ​Application of Model Checking ​to Embedded Systems ​(Seminar) +  * Wintersemester ​04/​05: ​Anwendung von Model-Checking ​auf eingebettete Systeme ​(Seminar) 
-  * Summer semester ​04: Hybrid and Real-Time Systems ​(Seminar)+  * Sommersemester ​04: Hybride und Echtzeitsysteme ​(Seminar)