Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:mitarbeiter:schlich [2009/07/03 11:13] schlich |
lehrstuhl:mitarbeiter:schlich [2012/03/21 13:12] (aktuell) kux angelegt |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Dr.rer.nat. Bastian Schlich ====== | ====== Dr.rer.nat. Bastian Schlich ====== | ||
| \\ | \\ | ||
| - | {| | + | {{:lehrstuhl:mitarbeiter:schlich.jpg?150|}}\\ |
| - | |- | + | |
| - | || {{:lehrstuhl:mitarbeiter:schlich.jpg|}} | + | |
| - | || | + | |
| - | Post-Doktorand\\ | + | |
| - | Gruppenleiter der Gruppe Formale Verifikation\\ | + | |
| - | \\ | + | |
| - | Wenn ich eine Email nicht innerhalb einer vertretbaren Zeit beantworte, melden Sie sich bitte telefonisch bei mir. Es kann sein, dass Ihre Email automatisch von unserem Spam-Filter gelöscht wurde.\\ | + | |
| - | \\ | + | |
| - | Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ | + | |
| - | Telefon: +49 241 80 21158\\ | + | |
| - | Fax: +49 241 80 6 21158\\ | + | |
| - | \\ | + | |
| - | Büro: Raum 2325 (Gebäude H)\\ | + | |
| - | Addresse: Ahornstr. 55, 52074 Aachen | + | |
| - | |} | + | |
| - | \\ | + | |
| - | ===== Neuigkeiten ===== | + | |
| - | + | ||
| - | Ich bin vom 03.07. bis zum 13.07.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:kamin|Kamin]] kontaktieren. | + | |
| - | + | ||
| - | ===== Personal ===== | + | |
| - | I am a research assistant at the embedded software laboratory since April 2004. My research topic is the formal verification of software for embedded systems.\\ | + | |
| - | \\ | + | |
| - | At present I am working on a model checker for microcontroller code. It is called [mc]square. The main focus is the application of theoretical results to real problems. The model checker should be as user-friendly as possible and the need for manual preparation of the code should be as small as possible. In the tool, we combine different formal methods such as model checking, abstract interpretation, and static analysis.\\ | + | |
| - | \\ | + | |
| - | I received my Doctoral degree in June 2008 from the RWTH Aachen University. The title of my Dissertation thesis is "Model Checking of Software for Microcontollers". I wrote my Diploma thesis at the chair of Software-Technology, University of Dortmund. The topic of the thesis is "Konzeption und Realisierung eines Werkzeugs zur Unterstützung des Test-Driven-Developments". | + | |
| - | + | ||
| - | ===== Research Interests ===== | + | |
| - | + | ||
| - | * formal verification | + | |
| - | * software model checking | + | |
| - | * model checking of assembly code | + | |
| - | * software for embedded systems | + | |
| - | * software for microcontrollers | + | |
| ===== Publikationen ===== | ===== Publikationen ===== | ||
| ~~NOCACHE~~ | ~~NOCACHE~~ | ||
| <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | ||
| - | |||
| - | ===== Lehre ===== | ||
| - | |||
| - | ==== 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:parallelisierung_in_mcsquare]] (Stefan Mau) | ||
| - | * [[:lehre:abschlussarbeiten:erweiterung_der_symbolischen_zustandsdarstellung_in_mc_square]] ([[:lehrstuhl:mitarbeiter:kamin]]) | ||
| - | * [[:lehre:abschlussarbeiten:model_checking_von_sensornetzwerk-knoten_mit_hilfe_von_mc_square]] (Matthias Moers) | ||
| - | * [[:lehre:abschlussarbeiten:erweiterung_des_model-checkers_mc_square_um_benutzerdefinierte_umgebungen]] ([[:lehrstuhl:mitarbeiter:gueckel]]) | ||
| - | * [[:lehre:abschlussarbeiten:erweiterung_des_model-checkers_mc_square_fuer_den_infineon_xc167_mikcrocontroller]] (Florian Scheuer) | ||
| - | * [[: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:untersuchungen_zum_anwendungspotential_der_formalen_verifikation]] ([[:lehrstuhl:mitarbeiter:polzer]]) | ||
| - | * [[:lehre:abschlussarbeiten:model_checking_von_matlab_simulink_modellen]] ([[:lehrstuhl:mitarbeiter:palczynski]]) | ||
| - | |||
| - | ==== Vorlesungen und Seminare ==== | ||
| - | |||
| - | * Wintersemester 09/10: [[:lehre:wise0910:formale_methoden]] (Vorlesung) | ||
| - | * Sommersemester 09: [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] (Seminar) | ||
| - | * Wintersemester 08/09: [[:lehre:wise0809:seminar_statische_analyse]] (Seminar) | ||
| - | * Sommersemester 08: [[:lehre:sose08:formale_methoden]] (Vorlesung) | ||
| - | * Sommersemester 07: [[:lehre:sose07:formale_methoden]] (Vorlesung) | ||
| - | * Wintersemester 06/07: [[:lehre:wise0607:testen_von_eingebetteten_systemen]] (Seminar) | ||
| - | * Sommersemester 06: [[:lehre:sose06:software_award]] | ||
| - | * Wintersemester 05/06: [[:lehre:wise0506:systematische_software_entwicklung]] (Vorlesung) | ||
| - | * Sommersemester 05: [[:lehre:sose05:formale_methoden]] (Vorlesung) | ||
| - | * Wintersemester 04/05: Systemprogrammierung (Vorlesung) | ||
| - | * Wintersemester 04/05: Anwendung von Model-Checking auf eingebettete Systeme (Seminar) | ||
| - | * Sommersemester 04: Hybride und Echtzeitsysteme (Seminar) | ||