| 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 |
| 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. |
| 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 |
| Performance Evaluation: Model-Driven or Problem-Driven?
|
2021 |
Haverkort, Boudewijn R. |
| Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models
|
2021 |
Rausch, Michael |
Tag hinzufügen