Design Space Exploration of Heterogeneous Multiprocessor Systems

Seed Project: Early Stage Design Space Exploration of Heterogeneous Multiprocessor Systems on Distributed Platforms ForSyDe (Formal System Design) is a design methodology targeting the design of heterogeneous embedded and cyber-physical systems, envisioning a...

Machine checkable verification of P4 programs

Seed Project: Machine checkable verification of P4 programsP4 is a programming language for controlling the data plane in programmable network devices such as routers and switches. The behaviour of switches programmed via P4 depends on the P4 program and the...