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/05/04 17:38]
brauer 		lehrstuhl:mitarbeiter:schlich [2009/08/05 16:13]
schlich
Zeile 1: Zeile 1:
 ====== Dr.rer.nat. Bastian Schlich ====== ====== Dr.rer.nat. Bastian Schlich ======
 \\ \\
 +/*
 {| {|
 |- |-
-|| {{:​lehrstuhl:​mitarbeiter:​schlich.jpg|}}+|| {{:​lehrstuhl:​mitarbeiter:​schlich2.jpg|}}
 || ||
-Research Assistant\\ +Post-Doktorand\\ 
-schlich[at]embedded[dot]rwth-aachen[dot]de\\+Gruppenleiter der Gruppe Formale Verifikation\\
 \\ \\
-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.\\+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.\\
 \\ \\
-Phone +49 241 80 21158\\ +Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ 
-Fax +49 241 80 6 21158\\+Telefon: ​+49 241 80 21158\\ 
 +Fax: +49 241 80 6 21158\\
 \\ \\
-Address: Ahornstr. 55, 52074 Aachen, Germany\\ +Büro: Raum 2325 (Gebäude H)\\ 
-Office: room 2325 (Building H)+Addresse: Ahornstr. 55, 52074 Aachen
 |} |}
 +*/
 +{{:​lehrstuhl:​mitarbeiter:​schlich.jpg|}}\\
 \\ \\
-=== Personal ===+Post-Doktorand\\ 
 +Gruppenleiter der Gruppe Formale Verifikation\\
 \\ \\
-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.\\+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.\\
 \\ \\
-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.\\+Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ 
 +Telefon: +49 241 80 21158\\ 
 +Fax: +49 241 80 6 21158\\
 \\ \\
-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"​.\\+Büro: Raum 2325 (Gebäude H)\\ 
 +Addresse: Ahornstr. 55, 52074 Aachen 
 \\ \\
-=== Research Interests ​===+/*===== 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. 
 +*/ 
 + 
 +===== Persönlich ===== 
 +Seit Juli 2008 bin ich Post-Doktorand am Lehrstuhl Informatik 11 - Software für eingebettete Systeme. An diesem Lehrstuhl leite ich die Gruppe Formale Verifikation. Mein Forschungsschwerpunkt ist die formale Verifikation von Software für eingebettete Systeme. Unter formaler Verifikation verstehe ich die Anwendung von Methoden wie z. B. statische Analyse, abstrakte Interpretation und Model-Checking.\\
 \\ \\
 +In der Gruppe arbeiten wir an einem Werkzeug zur Analyse von Assembler-Code für Mikrocontroller und AWL-Programmen für SPSen. Das Werkzeug heißt [[http://​www.embedded.rwth-aachen.de/​mc_square|[mc]square]]. In diesem Werkezug kombinieren wir unterschiedliche formale Methoden und passen sie an die Gegebenheiten von eingebetteten Systemen an. Das Werkzeug soll möglichst leicht zu benutzen sein und keine Änderungen an den zu verifizierenden Programmen benötigen.\\
 +\\
 +Meinen Doktortitel habe ich im Juni 2008 von der RWTH Aachen erhalten. Der Titel meiner Dissertation lautet "Model Checking of Software for Microcontrollers"​. Meine Diplomarbeit habe ich am Lehrstuhl für Software-Technologie der Universität Dortmund geschrieben. Der Titel meiner Diplomarbeit ist "​Konzeption und Realisierung eines Werkzeugs zur Unterstützung der Test-Driven-Developments"​.\\
 +
 +===== Research Interests =====
 +
   * formal verification   * formal verification
   * software model checking   * software model checking
Zeile 32: Zeile 53:
   * software for embedded systems   * software for embedded systems
   * software for microcontrollers   * software for microcontrollers
-\\ + 
-=== Publications ​=== +===== Publikationen ===== 
-...+~~NOCACHE~~ 
 +<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)