The following pages link to Christian Schallhart (Q888429):
Displaying 9 items.
- Closure properties and complexity of rational sets of regular languages (Q888431) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- On the Structure and Complexity of Rational Sets of Regular Languages (Q2963928) (← links)
- Impartial Anticipation in Runtime-Verification (Q3540087) (← links)
- Comparing LTL Semantics for Runtime Verification (Q3569195) (← links)
- Query-Driven Program Testing (Q3600472) (← links)
- Monitoring of Real-Time Properties (Q5385991) (← links)
- An Introduction to Test Specification in FQL (Q5391520) (← links)
- Approximating Succinct MaxSat (Q5696308) (← links)
