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