Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory..
Perfect sampling for multiclass closed queueing networks..
mapfit: An R-based tool for PH/MAP parameter estimation..
Lumping-based equivalences in Markovian automata and applications to product-form analyses..
Impact of Policy Design on Workflow Resiliency Computation Time..
A Numerical Analysis of Dynamical Fault Trees based on Stochastic Bounds..
Quantitative Placement of Services in Hierarchical Clouds..
. Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains.
Quantitative Analysis of Consistency in NoSQL Key-value Stores..
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis..
U-check: Model Checking and Parameter Synthesis under Uncertainty..
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure..
Computing structural properties of Symmetric Nets..
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain..
Bayesian statistical analysis for performance evaluation in real-time control systems..
Stochastic modeling for performance evaluation of database replication protocols..
Quantitative evaluation of continuous time in activity recognition for ambient assisted living..
Power and efficiency in queueing systems..
A Compression App for Continuous Probability Distributions..