First International Workshop on Models and Methods for Reliability and Performance of computer networks
CNAM, Paris, August 2012
Colocated with Formal Methods (FM 2012)
Since the last years, we have seen a rapid development of computer networks and distributed software in various industrial sectors. It becomes more and more crucial to guarantee both performance and reliability of the systems. We need accurate models and efficient methods for quantitative analysis of these systems. The aim of this workshop is to study recent advances on probabilistic models and mathematical methods, in order to analyze these systems. Some specific problems are studied as the complexity and the size of the systems. Quantitative analysis could be very difficult to perform, so one objective of this workshop is to show how some new promising models and methods can solve these problems. Optimization methods provides also interesting solutions for example in network survivability. We plan to have one or two invited speakers from university and industry.
Hind Castel, Télécom SudParis, France
Laurent Decreusefond, Télécom Paris, France
Periklis Chatzmisios,Thessaloniki, Greece