| A Survey of Statistical Model Checking |
14 |
| Engineering Resilient Collective Adaptive Systems by Self-Stabilisation |
5 |
| New Performance Modeling Methods for Parallel Data Processing Applications |
3 |
| Design and Verification of Trusted Collective Adaptive Systems |
3 |
| Fast Random Integer Generation in an Interval |
3 |
| Towards Data-Driven Simulation Modeling for Mobile Agent-Based Systems |
2 |
| A Variational Inference-Based Heteroscedastic Gaussian Process Approach for Simulation Metamodeling |
2 |
| On Automated Memoization in the Field of Simulation Parameter Studies |
2 |
| Mesoscopic Modelling of Pedestrian Movement Using CARMA and Its Tools |
1 |
| Controlling the Time Discretization Bias for the Supremum of Brownian Motion |
1 |
| Reusing Search Data in Ranking and Selection: What Could Possibly Go Wrong? |
1 |
| Keddah: Network Evaluation Powered by Simulating Distributed Application Traffic |
1 |
| Exposing Inter-process Information for Efficient PDES of Spatial Stochastic Systems on Multicores |
1 |
| SCORE Allocations for Bi-objective Ranking and Selection |
1 |
| Replicated Computations Results (RCR) Report for A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds |
1 |
| A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds |
1 |
| Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves |
1 |
| Data-driven Model-based Detection of Malicious Insiders via Physical Access Logs |
1 |
| Visual Analytics to Identify Temporal Patterns and Variability in Simulations from Cellular Automata |
1 |
| A Role-Dependent Data-Driven Approach for High-Density Crowd Behavior Modeling |
1 |
| NeMo: A Massively Parallel Discrete-Event Simulation Model for Neuromorphic Architectures |
0 |
| Modeling Large-Scale Slim Fly Networks Using Parallel Discrete-Event Simulation |
0 |
| Combining Simulation and Emulation Systems for Smart Grid Planning and Evaluation |
0 |
| Replicated Computational Results (RCR) Report for Fast Random Integer Generation in an Interval |
0 |
| Ranking and Selection: A New Sequential Bayesian Procedure for Use with Common Random Numbers |
0 |
| Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking |
0 |
| Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL |
0 |
| Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets |
0 |
| Statistical Abstraction for Multi-scale Spatio-temporal Systems |
0 |
| Replicated Computations Results (RCR) Report for Statistical Abstraction for Multi-scale Spatio-temporal Systems |
0 |
| RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL |
0 |
| Estimating Large Delay Probabilities in Two Correlated Queues |
0 |
| Temporal Integration of Emulation and Network Simulators on Linux Multiprocessors |
0 |
| Replicated Computations Results (RCR) Report for Mesoscopic Modelling of Pedestrian Movement using CARMA and its Tools |
0 |
| A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs |
0 |
| Replicated Computations Results (RCR) Report for Design and Verification of Trusted Collective Adaptive Systems |
0 |
| Efficient Simulation for Expectations over the Union of Half-Spaces |
0 |
| Path-ZVA: General, Efficient, and Automated Importance Sampling for Highly Reliable Markovian Systems |
0 |
| Statistical Analysis of Simulation Output from Parallel Computing |
0 |
| Replicated Computations Results (RCR) Report for Reusing Search Data in Ranking and Selection: What Could Possibly Go Wrong? |
0 |
| Variance and Derivative Estimation of Virtual Performance |
0 |
| Exact Simulation for a Class of Tempered Stable and Related Distributions |
0 |
| Exact-Differential Simulation: Differential Processing of Large-Scale Discrete Event Simulations |
0 |
| A Data Assimilation Framework for Discrete Event Simulations |
0 |
| Predicting the Simulation Budget in Ranking and Selection Procedures |
0 |
| Infinite Swapping using IID Samples |
0 |
| Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms |
0 |
| Efficient Parallel Simulation over Large-scale Social Contact Networks |
0 |
| Managing Pending Events in Sequential and Parallel Simulations Using Three-tier Heap and Two-tier Ladder Queue |
0 |
| PDES-A: Accelerators for Parallel Discrete Event Simulation Implemented on FPGAs |
0 |
