Jørn Lind-Nielsen

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

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 Syst. Des. 21 (2) (2002)
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 Syst. Des. 18 (1) (2001)
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. Computer 33 (5) (2000)
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)
Jørn Lind-Nielsen, Henrik Reif Andersen
Stepwise CTL Model Checking of State/Event Systems. CAV (1999)
Henrik Reif Andersen, Jørn Lind-Nielsen
Partial Model Checking of Modal Equations: A Survey. Int. J. Softw. Tools Technol. Transf. 2 (3) (1999)
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)