Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11024)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): QEST: International Conference on Quantitative Evaluation of Systems
Conference proceedings info: QEST 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (25 papers)
-
Front Matter
About this book
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.
The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
Keywords
- artificial intelligence
- cryptography
- decision theory
- differential equations
- learning algorithms
- Markov chains
- matrix algebra
- model checking
- numerical methods
- probability
- probability distribution
- security systems
- semantics
- software engineering
- software evaluation
- specifications
- temporal logic
- verification
Editors and Affiliations
-
Macquarie University , Sydney, Australia
Annabelle McIver
-
University of Turin , Turin, Italy
Andras Horvath
Bibliographic Information
Book Title: Quantitative Evaluation of Systems
Book Subtitle: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Editors: Annabelle McIver, Andras Horvath
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-99154-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99153-5Published: 15 August 2018
eBook ISBN: 978-3-319-99154-2Published: 27 August 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 423
Number of Illustrations: 101 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Probability and Statistics in Computer Science, Artificial Intelligence, Simulation and Modeling, Mathematical Logic and Formal Languages