Chair of CS 11

News
Staff
Contact
Jobs
Press Review
Site Notice
Alumni

Research

Medical Technology Group
Cyber-Physical Mobility Group
Projects
Publications

Tools

ARCADE
artshop
HyReach
Real-Time Android
SynTACS

Teaching

BSc/MSc Theses
Courses at i11
Summer Semester 24
Winter Semester 23/24
Summer Semester 23
Previous Semesters
Automation Engineering
Scheduled talks & presentations

This translation is older than the original page and might be outdated. See what has changed.
PDF Export
You are here: Neuigkeiten » News » Chair of CS 11 » Staff » Norman Hansen, M.Sc.
This translation is older than the original page and might be outdated. See what has changed.

Norman Hansen, M.Sc.

Contact

|-

Research Assistant

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


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

Adress: Ahornstr. 55, 52074 Aachen, Germany

Room: 2314

Thesis

If you are interested in a thesis regarding testing or verification of model-based software in the automotive domain, I'll take time to give you more information about currently available topics. Please ask for an appointment via e-Mail.

Teaching

SS2017

Eingebettete Systeme (V)

WS16/17

Modellbasiertes Testen & Analyse eingebetteter Software (S)

SS2016

Einführung in eingebettete Systeme (V)

Modellbasiertes Testen & Analyse eingebetteter Software (S)

WS15/16

Praktikum Systemprogrammierung - Versuch 4: Externer Speicher (P)

Modellbasiertes Testen & Analyse eingebetteter Software (S)

SS2015

Einführung in eingebettete Systeme (V)

Praktikum Systemprogrammierung - Versuch 4: Externer Speicher (P)

Modellbasiertes Testen & Analyse eingebetteter Software (S)

Office Hours

by appointment

Publications


Publikations-Export
[BHK17]
PDFBIB
Ben Makhlouf, I., 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 / Editors: Goran Frehse and Matthias Althoff, 2017 in EPiC Series in Computing, pp. 68-79.

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

Bibtex entry :

@inproceedings {  BHK17,
	author = { Ben Makhlouf, Ibtissem and Hansen, Norman and Kowalewski,
		Stefan },
	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 / Editors: Goran Frehse
		and Matthias Althoff },
	pages = { 68-79 },
	series = { EPiC Series in Computing },
	year = { 2017 },
	organization = { 3. International Workshop on Applied Verification for
		Continuous and Hybrid Systems, Vienna (Austria), 2016-04-12
		- 2016-04-12 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-CONV-213474 },
	cin = { 122810 / 120000 },
	url = { https://easychair.org/publications/paper/334327 },
}
[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 : 25.-29. September 2017, Chemnitz : proceedings / Maximilian Eibl, Martin Gaedke (Hrsg.), Bonn, 2017 in GI-Edition : lecture notes in informatics. Proceedings, Gesellschaft für Informatik, 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 : 25.-29. September 2017, Chemnitz :
		proceedings / Maximilian Eibl, Martin Gaedke (Hrsg.) },
	publisher = { Gesellschaft f{\"u}r Informatik },
	pages = { 1537-1549 },
	series = { GI-Edition : lecture notes in informatics. Proceedings },
	year = { 2017 },
	address = { Bonn },
	organization = { 47. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V.
		(GI), Chemnitz (Germany), 2017-09-25 - 2017-09-29 },
	doi = { 10.18420/in2017_154 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-CONV-236306 },
	cin = { 122810 / 120000 },
	url = { https://dl.gi.de/handle/20.500.12116/21 },
}
[WRB+17]
PDFBIB
Wiechowski, N., Rambow, T., Busch, R., Kugler, A., Hansen, N., and Kowalewski, S., "Arttest - a New Test Environment for Model-Based Software Development", SAE technical paper, vol. 2017-01-0004, 2017

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

Bibtex entry :

@article {  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 },
	journal = { SAE technical paper },
	publisher = { SAE International },
	volume = { 2017-01-0004 },
	year = { 2017 },
	address = { [Warrendale, PA] },
	issn = { 2688-3627 },
	organization = { SAE World Congress Experience, Detroit, MI (USA), 2017-04-04
		- 2017-04-06 },
	doi = { 10.4271/2017-01-0004 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-CONV-236304 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/752280 },
}
[DHK16]
PDFBIB
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 / Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.), Cham, 2016 in Lecture Notes in Computer Science, Springer International Publishing, pp. 25-38.

Abstract Interpretation of MATLAB Code with Interval Sets

Bibtex entry :

@inproceedings {  DHK16,
	author = { Dernehl, Christian and Hansen, Norman and Kowalewski, Stefan },
	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 /
		Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.) },
	publisher = { Springer International Publishing },
	pages = { 25-38 },
	series = { Lecture Notes in Computer Science },
	year = { 2016 },
	address = { Cham },
	organization = { 21. International Workshop on Formal Methods for Industrial
		Critical Systems, Pisa (Italy), 2016-09-26 - 2016-09-28 },
	doi = { 10.1007/978-3-319-45943-1_2 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2016-12021 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/680837 },
}
[DHK16a]
PDFBIB
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 / Rocco De Nicola, Eva Kühn (eds.), Cham, 2016 in Lecture Notes in Computer Science, Springer International Publishing, pp. 137-154.

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

