Previous Projects
- MAEWA I: Model-Driven Engineering of Web Applications, DFG Project
- mashlab: Internetportal for persons enganged in the cultural sector, Exist-Seed BMWi-Project.
- InOpSys: Interoperability of Calculi for System Modelling
- AGILE: Architectures for Mobility
- InfoZert: Verification and Certification of Information Flows, funded by DFG
- MMISS - MultiMedia Instructions in Safe Systems
- CARUSO: Customer Care and Relationship Support Office
- Knowledge Master
- LAMP: Lecture-Oriented Cooperation of Computer Science Departments
- Constraint-based Programming
- Constraint Handling Rules
- ZEITRAUM: Spatio-temporal Reasoning for GIS
- TACLP: Temporal Annotated Constraint Logic Programming
- DexVal: Simulating and Analyzing Hybrid Systems
- JCK: Java Constraint Kit
- Functional Programming with CONSTRAINTS
- Software System Verification (DAAD programme INIDA)
- Spatio-temporal logics for mobile systems (DAAD-Programm PROCOPE)
- Denotational semantics for concurrent object-oriented languages (DAAD programme VIGONI)
- The Munich Rent Advisor
- FORSOFT: Project A2 - Distributed Systems in Open Nets
- EPKfix : Methods and Tools for efficient Design of Electronical Product Catalogues
- OSIDRIS: Object-Oriented Specification and Verification of distributed Systems
- DeStijl: Design and Specification Through Interfacing and Joining Languages
- Methods and tools for the development of complex software using TLA (DAAD-Programm PROCOPE)
- Implicit Polymorphism with Subtypes
- Compositional Specification and Verification Parallel Programs
- Model Theory of Temporal Logical Specifications
- ATMTS: Algebraic Tools for Modelling Telecommunication Systems
- CafeOBJ
- MeDiCiS: Methodology for the Development of Computer System Specifications
- COMPASS: A Comprehensive Algebraic Approach to System Specification and Development
- KORSO: Modularization and Reuse of Specifications
- CSDM: Correct Software Development
- SPECTRUM
