------------------------------------------------------------------------ - Our apologies if you receive multiple copies of this CFP - ------------------------------------------------------------------------

Workshop on Models and Methods for Reliability and Performance of computer networks” (MMRP 2012) August 27 - 31, 2012, CNAM, Paris, France

http://mmrp12.wp.it-sudparis.eu

collocated with the 18th International Symposium on Formal Methods (FM 2012)

Overview: 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 provide also interesting solutions for example in network survivability. We plan to have one or two invited speakers from university and industry.

We propose two kinds of papers: long and short papers. Long papers will be published in the proceedings.

-Long papers: not exceeding 15 pages which describe research findings in the identified topics of the workshop. They should be in Springer LNCS format, and describe original work that has not been published elsewhere. Files must be submitted in PDF.

-Short papers: 4 pages which describe work in progress also in the topics of the workshop, written in Springer LNCS format, these papers will not be published in the workshop proceedings. Files must be submitted in PDF.

In particular, the topic of interest includes but is not limited to :

-Queuing theory -Stochastic Petri Net models -Stochastic automata -Markov chains -Probabilistic Model checking -Simulation techniques -Traffic modeling and analysis -Reliability models -Numerical methods and algorithms -Tools for performance and reliability analysis -Applications and evaluation studies -Network simulation and emulation techniques -Network optimization and survivability

Organizers: -Hind Castel, Telecom SudParis, France (Hind.Castel@it-sudparis.eu) -Laurent Decreusefond, Telecom ParisTech, France -Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece

TPC Members: Walid Benameur, Télécom SudParis, France Tijani Chahed, Télécom SudParis, France Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece Dieter Fiems, Ghent University,Belgium Jean-Michel Fourneau, Université de Versailles, France Serge Haddad, ENS CACHAN, France Mounia Lourdiane, Télécom SudParis, France Yoni Nazarathy, Swinburne University of Technology, Australia Antonio Pacheco, Instituto Superior Tecnico, Portugal Franck Quessette, Université de Versailles, France Janos Sztrik, Faculty of Informatics, Hungary Joanna Tomasik, Supelec, France Sandrine Vaton, Telecom Bretagne, France Katinka Wolter, Freie Universität Berlin, Germany

Important Dates : Full paper due: April 20th, 2012 (extended deadline!) Notification of Acceptance: May 7th, 2012 Camera ready paper due: June 4th, 2012

Submissions on the web page : https://www.easychair.org/conferences/?conf=mmrp12