SUpervision of large MOdular and distributed systems
SUpervision of large MOdular and distributed systems

The SUMO team proposes to combine formal methods approaches with concurrency theory, in order to address the modeling, analysis and management of large distributed or modular systems exhibiting quantitative aspects. Large distributed softwares and systems are indeed calling for quantitative models involving time, probabilities, costs, and combinations of them. As many problems in this setting become untractable or even undecidable, we are interested in the design of efficient approximation techniques, for example borrowed from electrical engineering approaches to the management of large stochastic systems.

Centre(s) inria
In partnership with
Université Rennes 1,CNRS


Team leader

Laurence Dinh

Team assistant