Formal Methods monitoring Runtime Verification

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_4 Theoretical computer science, formal methods, automata

RTLola is a real-time monitoring toolkit for cyber-physical systems and networks

RTLola

Aeronautics, Space and Transport Artificial Intelligence Big data Earth & Environment Energy Health Information Machine learning Matter

Democratizing AI

Helmholtz AI

Software developed or co-developed in the scope of the DAPHNE4NFDI consortium

DAPHNE4NFDI

DataHub Initiative of the Research Field Earth and Environment

DataHub

FERN.Lab

Aeronautics, Space and Transport Artificial Intelligence Data Science Earth & Environment Energy Health Imaging Imaging science Information Machine learning Matter Research Software Engineering

We catalyze scientific discovery from sensory measurements to knowledge.


Helmholtz Imaging

Helmholtz Joint Lab MDMC

Going deep with data science to better understand - and protect - the largest habitat on our planet. The Helmholtz School for Marine Data Science (MarDATA) bundles scientific marine expertise in the far north.

Helmholtz School for Marine Data Science (MarDATA)

Helmholtz Federated IT Services

HIFIS

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_3 Software engineering, programming languages and systems

Helmholtz Platform for Research Software Engineering - Preparatory Study

HiRSE_PS

Helmholtz Metadata Collaboration

drilling Earth & Environment environmental change geodynamic processes Geohazards Georesources

PE Physical Sciences and Engineering PE10 Earth System Science PE10_12 Sedimentology, soil science, palaeontology, earth evolution PE10_17 Hydrology, hydrogeology, engineering and environmental geology, water and soil pollution PE10_20 Geohazards PE10_5 Geology, tectonics, volcanology PE10_6 Palaeoclimatology, palaeoecology PE10_7 Physics of earth’s interior, seismology, geodynamics

All projects