The following pages link to Clemens Dubslaff (Q436313):
Displaying 15 items.
- Model checking probabilistic systems against pushdown specifications (Q436316) (← links)
- Modeling role-based systems with exogenous coordination (Q2026788) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Quantitative Analysis of Communication Scenarios (Q2945583) (← links)
- Ratio and Weight Quantiles (Q2946351) (← links)
- Trade-off analysis meets probabilistic model checking (Q4635586) (← links)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs (Q5047040) (← links)
- Admissibility in Probabilistic Argumentation (Q5094045) (← links)
- Synthesis of Optimal Resilient Control Strategies (Q5096100) (← links)
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (Q5145280) (← links)
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking (Q5166754) (← links)
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (Q5194930) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Ontology-mediated probabilistic model checking (Q6536352) (← links)
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)
