default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. 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
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.
last updated on 2026-01-15 01:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
