Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrea Marin, Sabina Rossi |
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario |
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Javier Campos, Boudewijn R. Haverkort (eds.) |
Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Si Liu 0003, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer 0001 |
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yang Gao 0011, Martin Fränzle |
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Rubino |
Power and Effectiveness in Queueing Systems. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Fourneau, Nihal Pekergin |
A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Asser N. Tantawi |
Quantitative Placement of Services in Hierarchical Clouds. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bouillard, Ana Busic, Christelle Rovetta |
Perfect Sampling for Multiclass Closed Queueing Networks. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Tadashi Dohi |
mapfit: An R-Based Tool for PH/MAP Parameter Estimation. |
QEST |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate |
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore |
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare |
Continuity Properties of Distances for Markov Processes. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kawamoto 0001, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Compositionality Results for Quantitative Information Flow. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcel C. Guenther, Jeremy T. Bradley |
On Performance of Gossip Communication in a Crowd-Sensing Scenario. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tamer Basar |
Multi-agent Networked Systems with Adversarial Elements. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Geert J. Heijenk, Martijn van Eenennaam, Anne Remke |
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Dileep Kini, Mahesh Viswanathan 0001 |
Decidable Problems for Unary PFAs. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Rytis Paskauskas |
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen 0001, David M. Nicol, Zbigniew Kalbarczyk |
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 |
Accelerating Parametric Probabilistic Verification. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi |
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Marzolla |
The Octave Queueing Package. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami |
Probabilistic Model Checking of DTMC Models of User Activity Patterns. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Feng 0004, Jane Hillston |
PALOMA: A Process Algebra for Located Markovian Agents. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Guido Sanguinetti |
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rasha Osman, Pietro Piazzolla |
Modelling Replication in NoSQL Datastores. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Thomas Brihaye, Blaise Genest |
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gethin Norman, William H. Sanders (eds.) |
Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Hayden, Illés Horváth, Miklós Telek |
Mean Field for Performance Models with Generally-Distributed Timed Transitions. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kressner, Francisco Macedo |
Low-Rank Tensor Methods for Communicating Markov Processes. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Finite Abstractions of Stochastic Max-Plus-Linear Systems. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Peter Buchholz 0001, Susanna Donatelli |
A Structured Solution Approach for Markov Regenerative Processes. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Kounev |
Quantitative Evaluation of Service Dependability in Shared Execution Environments. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Herwig Bruneel, Wouter Rogiest, Joris Walraevens, Sabine Wittevrongel |
On Queues with General Service Demands and Constant Service Capacity. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Davide Sangiorgi, Valeria Vignudelli |
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki, Yasunao Katayama |
Non-intrusive Scalable Memory Access Tracer. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Craig Buchanan, Ken Keefe |
Simulation Debugging and Visualization in the Möbius Modeling Framework. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Heyman, Davy Preuveneers, Wouter Joosen |
Scalar: A Distributed Scalability Analysis Framework. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Durand 0001, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent |
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti |
Probabilistic Programming Process Algebra. |
QEST |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe |
Computer-Aided Security Proofs. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer |
Modelling, Reduction and Analysis of Markov Automata. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche |
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nikolas Anastasiou, William J. Knottenbelt |
PEPERCORN: Inferring Performance Models from Location Tracking Data. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Roberta Lanciani |
Model Checking Markov Population Models by Central Limit Approximation. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards |
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Nathalie Bertrand 0001, Serge Haddad, Loïc Hélouët |
The Steady-State Control Problem for Markov Decision Processes. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Lenhardt |
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver |
Prinsys - On a Quest for Probabilistic Loop Invariants. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 |
High-Level Counterexamples for Probabilistic Automata. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta |
Topology-Based Mobility Models for Wireless Networks. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Radu Mardare |
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort |
Automated Rare Event Simulation for Stochastic Petri Nets. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dieky Adzkiya, Alessandro Abate |
VeriSiMPL: Verification via biSimulations of MPL Models. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Klebanov, Norbert Manthey, Christian J. Muise |
SAT-Based Analysis and Quantification of Information Flow in Programs. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edmundo de Souza e Silva, Rosa M. M. Leão, Daniel Sadoc Menasché, Antônio Augusto de Aragão Rocha |
On the Interplay between Content Popularity and Performance in P2P Systems. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David N. Jansen, Lei Song 0001, Lijun Zhang 0001 |
Revisiting Weak Simulation for Substochastic Markov Chains. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (eds.) |
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Majid Zamani 0001, Alessandro Abate |
Symbolic Control of Stochastic Switched Systems via Finite Abstractions. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Aspirot, Ernesto Mordecki, Gerardo Rubino |
Fluid Limit for the Machine Repairman Model with Phase-Type Distributions. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ken Keefe, William H. Sanders |
Möbius Shell: A Command-Line Interface for Möbius. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay |
Refinement and Difference for Probabilistic Automata. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Spieler |
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vinodh Venkatesan, Ilias Iliadis |
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales |
A CTL Model Checker for Stochastic Automata Networks. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang 0001 |
Deciding Bisimilarities on Distributions. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer |
ADTool: Security Analysis with Attack-Defense Trees. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg |
Stochastic Parity Games on Lossy Channel Systems. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Nathalie Bertrand 0001, András Horváth, Marco Paolieri, Enrico Vicario |
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miyuru Dayarathna, Toyotaro Suzumura |
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Guido Sanguinetti |
Learning and Designing Stochastic Processes from Logical Constraints. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Happ, Philipp Reinecke, Katinka Wolter |
Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Deng 0004, Akshay Rajhans, A. Agung Julius |
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
The PRISM Benchmark Suite. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke |
Statistical Model Checking for Markov Decision Processes. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Reinecke, Tilman Krauss, Katinka Wolter |
HyperStar: Phase-Type Fitting Made Easy. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan |
Intermittent Hardware Errors Recovery: Modeling and Evaluation. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey P. Buzen |
Notes on the Nature of Uncertainty. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver |
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet |
Almost-Sure Model-Checking of Reactive Timed Automata. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Hayden |
Mean Field for Performance Models with Deterministically-Timed Transitions. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
Lower-Bound Constrained Runs in Weighted Timed Automata. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miklós Telek, Miklós Vécsei |
Finite Queues at the Limit of Saturation. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston |
Fluid Approximation of CTMC with Deterministic Delays. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Begin, Alexandre Brandwajn |
A Tool for Solving Ph/M/c and Ph/M/c/N Queues. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Ford, Peter Buchholz 0001, William H. Sanders |
State-Based Analysis in ADVISE. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Max Tschaikowski, Mirco Tribastone |
Generalised Communication for Interacting Agents. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mike Maher |
Stochastic Modelling of Sport. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | B. Maryam Elahi, Carey Williamson, Philipp Woelfel |
Decoupled Speed Scaling: Analysis and Evaluation. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Horváth 0002, Benny Van Houdt |
A Multi-layer Fluid Queue with Boundary Phase Transitions and Its Application to the Analysis of Multi-type Queues with General Customer Impatience. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Comanici, Prakash Panangaden, Doina Precup |
On-the-Fly Algorithms for Bisimulation Metrics. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Rochman, Hanoch Levy, Eli Brosh |
Max Percentile Replication for Optimal Performance in Multi-regional P2P VoD Systems. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Compositional Temporal Synthesis. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Cremonesi, Andrea Sansottera |
Indirect Estimation of Service Demands in the Presence of Structural Changes. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012 |
QEST |
2012 |
DBLP BibTeX RDF |
|
1 | Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley |
Specification and Efficient Computation of Passage-Time Distributions in GPA. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi |
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Baltas, Tony Field |
Continuous Performance Testing in Virtual Time. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|