The following pages link to Gregor Gössler (Q832040):
Displaying 20 items.
- (Q698464) (redirect page) (← links)
- Scheduler modeling based on the controller synthesis paradigm (Q698466) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- Composition for component-based modeling (Q1776582) (← links)
- Causality analysis and fault ascription in component-based systems (Q2193287) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Probabilistic contracts for component-based design (Q2441722) (← links)
- (Q2766638) (← links)
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models (Q2980524) (← links)
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions (Q2986729) (← links)
- Compositional Strategy Mapping (Q3400931) (← links)
- Ensuring Properties of Interaction Systems (Q3593075) (← links)
- (Q4439563) (← links)
- (Q4518892) (← links)
- Probabilistic Contracts for Component-Based Design (Q4931301) (← links)
- Component-Based Construction of Deadlock-Free Systems (Q5191537) (← links)
- Formal Methods for Components and Objects (Q5311294) (← links)
- An Approach to Modelling and Verification of Component Based Systems (Q5448780) (← links)
- Fault Ascription in Concurrent Systems (Q5857793) (← links)
- Monotonic Prefix Consistency in Distributed Systems (Q5881533) (← links)
