| 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 |
| Active and Sparse Methods in Smoothed Model Checking
|
2021 |
Piho, Paul |
| Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
|
2021 |
Haehn, Rebecca |
| Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers
|
2021 |
Gribaudo, Marco |
| Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes
|
2021 |
Wang, Runan |
| 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 |
| 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 |
Tag hinzufügen