Norman Hansen, M.Sc.

Kontakt

|-
Wissenschaftlicher Mitarbeiter

Tel. +49 241 80 21172
Fax +49 241 80 22150


Email: hansen[at]embedded[dot]rwth-aachen[dot]de

Adresse: Ahornstr. 55, 52074 Aachen, Germany

Büro: 2314

Forschungstätigkeit

Die Arbeit als studentische Hilfskraft an The HyReach Toolbox brachte mich erstmals in Kontakt mit Matlab und der Thematik der Verifikation eingebetteter Systeme. Begeistert von der Thematik schrieb ich meine Masterarbeit zum Thema „Statische Analyse von Matlab-Simulink-Modellen mittels Intervallen“ was schließlich mit Beginn meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik 11 zu einer Beteiligung am artshop-Projekt führte. Neben dem generellen Interesse für die Verifikation eingebetteter Systeme interessiere ich mich derzeit insbesondere für das Testen von Matlab-Simulink Modellen und wirke an der Entwicklung von Arttest mit.

Abschlussarbeiten

Bei Interesse an einer Bachelor- oder Masterarbeit im Themenbereich Testen und Verifikation von modellbasierter Software im Automobilsektor informiere ich gerne unverbindlich über derzeit verfügbare Themen.

Lehre

SS2017
WS16/17
SS2016
WS15/16
SS2015

Sprechstunde

Nach Vereinbarung

Veröffentlichungen


Publikations-Export
[HWK+17]
PDFBIB
Hansen, N., Wiechowski, N., Kugler, A., Kowalewski, S., Rambow, T., and Busch, R., "Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest", in Proc. INFORMATIK 2017, 2017, Maximilian Eibl, Martin Gaedke, pp. 1537-1549.

Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest

Bibtex entry :

@inproceedings { HWK+17,
	author = { Hansen, Norman and Wiechowski, Norbert and Kugler, Alexander
		and Kowalewski, Stefan and Rambow, Thomas and Busch, Rainer },
	title = { Model-in-the-Loop and Software-in-the-Loop Testing of
		Closed-Loop Automotive Software with Arttest },
	booktitle = { INFORMATIK 2017 },
	publisher = { Maximilian Eibl, Martin Gaedke },
	publishedas = { Druck },
	isbn = { 978-3-88579-669-5 },
	issn = { 1617-5468 },
	language = { eng },
	pages = { 1537--1549 },
	year = { 2017 },
	timestamp = { 2017.10.06 },
	i11key = { conference },
	for_reporting_period = { 2017 },
}
[INS17]
Makhlouf, I. B., Hansen, N., and Kowalewski, S., "HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions", in Proc. ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, 2017, vol. 43 in EPiC Series in Computing, EasyChair, pp. 68-79.

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

Bibtex entry :

