Norwegian version of this page

Analytical Solutions and Reasoning (ASR)

About the group

The members of the ASR group work on these three research areas:


Ontologies, Active Objects, Rewriting Logic

Read more


Simulation, Verification, Theorem Proving, Model Checking, Static Analysis

Read more

Model-driven Information Systems

Semantic Technologies, Data Integration, Data Access, Databases

Read more

Published July 10, 2011 11:25 AM - Last modified Sep. 30, 2021 4:32 PM


Group leader: Martin Giese