![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
13. QEST 2016: Quebec City, QC, Canada
- Gul Agha, Benny Van Houdt:
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Lecture Notes in Computer Science 9826, Springer 2016, ISBN 978-3-319-43424-7
Markov Processes
- Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
:
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. 3-18 - Elvio Gilberto Amparore, Susanna Donatelli:
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. 19-34 - Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Data-Efficient Bayesian Verification of Parametric Markov Chains. 35-51
Probabilistic Reasoning Algorithms
- Ernst Moritz Hahn, Vahid Hashemi
, Holger Hermanns, Andrea Turrini:
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. 55-71 - Luca Bortolussi
, Luca Cardelli
, Marta Kwiatkowska, Luca Laurenti:
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. 72-88 - Javier Esparza
, Philipp Hoffmann, Ratul Saha:
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. 89-104
Queueing Models
- Misikir Eyob Gebrehiwot, Samuli Aalto
, Pasi E. Lassila
:
Energy-Aware Server with SRPT Scheduling: Analysis and Optimization. 107-122 - Andrea Marin, Sabina Rossi:
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. 123-138 - Cheng Feng, Jane Hillston, Daniël Reijsbergen:
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. 139-155
Tools
- Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua
:
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. 159-162 - Simonetta Balsamo, Andrea Marin, Ivan Stojic:
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. 163-166 - Jane Hillston, Michele Loreti
:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. 167-171
Sampling, Inference, and Optimization Methods
- Benoît Barbot
, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska:
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. 175-190 - Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Christoph Matheja
:
Inferring Covariances for Probabilistic Programs. 191-206 - Steffen Bondorf
, Jens B. Schmitt:
Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses. 207-223
Markov Decision Processes and Markovian Analysis
- Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof
:
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. 227-243 - Ezio Bartocci
, Luca Bortolussi
, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
:
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. 244-259 - Peter Buchholz
, Tugrul Dayar
, Jan Kriege, M. Can Orhan:
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. 260-276
Networks
- Michael J. Rausch, Brett Feddersen, Ken Keefe, William H. Sanders:
A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE. 279-294 - Jan Kriege, Peter Buchholz
:
Traffic Modeling with Phase-Type Distributions and VARMA Processes. 295-310 - Huaming Wu, William J. Knottenbelt, Katinka Wolter, Yi Sun:
An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing. 311-328
Performance Modeling
- Enno Ruijters
, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga
:
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. 331-347 - Giovanni Neglia, Sara Alouf, Abdulhalim Dandoush
, Sébastien Simoens, Pierre Dersin, Alina Tuholukova, Jérôme Billion, Pascal Derouet:
Performance Evaluation of Train Moving-Block Control. 348-363 - Stefan Haar, Simon Theissing:
Decoupling Passenger Flows for Improved Load Prediction. 364-379
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.