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