Hier werden die Unterschiede zwischen zwei Versionen gezeigt.
|
lehrstuhl:mitarbeiter:kamin [2009/10/13 17:54] kamin |
lehrstuhl:mitarbeiter:kamin [2009/11/11 01:39] (aktuell) kamin |
||
|---|---|---|---|
| Zeile 15: | Zeile 15: | ||
| Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | ||
| Büro: Raum 2301 (Gebäude H) | Büro: Raum 2301 (Gebäude H) | ||
| - | || {{:lehrstuhl:mitarbeiter:kamin.jpg?150|}} | + | || {{:lehrstuhl:mitarbeiter:kamin.jpg?150}} |
| |} | |} | ||
| - | |||
| - | ===== Neuigkeiten ===== | ||
| - | {{blog>:lehrstuhl:mitarbeiter:vkblog?3}} | ||
| ===== Forschungsgebiete ===== | ===== Forschungsgebiete ===== | ||
| Zeile 27: | Zeile 24: | ||
| * Symbolisches Model-Checking von Software für eingebettete Systeme | * Symbolisches Model-Checking von Software für eingebettete Systeme | ||
| * Abstrakte Interpretation | * Abstrakte Interpretation | ||
| + | * Symbolische Ausführung | ||
| * Koppeln von High-Level und Low-Level Model-Checking zur Verifikation von Gegenbeispielen | * Koppeln von High-Level und Low-Level Model-Checking zur Verifikation von Gegenbeispielen | ||
| \\ | \\ | ||