COMPASS - A Comprehensive Algebraic Approach to System Specification and Development (completed).

EXSPEC - Executable Specifications as Higher-order Logic Programs (completed).

Java Security - Formal specification and verification of Java Virtual Machine, formal specification of Java security model.

Java-Fun - A functional extension of Java(tm).

OOML - Toolunabhängiges Fileformat für den OO Entwurf.