Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision 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:37] schlich |
||
|---|---|---|---|
| Zeile 50: | Zeile 50: | ||
| ===== Research Interests ===== | ===== Research Interests ===== | ||
| - | * formal verification | + | * Formal methods |
| - | * software model checking | + | * Software model checking |
| - | * model checking of assembly code | + | * Static analysis |
| - | * software for embedded systems | + | * Abstract interpretation |
| - | * software for microcontrollers | + | * Embedded Software |
| + | * Assembly code | ||
| + | * C code | ||
| + | * Microcontroller | ||
| + | * Programmable Logic Controller | ||
| ===== Publikationen ===== | ===== Publikationen ===== | ||