Publications by Jørn Lind-Nielsen
Last updated August 2000
Ph.D. Thesis
Jørn Lind-Nielsen,
Verification of Large State/Event Systems,
may 2000.
In Journals
- STTT99
- Henrik Reif Andersen and Jørn Lind-Nielsen. Partial Model Checking
of Modal Equations: A Survey. STTT: Software Tools for Technology Transfer, 2/3, 1999.
COMP00
Jørgen Staunstrup et. al. Practical Verification of
Embedded Software. Computer, may 2000
In Proceedings
- CAV99
- Jørn Lind-Nielsen and Henrik Reif Andersen. Stepwise CTL Model
Checking of State/Event Systems. CAV'99: Computer Aided Verification.
- TACAS99
- Gerd Berhmann, Kim G. Larsen, Henrik Reif Andersen, Henrik
Hulgaard, Jørn Lind-Nielsen. Verification of Hierarchical
State/Event Systems using Reusability and
Compositionality. TACAS'99:Tools and Algorithms for the
Construction and Analysis of Systems.
- TACAS98
- Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik
Hulgaard, Kåre Kristoffersen and Kim G. Larsen. Verification of Large
State/Event Systems using Compositionality and Dependency
Analysis. TACAS'98: Tools and Algorithms for the Construction and
Analysis of Systems.
Tool Demonstrations
- CONCUR96
- Henrik Reif Andersen and Jørn Lind-Nielsen. MuDiv: A Tool for
Partial Model Checking. Demonstration at CONCUR'96.
Techreports
- Buddy99
- BuDDy - A Binary Decision Diagram Package. Department of
Information Technology, Technical University of Denmark
Masters Thesis
- Lind96
- MuDiv: A Program Performing Partial Model Checking. Department
of Information Technology, Technical University of Denmark, 1996.