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
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. 41-56 - Sadegh Esmaeil Zadeh Soudjani
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. 57-73 - Dieky Adzkiya
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
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
Probabilistic Model Checking of DTMC Models of User Activity Patterns. 138-153 - Geert J. Heijenk
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
Modelling Replication in NoSQL Datastores. 194-209
Queueing, Debugging and Tools
- Herwig Bruneel, Wouter Rogiest, Joris Walraevens
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
Non-intrusive Scalable Memory Access Tracer. 245-248
Process Algebra and Equivalences
- Anastasis Georgoulas
Probabilistic Programming Process Algebra. 249-264 - Cheng Feng
PALOMA: A Process Algebra for Located Markovian Agents. 265-280 - Marco Bernardo
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. 281-296
Automata and Markov Process Theory
- Manfred Jaeger
Continuity Properties of Distances for Markov Processes. 297-312 - Nathalie Bertrand
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
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. 345-367 - Yusuke Kawamoto
Compositionality Results for Quantitative Information Flow. 368-383 - An Hoa Vu, Nils Ole Tippenhauer
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. 384-387
Probabilistic Model Checking
- Markus N. Rabe, Christoph M. Wintersteiger
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. 388-403 - Nils Jansen
Accelerating Parametric Probabilistic Verification. 404-420
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 2024-11-22 19:32 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: