Home page > Teams > DCS


Complex and distributed systems cover hard and soft real-time applications, security protocols and security applications as well as programs. The common feature of these systems is that their behaviour is logically and combinatorially complex, involving functional and extra-functional properties (real-time constraints, performance, security...).

We develop languages and methods for the study of fundamental problems derived from real-life issues, aiming at developing rigorous solutions that yield tools.

The DCS team revolves around four research themes:

Contact | Site Map | Site created with SPIP 2.1.28 + AHUNTSIC [CC License]

visits: 604023