Has participated in:
-
Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations
-
Integration of an IoT Communication Infrastructure in Distributed Production Systems in Industry 4.0
-
Verification and validation of digital twins and virtual testbeds
-
Structured validation of AI-based systems by virtual testing in simulated test scenarios