| 2002 |
|---|
| 7 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems using Reusability and Compositionality.
Formal Methods in System Design 21(2): 225-244 (2002) |
| 2001 |
|---|
| 6 | | Jørn Lind-Nielsen,
Henrik Reif Andersen,
Henrik Hulgaard,
Gerd Behrmann,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Formal Methods in System Design 18(1): 5-23 (2001) |
| 2000 |
|---|
| 5 | EE | Jørgen Staunstrup,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen,
Kim Guldstrand Larsen,
Gerd Behrmann,
Kåre J. Kristoffersen,
Arne Skou,
Henrik Leerberg,
Niels Bo Theilgaard:
Practical Verification of Embedded Software.
IEEE Computer 33(5): 68-75 (2000) |
| 1999 |
|---|
| 4 | EE | Jørn Lind-Nielsen,
Henrik Reif Andersen:
Stepwise CTL Model Checking of State/Event Systems.
CAV 1999: 316-327 |
| 3 | EE | Gerd Behrmann,
Kim Guldstrand Larsen,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
TACAS 1999: 163-177 |
| 2 | EE | Henrik Reif Andersen,
Jørn Lind-Nielsen:
Partial Model Checking of Modal Equations: A Survey.
STTT 2(3): 242-259 (1999) |
| 1998 |
|---|
| 1 | EE | Jørn Lind-Nielsen,
Henrik Reif Andersen,
Gerd Behrmann,
Henrik Hulgaard,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
TACAS 1998: 201-216 |
