VLDB 2026 Research / reviewers in the wild / expert
Georg Hake
dblp:182/0032
· DBLP profile ↗
3ranked-venue papers
1as first author
2since 2021 · last 2026
0009-0007-9769-6188ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021Systems, architecture and hardware · 1 · 1 since 2021Security and privacy · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | A Visual Formalism for the Specification of Maritime Traffic Scenarios
Anna Austel, Georg Hake, Nina Wetzig |
REFSQ | 2 |
| 2021 | Project Overview for Step-Up!CPS - Process, Methods and Technologies for Updating Safety-critical Cyber-physical SystemsabstractWe describe the challenges addressed by the three year German national collaborative research project Step-Up!CPS that is currently in its third year. The goal of the project is to develop software methods and technologies for modular updates of safety-critical cyber-physical systems. To make this possible, contracts are utilized, which formally describe the behaviour of an update and make it verifiable at different times of the update life cycle. We have defined a development process that allows for a continuous improvement of such systems by monitoring their operation, identifying the need for updates, and development and deploying these updates in a safe and secure manner. We highlight the points along the update process that are necessary for a secure update and show how we counteract them in a contractually secured update process. Thomas Strathmann, Georg Hake, Houssem Guissouma, Carl Philipp Hohl, Yosab Bebawy, Sebastian Vander Maelen, Andrew Koerner |
DATE | 2 |
| 2020 | Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems
Georg Hake, Sebastian Feuerstack, Axel Hahn |
SAFECOMP | 1 |