posted by user: wimmer || 5537 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-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
CAV 2025   37th International Conference on Computer Aided Verification
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
PESARO 2025   The Fifteenth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IJDMS 2024   International Journal of Database Management Systems
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ccpi 2025   16th International Workshop on Cloud-Edge Continuum Projects and Initiatives (CCPI)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications