Concepedia

Niels Penneman

NP

Statistics

Publications

2

Citations

61

H-Index

2

Active since

2013

Affiliations

Ghent University(Current)

Niels Penneman is an author at Ghent University specializing in engineering, system software, and formal verification.

ORCID

Top concepts

Publications per year

2013–2017

2

Publications

2

Random Additive Signature Monitoring for Control Flow Error Detection

Jens Vankeirsbilck, Niels Penneman, Hans Hallez et al. · IEEE Transactions on Reliability · 2017 · 45 citations · Full text

, , +20

Formal virtualization requirements for the ARM architecture

Niels Penneman, Danielius Kudinskas, Alasdair Rawsthorne et al. · Journal of Systems Architecture · 2013 · 16 citations · Full text

, , +8

1–2 of 2