Research:

FairPay: secure electronic payment

PalME: Palm-based Money Exchange: Development of an electronic purse according to common criteria

Previous research:

KorSys-Project: Development of correct Systems

KorSo-Project: Correct Software

Development:

Validas AG: Develompent of Validation Framework

Previous work:

Quest: Development Project to Combine Formal and Graphical Development

AutoFocus: development of a CASE-Tool

Student Projects (for more information: contact)

Development of new, modelbased, graphical editors for AutoFocus

Using Constraint Handling Techniques 

Combining Constraint Handling and Model Checking

Case Study of Model-based Deveopment and Validation

(in progress): Development with Common Criteria: A Case Study

(finished): Model based Requirement Tracing

(finished): Generation of ORCALE-Databases from Models

(finished): Test sequence generation based on Propositional Logic

Consulting:

MOBASIS: Model-based Development of Avionik Systems

Training: Modelling with AutoFocus

Generation of Test Sequences for Embedded Systems