The following pages link to Paul Pettersson (Q225080):
Displaying 20 items.
- Compact data structures and state-space reduction for model-checking real-time systems (Q1431366) (← links)
- Uppaal in a nutshell (Q1856195) (← links)
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- (Q2729075) (← links)
- Guided synthesis of control programs using UPPAAL (Q2743706) (← links)
- (Q2769586) (← links)
- Partial Order Reduction for Verification of Real-Time Components (Q3510846) (← links)
- Model Checking Timed Automata with Priorities Using DBM Subtraction (Q3511228) (← links)
- (Q4417925) (← links)
- (Q4472228) (← links)
- (Q4472261) (← links)
- (Q4552463) (← links)
- (Q4654724) (← links)
- Model-checking for real-time systems (Q5055879) (← links)
- Formal Approaches to Software Testing (Q5710658) (← links)
- Inference of Event-Recording Automata Using Timed Decision Trees (Q5756611) (← links)
- Formal Approaches to Software Testing (Q5902014) (← links)
- Formal design and analysis of a gear controller (Q5953452) (← links)