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

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

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

All projects

RTLola

HiRSE_PS

Core Informatics