Norman Hansen

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 5

Top Topics

Matlab Simulink

Abstract Interpretation

Top Venues

GI-Jahrestagung

Publications

Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch
Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. GI-Jahrestagung (2017)
Christian Dernehl, Norman Hansen, Stefan Kowalewski
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. SEFM (2016)
Christian Dernehl, Norman Hansen, Stefan Kowalewski
Abstract Interpretation of MATLAB Code with Interval Sets. FMICS-AVoCS (2016)
Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. ARCH@CPSWeek (2016)
Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski
Static Value Range Analysis for Matlab/Simulink-Models. GI-Jahrestagung (2015)
Norman Hansen, Dominik Franke
Reverse Engineering des Windows Phone Process Execution Models. Informatiktage (2013)