Automating the translation of assertions using natural language processing techniques. - Mathias Soeken; Christopher B. Harris; Nabila Abdessaied; Ian G. Harris; Rolf Drechsler (FDL, 2014)

Generating formal hardware verification properties from Natural Language documentation. - Christopher B. Harris; Ian G. Harris (ICSC, 2015)

Generating Formal Verification Properties from Natural Language Hardware Specifications. - Christopher B. Harris (2015)

GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions. - Christopher B. Harris; Ian G. Harris (DATE, 2016)

Hardware acceleration of feature detection and description algorithms on low-power embedded platforms. - Onur Ulusel; Christopher B. Picardo; Christopher B. Harris; Sherief Reda; R. Iris Bahar (FPL, 2016)

A residual battery-aware routing algorithm based on DSR for BLE sensor networks. - Zonglin Guo; Ian G. Harris; Christopher B. Harris; Yutong Jiang; Lih-feng Tsaur (WTS, 2016)

A Research Tool for the Power and Performance Analysis of Sensor-Based Mobile Robots. - Christopher B. Harris; R. Iris Bahar (NGCAS, 2017)

Towards the Simulation Based Design and Validation of Mobile Robotic Cyber-Physical Systems. - Christopher B. Harris; R. Iris Bahar (J. Low Power Electron., 2018)