![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
QEST 2014: Florence, Italy
- Gethin Norman, William H. Sanders:
Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Lecture Notes in Computer Science 8657, Springer 2014, ISBN 978-3-319-10695-3
Keynote Presentations
- Samuel Kounev:
Quantitative Evaluation of Service Dependability in Shared Execution Environments. 1-4 - Tamer Basar:
Multi-agent Networked Systems with Adversarial Elements. 5-8
Kronecker and Product Form Methods
- Elvio Gilberto Amparore, Peter Buchholz
, Susanna Donatelli:
A Structured Solution Approach for Markov Regenerative Processes. 9-24 - Daniel Kressner, Francisco Macedo
:
Low-Rank Tensor Methods for Communicating Markov Processes. 25-40
Hybrid Systems
- Luca Bortolussi
, Guido Sanguinetti
:
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. 41-56 - Sadegh Esmaeil Zadeh Soudjani
, Sebastian Gerwinn, Christian Ellen, Martin Fränzle
, Alessandro Abate:
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. 57-73 - Dieky Adzkiya
, Sadegh Esmaeil Zadeh Soudjani
, Alessandro Abate:
Finite Abstractions of Stochastic Max-Plus-Linear Systems. 74-89
Mean Field/Population Analysis
- Richard A. Hayden, Illés Horváth, Miklós Telek:
Mean Field for Performance Models with Generally-Distributed Timed Transitions. 90-105 - Luca Bortolussi
, Rytis Paskauskas:
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. 106-121 - Marcel C. Guenther, Jeremy T. Bradley:
On Performance of Gossip Communication in a Crowd-Sensing Scenario. 122-137
Models and Tools
- Oana Andrei
, Muffy Calder
, Matthew Higgs, Mark A. Girolami
:
Probabilistic Model Checking of DTMC Models of User Activity Patterns. 138-153 - Geert J. Heijenk
, Martijn van Eenennaam, Anne Remke:
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. 154-169 - Elvio Gilberto Amparore:
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. 170-173 - Moreno Marzolla:
The Octave Queueing Package. 174-177
Simulation
- Stéphane Durand, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent:
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs. 178-193 - Rasha Osman
, Pietro Piazzolla
:
Modelling Replication in NoSQL Datastores. 194-209
Queueing, Debugging and Tools
- Herwig Bruneel, Wouter Rogiest, Joris Walraevens
, Sabine Wittevrongel:
On Queues with General Service Demands and Constant Service Capacity. 210-225 - Craig Buchanan, Ken Keefe:
Simulation Debugging and Visualization in the Möbius Modeling Framework. 226-240 - Thomas Heyman, Davy Preuveneers, Wouter Joosen:
Scalar: A Distributed Scalability Analysis Framework. 241-244 - Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki
, Yasunao Katayama:
Non-intrusive Scalable Memory Access Tracer. 245-248
Process Algebra and Equivalences
- Anastasis Georgoulas
, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
:
Probabilistic Programming Process Algebra. 249-264 - Cheng Feng, Jane Hillston:
PALOMA: A Process Algebra for Located Markovian Agents. 265-280 - Marco Bernardo
, Davide Sangiorgi, Valeria Vignudelli:
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. 281-296
Automata and Markov Process Theory
- Manfred Jaeger
, Hua Mao
, Kim Guldstrand Larsen
, Radu Mardare:
Continuity Properties of Distances for Markov Processes. 297-312 - Nathalie Bertrand
, Thomas Brihaye, Blaise Genest:
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. 313-328 - Rohit Chadha, Dileep Kini, Mahesh Viswanathan:
Decidable Problems for Unary PFAs. 329-344
Applications, Theory and Tools
- Alberto Avritzer, Laura Carnevali, Lucia Happe
, Anne Koziolek
, Daniel Sadoc Menasché, Marco Paolieri
, Sindhu Suresh:
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. 345-367 - Yusuke Kawamoto
, Konstantinos Chatzikokolakis, Catuscia Palamidessi
:
Compositionality Results for Quantitative Information Flow. 368-383 - An Hoa Vu, Nils Ole Tippenhauer
, Binbin Chen
, David M. Nicol, Zbigniew Kalbarczyk:
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. 384-387
Probabilistic Model Checking
- Markus N. Rabe, Christoph M. Wintersteiger
, Hillel Kugler
, Boyan Yordanov, Youssef Hamadi:
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. 388-403 - Nils Jansen
, Florian Corzilius, Matthias Volk
, Ralf Wimmer, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker
:
Accelerating Parametric Probabilistic Verification. 404-420
![](https://dblp.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.