Research

I contribute in the research of embedded software that provides the support for resource usage estimation and integrate time-domain verification in the early phases of MBD in automotive systems. More details can be found in Publication and Works pages.