Abhik Roychoudhury

• Embedded systems and software validation
• Theoretical Aspects of Computing – ICTAC 2012
• Theoretical Aspects of Computing - ICTAC 2012
• Time-Predictable Embedded Software on Multi-Core Platforms