The following pages link to Carsten Ihlemann (Q1949770):
Displayed 5 items.
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata (Q2986715) (← links)
- (Q5446292) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)