Recent
System engineering, Model-Based Engineering of Aerospace Systems (SysML), Timing Analysis in Real Time Systems
Earlier
Computer arithmetic & numerical accuracy, Formal Methods, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems