14th International Conference on Quantitative Evaluation of Systems(QEST 2017 )

September 05-07, 2017

Berlin,Germany.

Call For Papers

The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative evaluation and verification of computer systems and networks. Areas of interest include quantitative specification methods, stochastic models, and metrics for performance, reliability, safety, correctness, and security. QEST is interested in both theoretical and experimental research. QEST welcomes a diversity of modeling formalisms, programming languages and methodologies that incorporate quantitative aspects such as probabilities, approximations and other quantitative aspects. Papers may advance empirical, simulation and analytic methods. Of particular interest are case studies that highlight the role of quantitative specification, modeling and evaluation in the design of systems. Systems of interest include computer hardware and software architectures, communication systems, cyber-physical systems, infrastructural systems, and biological systems. Papers that describe novel tools to support the practical application of research results in all of the above areas are also welcome.

Topics

• Smart Energy Systems over the Cloud
• We solicit contributions dealing with quantitative analysis
• Performance evaluation of models of networks of smart devices interconnected physically
• Dealing with smart buildings and  the smart grid
• Instances of problems of interest are energy management in smart buildings
• Demand response over smart grids
• Frequency control over power network.
• Machine Learning and Formal Method
• The  main aim is to disseminate learning based techniques that have potential of improving theory
• Practice of formal methods.
• Program analysis and synthesis
• Timed systems, compositional verification      

Important Dates

Paper submission: March 24, 2017

                       

Notification of acceptance: 29 May 2017

           

Final manuscripts due: 23 June 2017

                                             

User Name : Claude
Posted 28-09-2016 on 09:04:59 AEDT

Related CFPs

RRRST 2025   2025 International Conference on Renewable Resources and Remote Sensing Mapping Technology
IOTSEC 2025   2nd International Conference on IoT & Information Security (IOTSEC 2025)
ELELIJ   Electrical and Electronics Engineering: An International Journal
ACINT 2025   3rd International Conference on Advanced Computational Intelligence