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 Mar. 2, 2022 3:55 PM


Group leader: Martin Giese