arrow
Back
T

Thomas Noll

RWTH Aachen University

25H-index
224Paper Count
2.5KCitation Count
Published Papers 4
Publication Date
Spacecraft early design validation using formal methods
err2014-12-01
err52
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco
errShare
errSave
OpenMP-based parallelization on an MPCore multiprocessor platform - A performance and power analysis
err2008-11-01
err15
PREAI
errBlume, H.; von Livonius, J.; Rotenberg, L.; Noll, T. G.; Bothe, H.; Brakensiek, J.
errShare
errSave
Hybrid functional- and instruction-level power modeling for embedded and heterogeneous processor architectures
err2007-10-01
err19
PREAI
errBlume, H.; Becker, D.; Rotenberg, L.; Botteck, M.; Brakensiek, J.; Noll, T. G.
errShare
errSave