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

Community software infrastructure groups Helmholtz Information Research Software Engineering

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

Joint Lab Helmholtz Information - Research Software Engineering

HiRSE

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

Exploring our Earth through science in depth

International Continental Scientific Drilling Program (ICDP)

Component-Based Software Engineering Data Science Formal Methods Formal Verification Human-Computer-Interface Machine learning Neural network Research Software Engineering Software Engineering

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_1 Computer architecture, embedded systems, operating systems PE6_10 Web and information systems, data management systems, information retrieval and digital libraries, data fusion PE6_11 Machine learning, statistical data processing and applications using signal processing ( e.g. speech,image,video) PE6_2 Distributed systems, parallel computing, sensor networks, cyber-physical systems PE6_3 Software engineering, programming languages and systems PE6_4 Theoretical computer science, formal methods, automata PE6_6 Algorithms and complexity, distributed, parallel and network algorithms, algorithmic game theory PE6_7 Artificial intelligence, intelligent systems, natural language processing PE6_9 Human computer interaction and interface, visualisation

A Helmholtz Pilot Program

Core Informatics

Community software infrastructure groups Component-Based Software Engineering Digital Infrastructure IT Infrastructure monitoring Motor Control Research Software Engineering

PE Physical Sciences and Engineering PE6 Computer Science and Informatics PE6_2 Distributed systems, parallel computing, sensor networks, cyber-physical systems

All projects

RTLola

HiRSE

International Continental Scientific Drilling Program (ICDP)

Core Informatics

Tango Controls