Concepedia

Niels Damgaard

ND

2

Publications

102

Citations

2

H-Index

2001

Active since

Affiliations

Purdue University West Lafayette(Current)

Niels Damgaard is an author at Purdue University West Lafayette specializing in systems engineering, system software, and software testing.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis

Publications per year

2001–2005

2

Publications

2

Static checking of interrupt-driven software

Dennis Brylow, Niels Damgaard, Jens Palsberg · International Conference on Software Engineering · 2001 · 72 citations

Program Checking, Engineering, Hardware Verification Language +21

Static checking of interrupt-driven software

Dennis Brylow, Niels Damgaard, Jens Palsberg · Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 · 2005 · 30 citations

Program Checking, Engineering, Hardware Verification Language +21

Rows per page

1–2 of 2