1. Frequency Scaling for High Performance of Low-End Pipelined Processors;Advances in Science, Technology and Engineering Systems Journal;2021-03
2. Architectural Support for Containment-based Security;Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems;2019-04-04
3. C-Mine;ACM Transactions on Design Automation of Electronic Systems;2018-01-24
4. Effective Robustness Analysis Using Bounded Model Checking Techniques;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2011-08
5. Systematic Design Principles for Cost-Effective Hard Constraint Management in Dynamic Nonlinear Systems;International Journal of Adaptive, Resilient and Autonomic Systems;2011-01