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 [2009/05/05 10:44] brauer |
lehrstuhl:mitarbeiter:schlich [2009/06/18 15:55] schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Dr.rer.nat. Bastian Schlich ====== | ====== Dr.rer.nat. Bastian Schlich ====== | ||
| + | ~~NOTOC~~ | ||
| \\ | \\ | ||
| {| | {| | ||
| Zeile 17: | Zeile 18: | ||
| |} | |} | ||
| \\ | \\ | ||
| - | === Personal === | + | ===== 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.\\ | 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.\\ | 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 recieved 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".\\ | + | 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 === | + | ===== Research Interests ===== |
| - | \\ | + | |
| * formal verification | * formal verification | ||
| * software model checking | * software model checking | ||
| Zeile 32: | Zeile 32: | ||
| * software for embedded systems | * software for embedded systems | ||
| * software for microcontrollers | * software for microcontrollers | ||
| - | \\ | + | |
| - | === Publications === | + | ===== Publications ===== |
| - | \\ | + | |
| ~~NOCACHE~~ | ~~NOCACHE~~ | ||
| <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | ||
| + | |||
| + | ===== Teaching ===== | ||
| + | |||
| + | ==== BSc/MSc/Diploma Theses ==== | ||
| + | |||
| + | === Ongoing === | ||
| + | |||
| + | === Finished === | ||
| + | |||
| + | * Parallel and Distributed Construction of the State Spaces in the Model Checker [mc]square (Stefan Mau) | ||
| + | * 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]]) | ||
| + | * Model Checking of Sensor Network Nodes with [mc]square (Matthias Moers) | ||
| + | * Extending the Model Checker [mc]square by User-Defined Environments ([[:lehrstuhl:mitarbeiter:gueckel]]) | ||
| + | * Extending the model checking tool [mc]square to handle the Infineon XC167 microcontroller (Florian Scheuer) | ||
| + | * Application of Static Analysis in the Field of Model Checking Software for Embedded Systems (Jann Löll) | ||
| + | * Symbolic Model Checking of Assembly Code in [mc]square ([[:lehrstuhl:mitarbeiter:schommer]]) | ||
| + | * An Approach for Model Checking Embedded Systems Software (Michael Rohrbach) | ||
| + | * Analysis of Application Potential of Formal Verification in the Field of Engine Control Software ([[: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) | ||