Section: Partnerships and Cooperations

National Initiatives

ANR Malthy

Participants : Axel Legay, Rudolf Fahrenberg, Louis-Marie Traonouez.

The objective of this project is to study new models and techniques to reason on quantitative systems. We mainly focus on the composition of timed components in a dynamic setting.

BGLE SyS2Soft

Participants : Axel Legay, Thomas Given-Wilson, Cyrille Jegourel.

This national project studies various languages and techniques for quantitative systems.