Bibtex entry :

@inproceedings {  DHK16a,
	author = { Dernehl, Christian and Hansen, Norman and Kowalewski, Stefan },
	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 / Rocco De Nicola, Eva
		K{\"u}hn (eds.) },
	publisher = { Springer International Publishing },
	pages = { 137-154 },
	series = { Lecture Notes in Computer Science },
	year = { 2016 },
	address = { Cham },
	organization = { Software Engineering and Formal Methods : 14. International
		Conference, Vienna (Austria), 2016-07-04 - 2016-07-08 },
	doi = { 10.1007/978-3-319-41591-8_10 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2016-12037 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/680854 },
}
[GHD+16]
PDFBIB
Gerlitz, T., Hansen, N., 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) / Michaela Huhn (Ostfalia Hochschule – Wolfenbüttel, DE), Matthias Riebisch (Universität Hamburg, DE), Bernhard Schätz (fortiss GmbH – München, DE)], 2016, fortiss Technischer Bericht, pp. 13-22.

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

Bibtex entry :

@inproceedings {  GHD+16,
	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) / Michaela Huhn (Ostfalia
		Hochschule – Wolfenb{\"u}ttel, DE), Matthias Riebisch
		(Universit{\"a}t Hamburg, DE), Bernhard Sch{\"a}tz (fortiss
		GmbH – M{\"u}nchen, DE)] },
	publisher = { fortiss Technischer Bericht },
	pages = { 13-22 },
	year = { 2016 },
	organization = { Modellbasierte Entwicklung eingebetteter Systeme, Dagstuhl
		(Germany), 2016-03-30 - 2016-04-01 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-207908 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/573828 },
}
[DHG+15]
PDFBIB
Dernehl, C., Hansen, N., Gerlitz, T., and Kowalewski, S., "Static Value Range Analysis for Matlab/Simulink-Models", in Proc. Informatik 2015 : Tagung vom 28. September – 02. Oktober 2015 in Cottbus / Douglas W. Cunningham ... (Hrsg.), [Bonn], 2015 in GI-Edition : lecture notes in informatics, Ges. für Informatik, pp. 1649-1660.

Static Value Range Analysis for Matlab/Simulink-Models

Bibtex entry :

@inproceedings {  DHG+15,
	author = { Dernehl, Christian and Hansen, Norman and Gerlitz, Thomas
		and Kowalewski, Stefan },
	title = { Static Value Range Analysis for Matlab/Simulink-Models },
	booktitle = { Informatik 2015 : Tagung vom 28. September – 02. Oktober
		2015 in Cottbus / Douglas W. Cunningham ... (Hrsg.) },
	publisher = { Ges. f{\"u}r Informatik },
	pages = { 1649-1660 },
	series = { GI-Edition : lecture notes in informatics },
	year = { 2015 },
	address = { [Bonn] },
	organization = { 45. Jahrestagung der Gesellschaft f{\"u}r Informatik,
		Cottbus (Germany), 2015-09-28 - 2015-10-02 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-207913 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/573834 },
}
[HF13]
PDFBIB
Hansen, N. and Franke, D., "Reverse Engineering des Windows Phone Process Execution Models", in Proc. Informatiktage 2013 : smart life - dank Informatik ; fachwissenschaftlicher Informatik-Kongress 22. und 23. März 2013 B-IT Bonn-Aachen International Center for Information Technology, Bonn / Gesellschaft für Informatik (Hrsg.). [Red.: Ludger Porada], Bonn, 2013 in GI-Edition : lecture notes in informatics, 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 = { Informatiktage 2013 : smart life - dank Informatik ;
		fachwissenschaftlicher Informatik-Kongress 22. und 23.
		M{\"a}rz 2013 B-IT Bonn-Aachen International Center for
		Information Technology, Bonn / Gesellschaft f{\"u}r
		Informatik (Hrsg.). [Red.: Ludger Porada] },
	publisher = { Gesellschaft f{\"u}r Informatik e.V. },
	pages = { 83-86 },
	series = { GI-Edition : lecture notes in informatics },
	year = { 2013 },
	address = { Bonn },
	organization = { Fachwissenschaftlicher Informatik-Kongress, Bonn (Germany),
		2013-03-22 - 2013-03-23 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-204143 },
	cin = { 120000 / 122810 },
	url = { http://publications.rwth-aachen.de/record/226725 },
}
[BHK+12]
PDFBIB
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) [Elektronische Ressource] / Hrsg.: Jörg Brauer ; Marco Roveri ; Hendrik Tews, Wadern, 2012 in OASIcs - OpenAccess Series in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für 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) [Elektronische Ressource] / Hrsg.: J{\"o}rg
		Brauer ; Marco Roveri ; Hendrik Tews },
	publisher = { Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik },
	pages = { 32-43 },
	series = { OASIcs - OpenAccess Series in Informatics },
	year = { 2012 },
	address = { Wadern },
	organization = { 6. International Workshop on Systems Software Verification },
	doi = { 10.4230/OASIcs.SSV.2011.32 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-198838 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/128784 },
}

Note: [BHK+12] is NO publication of mine and is displayed here because of the inability of the publication-plugin to filter publications by the prename of the authors.

This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany