2010
Exploiting local logic structures to optimize multi-core SoC floorplanning.
Proceedings of the Design, Automation and Test in Europe, 2010

2007
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Existential abstractions for distributed reactive systems via syntactic transformations.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2004
A Toolset for Modelling and Verification of GALS Systems.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004