| 2003 |
|---|
| 8 | EE | Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.
Real-Time Systems 25(2-3): 255-275 (2003) |
| 2002 |
|---|
| 7 | EE | Peter S. Magnusson,
Magnus Christensson,
Jesper Eskilson,
Daniel Forsgren,
Gustav Hållberg,
Johan Högberg,
Fredrik Larsson,
Andreas Moestedt,
Bengt Werner:
Simics: A Full System Simulation Platform.
IEEE Computer 35(2): 50-58 (2002) |
| 6 | EE | Johan Bengtsson,
W. O. David Griffioen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebr. Program. 52-53: 163-181 (2002) |
| 2000 |
|---|
| 5 | EE | Fredrik Larsson,
Paul Pettersson,
Wang Yi:
On Memory-Block Traversal Problems in Model-Checking Timed-Systems.
TACAS 2000: 127-141 |
| 1997 |
|---|
| 4 | EE | Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction.
IEEE Real-Time Systems Symposium 1997: 14-24 |
| 1996 |
|---|
| 3 | | Johan Bengtsson,
W. O. David Griffioen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Verification of an Audio Protocol with Bus Collision Using UPPAAL.
CAV 1996: 244-256 |
| 2 | | Johan Bengtsson,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
UPPAAL in 1995.
TACAS 1996: 431-434 |
| 1995 |
|---|
| 1 | | Johan Bengtsson,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Hybrid Systems 1995: 232-243 |
