Jørn Lind-Nielsen

According to our database1, Jørn Lind-Nielsen authored at least 6 papers between 1998 and 2001.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Formal Methods in System Design, 2001

2000
Practical Verification of Embedded Software.
IEEE Computer, 2000

1999
Partial Model Checking of Modal Equations: A Survey.
STTT, 1999

Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Stepwise CTL Model Checking of State/Event Systems.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998


  Loading...