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 |
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.
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.
Praktikum Systemprogrammierung - Versuch 4: Externer Speicher (P)
Einführung in eingebettete Systeme (V)
Praktikum Systemprogrammierung - Versuch 4: Externer Speicher (P)
Nach Vereinbarung
@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 }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }
Notiz: [BHK+12] ist KEINE Veröffentlichung von mir und wird fälschlicherweise aufgrund der eingeschränkten Konfigurierbarkeit des Bibliotheksplugins hier angezeigt.