Reverse Engineering des Windows Phone Process Execution Models. - Norman Hansen; Dominik Franke (Informatiktage, 2013)

Static Value Range Analysis for Matlab/Simulink-Models. - Christian Dernehl; Norman Hansen; Thomas Gerlitz; Stefan Kowalewski (GI-Jahrestagung, 2015)

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. - Ibtissem Ben Makhlouf; Norman Hansen; Stefan Kowalewski (ARCH@CPSWeek, 2016)

Abstract Interpretation of MATLAB Code with Interval Sets. - Christian Dernehl; Norman Hansen; Stefan Kowalewski (FMICS-AVoCS, 2016)

Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. - Christian Dernehl; Norman Hansen; Stefan Kowalewski (SEFM, 2016)

Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. - Norman Hansen; Norbert Wiechowski; Alexander Kugler; Stefan Kowalewski; Thomas Rambow; Rainer Busch (GI-Jahrestagung, 2017)