First International Workshop on Models and Methods for Reliability and Performance of computer networks
CNAM, Paris, August 27-31 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. Applications on mobile or optical networks and also systems as Web services or clouds will be very apreciated. We plan to have one or two invited speakers from university and industry.
Important Dates :
Full paper due : April 20th, 2012
Notification of Acceptance : May 15th, 2012
Camera ready paper due : June 11th, 2012