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/08/07 11:26] schlich |
lehrstuhl:mitarbeiter:schlich [2009/08/07 11:39] schlich |
||
---|---|---|---|
Zeile 50: | Zeile 50: | ||
===== Research Interests ===== | ===== Research Interests ===== | ||
- | * formal verification | + | * Formale Methoden |
- | * software model checking | + | * Software Model-Checking |
- | * model checking of assembly code | + | * Statische Analyse |
- | * software for embedded systems | + | * Abstrakte Interpretation |
- | * software for microcontrollers | + | * Eingebettete Software |
+ | * Assembler-Code | ||
+ | * C-Code | ||
+ | * Mikrocontroller | ||
+ | * Speicherprogrammierbare Steuerungen | ||
===== Publikationen ===== | ===== Publikationen ===== |