Visitor Counter

110021

Program Committee

Lothar Breuer
Peter Buchholz
Hans Daduna
Klaus Echtle
Bernhard Fechner
Markus Fidler
Reinhard German
Gerhard Haßlinger
Boudewijn Haverkort
Holger Hermanns
Joost-Pieter Katoen
Peter Kemper
Jörg Keller
Udo Krieger
Wolfram Lautenschläger
Axel Lehmann
Ralf Lehnert
Erik Maehle
Hermann de Meer
Michael Menth
Peter Reichl
Johannes Riedl
Francesca Saglietti
Jens Schmitt
Markus Siegle
Peter Sobe
Helena Szczerbicka
Kurt Tutschku
Oliver Waldhorst
Max Walter
Verena Wolf
Bernd Wolfinger
Katinka Wolter
Armin Zimmermann

Cooperating Partners

Society for Informatics
ITG
Technical Committee Measurment, Modelling and Evaluation of Computing Systems
DFT
Springer
TAO

17th International GI/ITG Conference on

Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”

 

MMB & DFT 2014

 

March 17 - ­ 19, 2014,

Bamberg (Germany)

 

Organized by GI/ITG Technical Committees on “Measurement, Modelling and Evaluation of Computing Systems (MMB)” and “Dependability and Fault-Tolerance (DFT)”

 

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, workflow systems, software, fault-tolerant and secure systems. In 2014 both committees join forces in a common international conference MMB & DFT 2014. In addition to its scientific programme on performance and dependability evaluation techniques, it will comprise invited talks, tool presentations, state-of-the-art tutorials, and workshops focusing on hot topics.

 

Topics of MMB & DFT 2014 include:

 

Models and Methods

  • Quantitative evaluation techniques related to performance, dependability, security, survivability, real-time constraints, cost, energy-efficiency and combined aspects like 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
  • Simulation techniques including rare events, parallel and distributed simulation
  • Combination of stochastic modeling and formal methods in engineering
  • Model checking and theorem proving in model-driven software development
  • Network economics, accounting, tariffing

 

Applications

  • Computer and software architectures, cloud computing, organic computing, pervasive and ubiquitous computing, adaptive and self-organizing systems, embedded systems, sensor systems
  • Fault-tolerant systems and networks, safety-oriented and security-oriented architectures, redundancy techniques
  • Communication networks including access, backbone and optical networks, high-speed switching, software-defined networking, mobile and wireless networks, sensor networks, car communication, traffic engineering, network planning and optimization
  • Peer-to-peer, overlay and information-centric networks, web-based systems, multimedia systems
  • Complex networks, social networks, power-law and scale-invariant systems, biochemical reaction systems
  • Green IT, energy-efficient systems, future smart energy networks
  • Workflow and logistic systems, traffic and transportation systems

 

Tools and Case Studies in all Areas of Application

 

Submission Formats

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 and industrial papers: Besides full papers, industrial papers and practical experience reports are also solicited. Reports should not exceed 8 pages (LNCS style). Acceptedsubmissions will be published separately by University of Bamberg Press.

 

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 should not exceed four pages and will appear in the proceedings.

 

Tutorial proposals: Please send your tutorial proposals to the conference chair.

 

Preparing your final version of the paper:

 

Important Dates

Paper Submission (extended): October 20, 2013
Tools & Tutorial Submission: November 9, 2013
Authors' Notification: December 9, 2013
Final Version: December 30, 2013
Conference: March 17-19, 2014

 

 

 

The Call for Paper as pdf

 

 

Sponsors

Centron Insius St.Erhard Grossmann