Acta Est Fabula

This is an overview of finished projects in our group. Note that links may be outdate by now, so be careful while browsing.

HasCASL

Combination of algebraic specification and functionalq programming as an environment for formal software development. [→ More.]

Funding: DFG, Duration: 2001-2004 (first phase), 2005-2007 (second phase).

Generic User Interfaces for Interactive Theorem Provers (PGKit)

The aim of the Proof General Kit is the implementation of a framework for interactive theorem proving, based on a lightweight middleware architecture and standardised protocols. This project is a collaboration with Dr David Aspinall from the University of Edinburgh. [→ More.]

Funding: IBM (Eclipse Innovation Grant, University of Bremen), duration: started 2005.

Heterogeneous Tool Set (Hets)

The project Multiple/Hets develops a framework for the heterogeneous integration of formal methods and tools. [→ More.]

Funding: DFG, Duration: 2000-2002 (first phase), 2002-2006 (second phase).

Abstraction and Reuse of Formal Developments (AWE)

The AWE project aims to exploit the potential of systematic abstraction of formal developments for better reuse. [→ More.]

Funding: DFG, duration: 2002-2004 (first phase), 2005-2007 (second phase).

Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments (SPP RoboCup)

Employing the RoboCup scenario, this project develops methods which allow to classify primitive actions as well as complex behaviour patterns of other autonomous agents, to recognize sequences of actions and strategies, and to act and react in an appropriate manner. [→ More.]

Funding: DFG, duration: 2001-2003 (first phase), 2003-2005 (second phase), 2005-2007 (third phase)