Real-time and Critical Systems
Dependability Assessment of Critical Systems
Read more »
Management and Orchestration of industrial applications
Read more »
Software Reliability
Fault Injection, Robustness Testing, Dependability benchmarking for Cloud Computing
Read more »
Model-based verification and log-based failure analysis
Read more »
Software Security
Cyber ranges and cyber threat intelligences
Read more »
Fuzzing and static analysis for OS and virtualization
Read more »
AI for Security Testing and Security Testing of AI
Read more »