Research Topics & Projects

Real-Time System specification

TILCO a temporal logic for real-time system specification

Music Notation

MOODS a collaborative music editor for orchestras.
WEDELMUSIC a system to distribute music (symbolic description, score images, audio, video, documents) in a secure and controlled way.
MUSICNETWORK a FP5 thematic network on multimedia music.