publication venue for
- An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems 2018
- A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited 2017
- Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation 2013
- Dynamic binary translation to a reconfigurable target for on-the-fly acceleration 2011
- A novel optimal single constant multiplication algorithm 2010
- Embedded memory binding in FPGAs 2010
- Post-silicon validation opportunities, challenges and recent advances 2010
- Robust design methods for hardware accelerators for iterative algorithms in scientific computing 2010
- Multi-frequency wrapper design and optimization for embedded cores under average power constraints 2005