Thomas Noll

Safety, Dependability and Performance Analysis of Extended AADL Models

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · The Computer Journal · 2010 · 216 citations

Engineering, Aerospace Engineering, Computer Science +17

A Pipelined 330-MHz Multiplier

Thomas Noll, D. Schmitt‐Landsiedel, H. Klär et al. · IEEE Journal of Solid-State Circuits · 1986 · 69 citations

Engineering, Computer Engineering, Electrical Engineering +17

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · Reliability Engineering & System Safety · 2014 · 62 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +14

Implementation of scalable power and area efficient high-throughput Viterbi decoders

Tobias Gemmeke, M. Gansen, Thomas Noll · IEEE Journal of Solid-State Circuits · 2002 · 52 citations

Engineering, Computer Engineering, Electrical Engineering +17

Model-based exploration of the design space for heterogeneous systems on chip

Holger Blume, Heiko Hübert, H.T. Feldkamper et al. · 2003 · 44 citations

Engineering, Computer Engineering, Computer Science +17