Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:mitarbeiter:schlich [2009/06/18 17:51] 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 ====== | ||
| - | ~~NOTOC~~ | ||
| \\ | \\ | ||
| - | {| | + | {{:lehrstuhl:mitarbeiter:schlich.jpg?150|}}\\ |
| - | |- | + | |
| - | || {{:lehrstuhl:mitarbeiter:schlich.jpg|}} | + | |
| - | || | + | |
| - | Research Assistant\\ | + | |
| - | schlich[at]embedded[dot]rwth-aachen[dot]de\\ | + | |
| - | \\ | + | |
| - | If I do not answer an email within reasonable time, please give me a call because your email might be removed by our spam filter.\\ | + | |
| - | \\ | + | |
| - | Phone +49 241 80 21158\\ | + | |
| - | Fax +49 241 80 6 21158\\ | + | |
| - | \\ | + | |
| - | Address: Ahornstr. 55, 52074 Aachen, Germany\\ | + | |
| - | Office: room 2325 (Building H) | + | |
| - | |} | + | |
| - | \\ | + | |
| - | ===== 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 ===== | + | ===== Publikationen ===== |
| - | + | ||
| - | * formal verification | + | |
| - | * software model checking | + | |
| - | * model checking of assembly code | + | |
| - | * software for embedded systems | + | |
| - | * software for microcontrollers | + | |
| - | + | ||
| - | ===== Publications ===== | + | |
| ~~NOCACHE~~ | ~~NOCACHE~~ | ||
| <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | ||
| - | |||
| - | ===== Teaching ===== | ||
| - | |||
| - | ==== Bachelor-, Master- und Diplomarbeiten ==== | ||
| - | |||
| - | 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. | ||
| - | |||
| - | === 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]]) | ||
| - | |||
| - | ===== Lectures and Seminars ===== | ||
| - | |||
| - | * Winter semester 09/10: [[:lehre:wise0910:formale_methoden]] (Lecture) | ||
| - | * Summer semester 09: [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Applying Formal Verification Methods to Embedded Systems]] (Seminar) | ||
| - | * Winter semester 08/09: [[:lehre:wise0809:seminar_statische_analyse]] (Seminar) | ||
| - | * Summer semester 08: [[:lehre:sose08:formale_methoden]] (Lecture) | ||
| - | * Summer semester 07: [[:lehre:sose07:formale_methoden]] (Lecture) | ||
| - | * Winter semester 06/07: [[:lehre:wise0607:testen_von_eingebetteten_systemen]] (Seminar) | ||
| - | * Summer semester 06: [[:lehre:sose06:software_award]] | ||
| - | * Winter semester 05/06: [[:lehre:wise0506:systematische_software_entwicklung]] (Lecture) | ||
| - | * Summer semester 05: [[:lehre:sose05:formale_methoden]] (Lecture) | ||
| - | * Winter semester 04/05: Systems Programming (Lecture) | ||
| - | * Winter semester 04/05: Application of Model Checking to Embedded Systems (Seminar) | ||
| - | * Summer semester 04: Hybrid and Real-Time Systems (Seminar) | ||