| Tweaking the Odds in Probabilistic Timed Automata
|
2021 |
Hartmanns, Arnd |
| DSMC Evaluation Stages: Fostering Robust and Safe Behavior ın Deep Reinforcement Leaming
|
2021 |
Gros, Timo P. |
| Safe Learning for Near-Optimal Scheduling
|
2021 |
Busatto-Gaston, Damien |
| Queue Response Times with Server Speed Controlled by Measured Utilizations
|
2021 |
Woodside, Murray |
| Reasoning About Proportional Lumpability
|
2021 |
Piazza, Carla |
| Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
|
2021 |
Backenköhler, Michael |
| Accurate Approximate Diagnosis of (Controllable) Stochastic Systems
|
2021 |
Lefaucheux, Engel |
| Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
|
2021 |
Pilch, Carina |
| Lumpability for Uncertain Continuous-Time Markov Chains
|
2021 |
Cardelli, Luca |
| Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies
|
2021 |
Budde, Carlos E. |
| Performance Evaluation: Model-Driven or Problem-Driven?
|
2021 |
Haverkort, Boudewijn R. |
| Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models
|
2021 |
Rausch, Michael |
| Compositional Safe Approximation of Response Time Distribution of Complex Workflows
|
2021 |
Carnevali, Laura |
| SEH: Size Estimate Hedging for Single-Server Queues
|
2021 |
Akbari-Moghaddam, Maryam |
| An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets
|
2021 |
Ghit, Bogdan |
| Performance Analysis of Work Stealing Strategies in Large Scale Multi-threaded Computing
|
2021 |
Kielanski, Grzegorz |
| A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking
|
2021 |
Klauck, Michaela |
| Transient Analysıs of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow
|
2021 |
Kaalen, Stefan |
| Quantifying Software Reliability via Model-Counting
|
2021 |
Teuber, Samuel |
| Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems
|
2021 |
Scheffler, Alexander |
Tag hinzufügen