[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