GENIAL!
Tools to accelerate innovation along the automotive value chain
My research focuses on tools and methods to assist and improve typical programming tasks. For this, I have developed and implemented the concept of code portals, a mechanism to embed related code fragments into the surrounding source code document. In my work, I apply methods of formal verification via automated theorem provers to ensure correctness, and employ prototyping and continuous refactoring to quickly explore a solution space.
Tools to accelerate innovation along the automotive value chain
Various projects with industrial partners
Non-linear representation of source code through Code Portals
File: |
DOI: | 10.1109/ICPC.2016.7503732 |
DOI: | 10.1109/ICPC.2016.7503743 |
DOI: | 10.1109/MSR.2012.6224278 |
nach Vereinbarung