Concepedia

Jørn Lind-Nielsen

JL

3

Publications

80

Citations

3

H-Index

1999

Active since

Affiliations

Technical University of Denmark(Current)

Jørn Lind-Nielsen is an author at Technical University of Denmark specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringVerificationFormal MethodsAutomated ReasoningFormal VerificationSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware Analysis

Publications per year

1999–2001

3

Publications

3

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

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard et al. · Formal Methods in System Design · 2001 · 45 citations

Practical verification of embedded software

J. Straunstrup, Henrik Rasmus Andersen, Henrik Hulgaard et al. · Computer · 2000 · 21 citations

Practical Verification, Engineering, Verification +21

Partial model checking of modal equations: A survey

Henrik Reif Andersen, Jørn Lind-Nielsen · International Journal on Software Tools for Technology Transfer · 1999 · 14 citations

Engineering, Automated Reasoning, Modal Logic +6

Rows per page

1–3 of 3