Runtime recovery actions selection for sporadic operations on public cloud.
Modularizing application and database evolution - an aspect-oriented framework for orthogonal persistence.
Compact visualization of Java program execution.
A MATLAB subset to C compiler targeting embedded systems.
An improved distributed concolic testing approach.
The accuracy of dependency analysis in static architecture compliance checking.