About the group
The members of the ASR group work on these three research areas:
Modeling
Ontologies, Active Objects, Rewriting Logic
Analysis
Simulation, Verification, Theorem Proving, Model Checking, Static Analysis
Model-driven Information Systems
Semantic Technologies, Data Integration, Data Access, Databases
