Projects

Click on a project name to read more about the specific project..

CASAM
Computer-Aided Semantic Annotation of Multimedia

ConceptC++/Rascal
Metrics, transformations, and visualizations of concept hierarchies

DbC4WSN
Design by Contract for (wireless) sensor networks

DLPStreams
Description Logic Persistent Streams

FlipSafe
Detecting "soft errors" (i.e, temporary hardware glitches) solely by means
of software

HaskC++
Generic C++ programming from Haskell specifications

PreSInt
Probabilistische Präferenzmaße für wissensbasierte Szeneninterpretation

PriAS
Robust Probabilistic Reasoning for Intelligent Autonomous Systems

RACER
Renamed ABox and Concept Expression Reasoner

ScalaQL
Extending the Scala programming language with database query
capabilities

ZenoTool
A tool that analyzes model specifications of timed automata systems created with UPPAAL for the occurrence of Zeno Runs