Dies ist eine alte Version des Dokuments!
|
Wissenschaftlicher Mitarbeiter
Tel. +49 241 80 21172
Büro: 2319 |
Bei Interesse an einem der folgenden Themen nehme ich mir gerne die Zeit dazu etwas mehr zu erzählen/zeigen als in den Ausschreibungen steht. Fragt einfach via Mail nach einem Termin.
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.