author-photo

Georg Hake

University of Oldenburg

4

Papers

7

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

Project Overview for Step-Up!CPS - Process, Methods and Technologies for Updating Safety-critical Cyber-physical Systems

2021 DATE | Design, Automation, and Test in Europe
Show All
- Source
- Cite
- Save
Citations (0)
Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems.

2020 SAFECOMP | International Conference on Computer Safety, Reliability, and Security
Show All
- Source
- Cite
- Save
Citations (3)
Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems

2020 ICCS | International Conference on Computational Science
Show All
- Source
- Cite
- Save
Citations (2)
An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System

2019 ICSRS | International Conference System Reliability and Safety
Show All
- Source
- Cite
- Save
Citations (2)