[Tccc] MMRP12 : Workshop on Models and Methods for Reliability and Performance of computer networks (1 day left!)

Periklis Chatzimisios peris
Thu Apr 19 16:13:46 EDT 2012


------------------------------------------------------------------------
       - 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 at 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








More information about the TCCC mailing list