TUHH
STS
contact
people
research
teaching
research
> STS > Research > Projects

Projects

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

BDDstab
Non-convex abstract domain for the binary analysis framework Jakstab.

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

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

regVIS
Lightweight Structured Visualization of Assembler Control-Flow based on Regular Expressions

ScalaQL
Extending the Scala programming language with database query
capabilities

Soft Errors
Projects FITIn and FlipSafe

SPALTER
Frama-C plug-in that iteratively improves the precision of Frama-C's value analysis results

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

Previous projects