I detail below the research that I have carried out during various internships preceding my PhD.

System-level Modeling of Embedded Control Systems: A Case Study from the Automated Transfer Vehicle


Dynamic Memory Management in Real-Time Java Applications