@inproceedings { INS17,
	author = { Ibtissem Ben Makhlouf and Norman Hansen and Stefan
		Kowalewski },
	editor = { Goran Frehse and Matthias Althoff },
	title = { HyReach: A Reachability Tool for Linear Hybrid Systems Based
		on Support Functions },
	booktitle = { ARCH16. 3rd International Workshop on Applied Verification
		for Continuous and Hybrid Systems },
	series = { EPiC Series in Computing },
	volume = { 43 },
	publisher = { EasyChair },
	publishedas = { Online },
	issn = { 2398-7340 },
	language = { eng },
	pages = { 68--79 },
	year = { 2017 },
	timestamp = { 2017.02.02 },
	i11key = { conference },
	url = { http://easychair.org/publications/paper/HyReach_A_Reachability_Tool_for_Linear_Hybrid_Systems_Based_on_Support_Functions },
	for_reporting_period = { 2017 },
}
[WRB+17]
Wiechowski, N., Rambow, T., Busch, R., Kugler, A., Hansen, N., and Kowalewski, S., "Arttest - a New Test Environment for Model-Based Software Development", in Proc. SAE Technical Paper, 2017, SAE International, p. 11.

Arttest - a New Test Environment for Model-Based Software Development

Bibtex entry :

@inproceedings { WRB+17,
	author = { Wiechowski, Norbert and Rambow, Thomas and Busch, Rainer and
		Kugler, Alexander and Hansen, Norman and Kowalewski, Stefan },
	title = { Arttest - a New Test Environment for Model-Based Software
		Development },
	booktitle = { SAE Technical Paper },
	publisher = { SAE International },
	publishedas = { Online },
	issn = {  },
	language = { eng },
	pages = { 11 },
	year = { 2017 },
	timestamp = { 2017.03.30 },
	i11key = { conference },
	url = { http://doi.org/10.4271/2017-01-0004 },
	for_reporting_period = { 2017 },
}
[DHK16]
Dernehl, C., Hansen, N., and Kowalewski, S., "Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams", in Proc. Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, Springer International Publishing, pp. 137-152.

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

Bibtex entry :

@inproceedings { DHK16,
	author = { Dernehl, Christian and Hansen, Norman and Kowalewski, Stefan },
	editor = { De Nicola, Rocco and K{\"u}hn, Eva },
	title = { Combining Abstract Interpretation with Symbolic Execution
		for a Static Value Range Analysis of Block Diagrams },
	booktitle = { Software Engineering and Formal Methods: 14th International
		Conference, SEFM 2016, Held as Part of STAF 2016, Vienna,
		Austria, July 4-8, 2016, Proceedings },
	publisher = { Springer International Publishing },
	publishedas = { Online },
	isbn = { 978-3-319-41591-8 },
	language = { eng },
	pages = { 137--152 },
	year = { 2016 },
	timestamp = { 2016.07.16 },
	i11key = { conference },
	i11projectkey = { artshop },
	url = { https://publications.embedded.rwth-aachen.de/file/6c },
	for_reporting_period = { 2016 },
}
[DHK16a]
Dernehl, C., Hansen, N., and Kowalewski, S., "Abstract Interpretation of MATLAB Code with Interval Sets", in Proc. "Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, Springer International Publishing, pp. 25-38.

Abstract Interpretation of MATLAB Code with Interval Sets

Bibtex entry :

@inproceedings { DHK16a,
	author = { Dernehl, Christian and Hansen, Norman and Kowalewski, Stefan },
	editor = { ter Beek, Maurice H. and Gnesi, Stefania and Knapp,
		Alexander },
	title = { Abstract Interpretation of MATLAB Code with Interval Sets },
	booktitle = { "Critical Systems: Formal Methods and Automated
		Verification: Joint 21st International Workshop on Formal
		Methods for Industrial Critical Systems and 16th
		International Workshop on Automated Verification of Critical
		Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
		2016, Proceedings },
	publisher = { Springer International Publishing },
	publishedas = { Druck Online },
	isbn = { 978-3-319-45943-1 },
	issn = { 0302-9743 },
	language = { eng },
	pages = { 25--38 },
	year = { 2016 },
	timestamp = { 2016.10.24 },
	i11key = { conference },
	i11projectkey = { artshop },
	url = { https://publications.embedded.rwth-aachen.de/file/6m },
	for_reporting_period = { 2016 },
}
[GHDK16]
Gerlitz, T., Hansen Norman, Dernehl, C., and Kowalewski, S., "Artshop: A Continuous Integration and Quality Assessment Framework for Model-Based Software Artifacts", in Proc. 12. Dagstuhl-Workshop Modelbasierte Entwicklung eingebetteter Systeme (MBEES), 2016, fortiss Technischer Bericht, pp. 13-22.

artshop: A Continuous Integration and Quality Assessment Framework for Model-Based Software Artifacts

Bibtex entry :

@inproceedings { GHDK16,
	author = { Gerlitz, Thomas and Hansen, Norman, and Dernehl, Christian
		and Kowalewski, Stefan },
	title = { artshop: A Continuous Integration and Quality Assessment
		Framework for Model-Based Software Artifacts },
	booktitle = { 12. Dagstuhl-Workshop Modelbasierte Entwicklung
		eingebetteter Systeme (MBEES) },
	publisher = { fortiss Technischer Bericht },
	publishedas = { Online },
	language = { eng },
	pages = { 13--22 },
	year = { 2016 },
	timestamp = { 2016.03.29 },
	i11key = { conference },
	i11projectkey = { artshop },
	url = { http://download.fortiss.org/public/mbees/mbees2016_proceedings.pdf },
	for_reporting_period = { 2016 },
}
[DHGK15]
Dernehl, C., Hansen, N., Gerlitz, T., and Kowalewski, S., "Static Value Range Analysis for Matlab/Simulink-Models", in Proc. INFORMATIK 2015, 2015, Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo Schmitt, pp. 1649-1660.

Static Value Range Analysis for Matlab/Simulink-Models

Bibtex entry :

@inproceedings { DHGK15,
	author = { Dernehl, Christian and Hansen, Norman and Gerlitz, Thomas
		and Kowalewski, Stefan },
	title = { Static Value Range Analysis for Matlab/Simulink-Models },
	booktitle = { INFORMATIK 2015 },
	publisher = { Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo
		Schmitt },
	publishedas = { Druck },
	isbn = { 978-3-88579-640-4 },
	issn = { 1617-5468 },
	language = { eng },
	pages = { 1649--1660 },
	year = { 2015 },
	timestamp = { 2015.10.14 },
	i11key = { conference },
	url = { https://publications.embedded.rwth-aachen.de/file/6s },
	for_reporting_period = { 2015 },
}
[HF13]
PDFBIB
Hansen, N. and Franke, D., "Reverse Engineering des Windows Phone Process Execution Models", in Proc. Gesellschaft für Informatik Seminars, Informatiktage, 2013, Gesellschaft für Informatik e.V., pp. 83-86.

Reverse Engineering des Windows Phone Process Execution Models

Bibtex entry :

@inproceedings { HF13,
	author = { Hansen, Norman and Franke, Dominik },
	title = { Reverse Engineering des Windows Phone Process Execution
		Models },
	booktitle = { Gesellschaft f{\"u}r Informatik Seminars, Informatiktage },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. },
	publishedas = { Druck Online },
	isbn = { 978-3-88579-446-2 },
	language = { ger },
	pages = { 83 -- 86 },
	year = { 2013 },
	timestamp = { 2013.05.06 },
	i11key = { conference },
	for_reporting_period = { 2013 },
}
[BHK+12]
Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G., and Olesen, M. C., "Adaptable Value-Set Analysis for Low-Level Code", in Proc. 6th International Workshop on Systems Software Verification (SSV 2011), 2012, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 32-43.

Adaptable Value-Set Analysis for Low-Level Code

Bibtex entry :

@inproceedings { BHK+12,
	author = { Brauer, J{\"o}rg and Hansen, Rene Rydhof and Kowalewski,
		Stefan and Larsen, Kim G. and Olesen, Mads Chr. },
	title = { Adaptable Value-Set Analysis for Low-Level Code },
	booktitle = { 6th International Workshop on Systems Software Verification
		(SSV 2011) },
	publisher = { Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik },
	publishedas = { Druck Online },
	isbn = { 978-3-939897-36-1 },
	issn = { 2190-6807 },
	language = { eng },
	pages = { 32--43 },
	year = { 2012 },
	timestamp = { 2011.07.01 },
	i11key = { conference },
	url = { http://dx.doi.org/10.4230/OASIcs.SSV.2011.32 },
	for_reporting_period = { 2011 },
}

Notiz: [BHK+12] ist KEINE Veröffentlichung von mir und wird fälschlicherweise aufgrund der eingeschränkten Konfigurierbarkeit des Bibliotheksplugins hier angezeigt.


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland