Jørn Lind-Nielsen

According to our database, Jørn Lind-Nielsen authored at least 5 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Verification of Hierarchical State/Event Systems using Reusability and Compositionality.

Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen

Formal Methods Syst. Des., 2002

2001

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen

Formal Methods Syst. Des., 2001

2000

Practical Verification of Embedded Software.

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

Computer, 2000

1999

Partial Model Checking of Modal Equations: A Survey.

Henrik Reif Andersen, Jørn Lind-Nielsen

Int. J. Softw. Tools Technol. Transf., 1999

Stepwise CTL Model Checking of State/Event Systems.

Jørn Lind-Nielsen, Henrik Reif Andersen

Proceedings of the Computer Aided Verification, 11th International Conference, 1999