Section: Partnerships and Cooperations

International Initiatives

Inria International Labs

Eric Badouel is member of the team Aloco (Architecture logicielle à composants) of LIRIMA, the Inria International Lab in Africa. This collaboration is on the development of artifact-centric business process models.

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

Informal International Partners

We have long lasting relations with indian labs : The Chennai Mathematical Institute in Chennai (M. Mukund, N. Kumar), the Institute for Mathematical Sciences in Chennai (R. Ramanujam, K. Lodaya). We are extending these relations in India. S. Akshay holds a permanent position in IIT Bombay after his postdoc at IRISA. Our relation with our Indian partners has been formalized as associated teams (currently EA DISTOL 2012-2015).

We have started a collaboration with J. Mullins from Université Polytechnique de Montréal. The main theme of this collaboration is security properties in concurrency models. We have submitted a joint paper of variants of interference properties (information leakage) for partial order models.

We collaborate with Laurie Ricker (Mount Allison University, Canada) on the control of distributed systems and the enforcement of opacity.

Participation In other International Programs

AVeRTS is an Indo-French project on the algorithmic verification of real-time systems. The project is funded by CNRS on the french side, and by DST on the Indian side, under the CEFIPRA - Indo-French Program in ICST 2014-2016. From SUMO, Nathalie Bertrand and Blaise Genest are involved and contribute on stochastic timed games.