Dies ist eine alte Version des Dokuments!
| | | Wissenschaftlicher Mitarbeiter
dernehl[at]embedded[dot]rwth-aachen[dot]de |
Semester | Titel | Art |
---|---|---|
SS 2012 | Praktikum Systemprogrammierung | P |
WS 2012/13 | Einführung in die technische Informatik | V/Ü |
WS 2013/14 | Einführung in die technische Informatik | V/Ü |
@phdthesis { Der19, author = { Dernehl, Christian Michael }, othercontributors = { Kowalewski, Stefan and Moormann, Dieter }, title = { Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis }, publisher = { RWTH Aachen University, Department of Computer Science }, school = { RWTH Aachen University }, pages = { 1 Online-Ressource (xxiii, 156 Seiten) : Illustrationen, Diagramme }, series = { Aachener Informatik-Berichte }, year = { 2019 }, address = { Aachen }, doi = { 10.18154/RWTH-2019-05178 }, typ = { PUB:(DE-HGF)11 }, reportid = { RWTH-2019-05178 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/761850/files/761850.pdf }, }
@inproceedings { DDK+17, author = { Dankert, Jens and Dernehl, Christian and Kusmenko, Evgeny and Eckstein, Lutz and Kowalewski, Stefan and Rumpe, Bernhard }, title = { RapidCoop - Robuste Architektur durch geeignete Paradigmen f{\"u}r Kooperativ Interagierende Automobile }, booktitle = { AAET - Automatisiertes und Vernetztes Fahren : Beitr{\"a}ge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig / ITS automotive nord e.V. (Hrsg.) }, publisher = { ITS automotive nord e.V. }, pages = { 225-244 }, year = { 2017 }, address = { Braunschweig }, organization = { 18. Braunschweiger Symposium AAET - Automatisiertes und Vernetztes Fahren, Braunschweig (Germany), 2017-02-08 - 2017-02-09 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2018-231931 }, cin = { 121510 / 120000 / 414110 / 122810 }, url = { http://www.se-rwth.de/publications/RapidCoop-Robuste-Architektur-durch-geeignete-Paradigmen-fuer-Kooperativ-Interagierende-Automobile.pdf?PHPSESSID=eb66ba2042d9500e5135d33f6b7575af }, }
@article { DKK17, author = { Dernehl, Christian and K{\"u}hn, Jan and Kowalewski, Stefan }, title = { Case studies on automated verification with slope boundaries for block diagrams }, journal = { Computer Languages, Systems & Structures }, publisher = { Elsevier Science }, pages = { 528-543 }, volume = { 54 }, year = { 2017 }, address = { Amsterdam [u.a.] }, issn = { 1477-8424 }, doi = { 10.1016/j.cl.2017.09.001 }, typ = { PUB:(DE-HGF)16 }, reportid = { RWTH-CONV-236294 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/752271 }, }
@inproceedings { Der16, author = { Dernehl, Christian }, title = { Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers }, booktitle = { 2016 European Control Conference (ECC) : June 29-July 1, 2016, Aalborg, Denmark / [European Control Association (EUCA)] }, publisher = { IEEE }, pages = { 441-446 }, year = { 2016 }, address = { Piscataway, NJ }, organization = { 2016 European Control Conference, Aalborg (Denmark), 2016-06-29 - 2016-07-01 }, doi = { 10.1109/ECC.2016.7810324 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2017-06691 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/696194 }, }
@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 { DKK16, author = { Dernehl, Christian and K{\"u}hn, Jan and Kowalewski, Stefan }, title = { Abstract Interpretation for Block Diagrams : Two Case Studies }, booktitle = { MoDeVVa 2016 : Model-Driven Engineering, Verification and Validation : proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) : Saint-Malo, France, October 3, 2016 / edited by Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim }, publisher = { RWTH Aachen }, pages = { 20-29 }, series = { CEUR workshop proceedings }, year = { 2016 }, address = { Aachen, Germany }, organization = { 13. Workshop on Model Design, Verification and Validation, Saint-Malo (France), 2016-10-03 - 2016-10-03 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2017-00640 }, cin = { 122810 / 120000 }, url = { http://nbn-resolving.de/urn:nbn:de:0074-1713-7 }, }
@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 { GDF+12, author = { Gathmann, Felix and Dernehl, Christian Michael and Franke, Dominik and Kowalewski, Stefan }, title = { An integrated vision aided GPS/INS Navigation System for ultra-low-cost MAVs }, booktitle = { Proceedings / IMAV 2012 : Braunschweig, Germany, 03 - 06 July 2012 / Deutsche Gesellschaft f{\"u}r Ortung und Navigation }, publisher = { Deutsche Gesellschaft f{\"u}r Ortung und Navigation }, pages = { 1-8 }, year = { 2012 }, address = { Bonn }, organization = { International Micro Air Vehicle Conference and Flight Competition, Braunschweig (Germany), 2012-07-03 - 2012-07-06 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-236329 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/752304 }, }
@inproceedings { DFD+11, author = { Dernehl, Christian and Franke, Dominik and Diab, Hilal and Kowalewski, Stefan }, title = { An Architecture with Integrated Image Processing for Autonomous Micro Aerial Vehicles }, booktitle = { International Micro Air Vehicle conference and competitions 2011 (IMAV 2011), 't Harde, The Netherlands, September 12-15, 2011 }, publisher = { IMAV }, pages = { 138-145 }, year = { 2011 }, organization = { International Micro Air Vehicle conference and competitions 2011, 't Harde (Netherlands), 2011-09-12 - 2011-09-15 }, doi = { 10.4233/uuid:19adedb6-e3d9-4cff-8ebc-6497b026adfe }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-198392 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/128268 }, }
Nach Vereinbarung