Project-team

SUMO

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
Rennes
In partnership with
Université Rennes 1,CNRS

Members

Team leader

Laurence Dinh

Team assistant

News