|
Search the dblp DataBase
Jørn Lind-Nielsen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jørn Lind-Nielsen, Henrik Reif Andersen
Stepwise CTL Model Checking of State/Event Systems. [Citation Graph (0, 0)][DBLP] CAV, 1999, pp:316-327 [Conf]
- Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP] TACAS, 1999, pp:163-177 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:201-216 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IEEE Computer, 2000, v:33, n:5, pp:68-75 [Journal]
- Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
Verification of Hierarchical State/Event Systems using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2002, v:21, n:2, pp:225-244 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:18, n:1, pp:5-23 [Journal]
- Henrik Reif Andersen, Jørn Lind-Nielsen
Partial Model Checking of Modal Equations: A Survey. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:242-259 [Journal]
Search in 0.002secs, Finished in 0.002secs
|