People at D3S

Dynamic Program Analysis, Measurement Methodology, Performance Modeling

Research on dynamic architectures for collective self-adaptive systems and QoS guarantees

Research on dynamic architectures of service-based IoT and CPS systems

Performance Unit Testing, Performance Documentation

Source code verification

Data Structures, Statistics

Secretary

Automated Verification of Software, Testing and Debugging Concurrent Programs

Research on collective self-adaptive systems and formal methods

Performance Measurement and Analysis, Performance Awareness

Research on uncertainty in cyber-physical systems

Code Model Checking, source code verification and analysis, logic

Automated Verification of Software

Automated Verification of Software

Programming Languages, Reliability

Research on coordination in collective self-adaptive systems

Research on Edge cloud

Security auditing

Research on self-adaptation in collective self-adaptive systems

Research on use-case and natural language-based design of dynamic systems