Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

DISTOL (web site ) is a joint project between the SUMO Team at Inria Rennes, the LogicA team at IRISA Rennes, the Chennai Mathematical Institute, the Institute of Mathematical Sciences at Chennai and the National University of Singapore.

The DISTOL project (Distributed systems, stochastic models and logics) aims at gathering researchers from Inria Rennes, two institutes in Chennai, India (CMI and IMSC) and National University of Singapore, working on formal modeling and verification of distributed systems. This project covers four main research directions. Each of these directions rely on specific and complementary competences:

• Robustness and time issues in distributed systems models (Members of SUMO consider this problem with the Chennai Mathematical Institute)

• Applications of formal models & techniques to Web Services (Members of SUMO consider this problem with the Chennai Mathematical Institute)

• Quantitative verification for distributed systems (Members of SUMO consider this problem with researchers at NUS)

• Unification of Control Theory of Distributed Systems (This part is mainly addressed by the LOGICA team in collaboration with the Institute of Mathematical Sciences)

Inria International Partners

Declared Inria International Partners

Éric Badouelis member of the team ALOCO (Architecture logicielle à Composants) of LIRIMA lab (Laboratoire international de recherche en informatique et mathématiques appliquées). LIRIMA is an african lab with headquarters in Yaoundé (Cameroun) partially funded by Inria. Within the team ALOCO, Éric collaborates on artifact-centric business process models.

Informal International Partners

We collaborate with Thomas Brihaye (UMONS, Brihaye) on the verification of stochastic timed systems.

We collaborated with Laurie Ricker (Mount Allison University, Canada) and Thierry Massart (ULB,Belgium) on the control of distributed systems.

Participation in other International Programs

Several researchers of the SUMO team are members of the LIA Informel. The Indo-French Formal Methods Lab is a CNRS International Associated Laboratory fostering the scientific collaboration between India and France in the domain of formal methods and applications to the verification of complex systems.

The research within LIA Informel focuses on theoretical foundations of games, automata, and logics, three important tools in formal methods. Members of Informel work on the verification of safety-critical systems, with an emphasis on quantitative aspects (time, cost, energy, etc.), concurrency, control, and security protocols.