The following pages link to Stefan Kowalewski (Q271718):
Displaying 16 items.
- Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- (Q1301423) (redirect page) (← links)
- Verification of logic controllers for continuous plants using timed condition/event-system models (Q1301427) (← links)
- State feedback control of condition/event systems (Q1922201) (← links)
- Leveraging Horn clause solving for compositional verification of PLC software (Q2177778) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- An experimental batch plant as a test case for the verification of hybrid systems (Q2512157) (← links)
- (Q4249574) (← links)
- (Q4737061) (← links)
- (Q4763569) (← links)
- (Q4782053) (← links)
- Invariants for LTI Systems with Uncertain Input (Q4899149) (← links)
- (Q4948548) (← links)
- Access-Based Localization for Octagons (Q5170168) (← links)
- A change-based heuristic for static analysis with policy iteration (Q6536281) (← links)
