7 Publications
2018
Towards the Simulation Based Design and Validation of Mobile Robotic Cyber-Physical Systems
Harris, Christopher B and Bahar, R. Iris
Journal of Low Power Electronics, vol. 14, (no. 1), pp. 156, 2018-03-01. | Journal Article
2017
A Research Tool for the Power and Performance Analysis of Sensor-Based Mobile Robots
Harris, Christopher B and Bahar, R. Iris
2017 New Generation of CAS (NGCAS), pp. 28, 2017-Sept.. 2017-Sept.. | Conference Proceeding
2016
A residual battery-aware routing algorithm based on DSR for BLE sensor networks
Guo, Zonglin⋅Harris, Ian G⋅Harris, Christopher B⋅Jiang, Yutong and Tsaur, Lih-feng
2016 Wireless Telecommunications Symposium (WTS), pp. 6, 2016-April. 2016-April. | Conference Proceeding
 
GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions
Harris, Christopher B and Harris, Ian G
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 971, 2016-March. 2016-March. | Conference Proceeding
 
Hardware acceleration of feature detection and description algorithms on low-power embedded platforms
Ulusel, Onur⋅Picardo, Christopher⋅Harris, Christopher B⋅Reda, Sherief and Bahar, R. Iris
2016 26th International Conference on Field Programmable Logic and Applications (FPL), pp. 9, 2016-Aug.. 2016-Aug.. | Conference Proceeding
2015
Generating formal hardware verification properties from Natural Language documentation
Harris, Christopher B and Harris, Ian G
Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015), pp. 56, 2015-Feb.. 2015-Feb.. | Conference Proceeding
2014
Automating the translation of assertions using natural language processing techniques
Soeken, Mathias⋅Harris, Christopher B⋅Abdessaied, Nabila⋅Harris, Ian G and Drechsler, Rolf
Proceedings of the 2014 Forum on Specification and Design Languages (FDL), vol. 978-2-9530504-9-3, pp. 8, 2014-October 14-16. 2014-October 14-16. | Conference Proceeding