AMAZING
Automated modeling and analysis using intelligent network algorithms and graph methods
Automated modeling and analysis using intelligent network algorithms and graph methods
Static hardware/software analyses in the context of scalable edge computing platforms
Hardening of embedded RISC-V software by means of code transformations
Buildings as efficient and interoperable components of the future energy system