Norman Hansen

According to our database, Norman Hansen authored at least 6 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

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

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.

Christian Dernehl, Norman Hansen, Stefan Kowalewski

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Abstract Interpretation of MATLAB Code with Interval Sets.

Christian Dernehl, Norman Hansen, Stefan Kowalewski

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions.

Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

Static Value Range Analysis for Matlab/Simulink-Models.

Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2013

Reverse Engineering des Windows Phone Process Execution Models.

Norman Hansen, Dominik Franke

Proceedings of the Informatiktage 2013, 2013