Please accept our apologies if you receive multiple copies of this CfP.
-------------------------------------------------------------------------------------------------------------------
CALL FOR PAPERS
16th International GI/ITG Conference on
“Measurement, Modelling and Evaluation of Computing Systems” and
“Dependability and Fault-Tolerance” (MMB & DFT 2012)
March 19 - 21, 2012
Kaiserslautern (Germany)
--------------------------------------------------------------------------------------------------------------------
Organized by GI/ITG Technical Committees on “Measurement, Modelling and
Evaluation
of Computing Systems (MMB)” and “Dependability and Fault-Tolerance (DFT)”
Conference Homepage: www.mmb2012.de
The technical committees MMB and DFT are the main fora in Germany covering all
aspects of
performance and dependability evaluation of systems including networks,
computer
architectures, distributed systems, software, fault-tolerant and secure
systems.
In 2012, both committees join forces again in a common conference. MMB & DFT
2012 will
comprise besides its scientific main programme tutorials from academic and
industrial experts;
invited talks, tool presentations as well as workshops focusing on special
themes.
The conference language is English.
Topics of MMB & DFT 2012 include:
Methods
-Quantitative evaluation techniques related to performance,
dependability, security,
survivability, real-time constraints, cost, energy-efficiency and
combined aspects
like, for instance, performance-security tradeoffs
-Fault-tolerant system and network design, dependable computing,
redundancy techniques,
fault modelling, fault injection
-Testing, measuring, benchmarking and monitoring of systems and networks
-Queueing systems, stochastic Petri nets, stochastic process algebras,
Markov chains,
non-Markovian models, fluid models, network calculus / real-time
calculus
-Simulation techniques including rare events, parallel and distributed
simulation
-Combination of stochastic modelling and formal methods, e.g.,
stochastic extensions
of the UML
-Model checking in model-driven software development
-Network economics, accounting, tariffing
Applications
-Computer and software architectures, organic computing architectures,
pervasive and
ubiquitous computing, adaptive and self-organizing systems, embedded
systems
-Fault-tolerant systems and networks, safety-oriented and
security-oriented architectures,
redundancy techniques
-Communication networks including access and backbone networks, optical
networks,
high-speed switching, peer-to-peer networks, overlay networks, sensor
networks and
sensor systems, car communication, mobile and wireless networks,
web-based systems,
multimedia systems, traffic engineering, network planning and
optimization
-Green IT
-Workflow and logistic systems, traffic and transportation systems
Tools and Case Studies
SUBMISSIONS
Full conference papers: Papers must be unpublished and must not be submitted
for
publication elsewhere. All papers will be thoroughly reviewed by at
least three
referees on the basis of their originality and their scientific and
practical
contribution to the state-of-the-art. Papers must be written in
English and
must not exceed 15 pages (LNCS style). The proceedings will be
published in the
Springer LNCS series. A best paper award will be provided.
Practical experience reports: Besides full papers practical experience reports
are
also solicited. Reports should not exceed 8 pages (LNCS style).
Accepted practical
experience reports are published separately in a technical report.
Tool descriptions: Special sessions will be arranged to present and demonstrate
tools
relevant to any topic covered by the Call for Papers. Accepted tool
descriptions
(up to four pages) will appear in the proceedings.
Tutorial proposals: Please send tutorial proposals to the conference chair.
IMPORTANT DATES
Paper Submission: October 4, 2011
Tools & Tutorial Submission: November 7, 2011
Author Notification: December 2, 2011
Final Version: December 16, 2011
Conference: March 19-21, 2012
CONFERENCE CHAIR
Jens Schmitt (TU Kaiserslautern)
PROGRAM COMMITTEE
Lothar Breuer (U Kent)
Peter Buchholz (TU Dortmund)
Joachim Charzinski (Stuttgart Media U)
Hans Daduna (U Hamburg)
Klaus Echtle (U Duisburg-Essen)
Bernhard Fechner (U Augsburg)
Markus Fidler (U Hannover)
Reinhard German (U Erlangen-Nuremberg)
Gerhard Haßlinger (T-Systems)
Boudewijn Haverkort (ESI/U Twente)
Holger Hermanns (U Saarbrücken)
Joost-Pieter Katoen (RWTH Aachen)
Peter Kemper (Coll William&Mary)
Jörg Keller (FeU Hagen)
Udo Krieger (U Bamberg)
Wolfram Lautenschläger (Alcatel-Lucent)
Axel Lehmann (UBw München)
Ralf Lehnert (TU Dresden)
Erik Maehle (U Lübeck)
Michael Menth (U Tuebingen)
Bruno Müller-Clostermann (U Essen)
Peter Reichl (FZ Telekommunikation Vienna)
Anne Remke (U Twente)
Johannes Riedl (Siemens AG)
Francesca Saglietti (U Erlangen-Nuremberg)
Werner Sandmann (TU Clausthal)
Markus Siegle (UBw Munich)
Helena Szczerbicka (U Hannover)
Aad van Moorsel (U Newcastle)
Oliver Waldhorst (Karlsruher Institute of Tech)
Max Walter (TU Munich)
Verena Wolf (U Saarbrücken)
Bernd Wolfinger (U Hamburg)
Katinka Wolter (HU Berlin)
Armin Zimmermann (TU Ilmenau)
--
prof. dr. jens schmitt
disco | distributed computer systems lab
computer science department
university of kaiserslautern
p.o. box 3049, 67653 kaiserslautern, germany
phone: +49.631.205.3288
fax: +49.631.205.3289
e-mail: [email protected]
web: http://disco.informatik.uni-kl.de
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
