Jørn Lind-Nielsen

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

Collaborative distances:

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

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

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

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

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 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

1998

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

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

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998