default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQEST 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
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:
