|
|
|
|
Quantitative Evaluation of Service Dependability in Shared Execution Environments |
|
|
1 | (4) |
|
|
|
Multi-agent Networked Systems with Adversarial Elements |
|
|
5 | (4) |
|
|
|
Kronecker and Product Form Methods |
|
|
|
A Structured Solution Approach for Markov Regenerative Processes |
|
|
9 | (16) |
|
|
|
|
|
|
|
Low-Rank Tensor Methods for Communicating Markov Processes |
|
|
25 | (16) |
|
|
|
|
|
|
|
|
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems |
|
|
41 | (16) |
|
|
|
|
|
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads |
|
|
57 | (17) |
|
Sadegh Esmaeil Zadeh Soudjani |
|
|
|
|
|
|
|
|
|
|
Finite Abstractions of Stochastic Max-Plus-Linear Systems |
|
|
74 | (16) |
|
|
|
Sadegh Esmaeil Zadeh Soudjani |
|
|
|
|
Mean Field/Population Analysis |
|
|
|
Mean Field for Performance Models with Generally-Distributed Timed Transitions |
|
|
90 | (16) |
|
|
|
|
|
|
|
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models |
|
|
106 | (16) |
|
|
|
|
|
On Performance of Gossip Communication in a Crowd-Sensing Scenario |
|
|
122 | (16) |
|
|
|
|
|
|
|
|
Probabilistic Model Checking of DTMC Models of User Activity Patterns |
|
|
138 | (16) |
|
|
|
|
|
|
|
|
|
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks |
|
|
154 | (16) |
|
|
|
|
|
|
|
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking |
|
|
170 | (4) |
|
|
|
The Octave Queueing Package |
|
|
174 | (4) |
|
|
|
|
|
|
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs |
|
|
178 | (16) |
|
|
|
|
|
|
|
|
|
Modelling Replication in NoSQL Datastores |
|
|
194 | (16) |
|
|
|
|
|
Queueing, Debugging and Tools |
|
|
|
On Queues with General Service Demands and Constant Service Capacity |
|
|
210 | (16) |
|
|
|
|
|
|
|
|
|
Simulation Debugging and Visualization in the Mobius Modeling Framework |
|
|
226 | (15) |
|
|
|
|
|
Scalar: A Distributed Scalability Analysis Framework |
|
|
241 | (4) |
|
|
|
|
|
|
|
Non-intrusive Scalable Memory Access Tracer |
|
|
245 | (4) |
|
|
|
|
|
|
|
|
|
Process Algebra and Equivalences |
|
|
|
Probabilistic Programming Process Algebra |
|
|
249 | (16) |
|
|
|
|
|
|
|
|
|
PALOMA: A Process Algebra for Located Markovian Agents |
|
|
265 | (16) |
|
|
|
|
|
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems |
|
|
281 | (16) |
|
|
|
|
|
|
|
Automata and Markov Process Theory |
|
|
|
Continuity Properties of Distances for Markov Processes |
|
|
297 | (16) |
|
|
|
|
|
|
|
|
|
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata |
|
|
313 | (16) |
|
|
|
|
|
|
|
Decidable Problems for Unary PFAs |
|
|
329 | (16) |
|
|
|
|
|
|
|
Applications, Theory and Tools |
|
|
|
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids |
|
|
345 | (23) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Compositionality Results for Quantitative Information Flow |
|
|
368 | (16) |
|
|
|
Konstantinos Chatzikokolakis |
|
|
|
|
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems |
|
|
384 | (4) |
|
|
|
|
|
|
|
|
|
|
|
Probabilistic Model Checking |
|
|
|
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains |
|
|
388 | (16) |
|
|
|
Christoph M. Wintersteiger |
|
|
|
|
|
|
|
|
Accelerating Parametric Probabilistic Verification |
|
|
404 | (17) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Author Index |
|
421 | |
