posted by user: wimmer || 4694 views || tracked by 9 users: [display]

MMB+DFT 2012 : 16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”

FacebookTwitterLinkedInGoogle

Link: http://www.mmb2012.de/
 
When Mar 19, 2012 - Mar 21, 2012
Where Kaiserslautern, Germany
Submission Deadline Oct 14, 2011
Notification Due Dec 2, 2011
Final Version Due Dec 16, 2011
Categories    verification   formal methods   performance
 

Call For Papers

Call for Papers - MMB&DFT


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 in 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 INTEREST

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



CONTRIBUTION FORMAT

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

Related Resources

IEEE COINS 2022   IEEE COINS 2022: Hybrid (3 days on-site | 2 days virtual)
TASE 2022   Theoretical Aspects of Software Engineering
LREC 2022   14th Conference on Language Resources and Evaluation
iFM 2022   International Conference on integrated Formal Methods
ICADCML 2022   3rd International Conference on Advances in Distributed Computing and Machine Learning - 2022
ICFEM 2022   23th International Conference on Formal Engineering Methods
EASE 2022   International Conference on Evaluation and Assessment in Software Engineering (EASE) 2022
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
ICANN 2022   31st International Conference on Artificial Neural Networks
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering