Using models at runtime to address assurance for self-adaptive systems BHC Cheng, KI Eder, M Gogolla, L Grunske, M Litoiu, HA Müller, ... Models@ run. time: foundations, applications, and roadmaps, 101-136, 2014 | 181 | 2014 |
The IoT energy challenge: A software perspective K Georgiou, S Xavier-de-Souza, K Eder IEEE Embedded Systems Letters 10 (3), 53-56, 2017 | 134 | 2017 |
Joint action understanding improves robot-to-human object handover EC Grigore, K Eder, AG Pipe, C Melhuish, U Leonards 2013 IEEE/RSJ international conference on intelligent robots and systems …, 2013 | 111 | 2013 |
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction A Hamacher, N Bianchi-Berthouze, AG Pipe, K Eder 2016 25th IEEE international symposium on robot and human interactive …, 2016 | 109 | 2016 |
Energy consumption analysis of programs based on XMOS ISA-level models U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ... Logic-Based Program Synthesis and Transformation: 23rd International …, 2014 | 93 | 2014 |
Coverage-directed test generation automated by machine learning--a review C Ioannides, KI Eder ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (1 …, 2012 | 87 | 2012 |
Static analysis of energy consumption for LLVM IR programs N Grech, K Georgiou, J Pallister, S Kerrison, J Morse, K Eder Proceedings of the 18th International Workshop on Software and Compilers for …, 2015 | 82 | 2015 |
A corroborative approach to verification and validation of human–robot teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe The International Journal of Robotics Research, 2019 | 76 | 2019 |
Energy modeling of software for a hardware multithreaded embedded microprocessor S Kerrison, K Eder ACM Transactions on Embedded Computing Systems (TECS) 14 (3), 1-25, 2015 | 65 | 2015 |
Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers' K Eder, C Harper, U Leonards The 23rd IEEE International Symposium on Robot and Human Interactive …, 2014 | 48 | 2014 |
Formal verification of control systems' properties with theorem proving D Araiza-Illan, K Eder, A Richards 2014 UKACC International Conference on Control (CONTROL), 244-249, 2014 | 47 | 2014 |
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ... International Workshop on Foundational and Practical Aspects of Resource …, 2015 | 43 | 2015 |
Formalizing and Guaranteeing Human-Robot Interaction H Kress-Gazit, K Eder, G Hoffman, H Admoni, B Argall, R Ehlers, ... Communications of the ACM 64 (9), 78-84, 2021 | 42 | 2021 |
Data dependent energy modeling for worst case energy consumption analysis J Pallister, S Kerrison, J Morse, K Eder Proceedings of the 20th International Workshop on Software and Compilers for …, 2017 | 41 | 2017 |
Energy transparency for deeply embedded programs K Georgiou, S Kerrison, Z Chamski, K Eder ACM Transactions on Architecture and Code Optimization (TACO) 14 (1), 1-26, 2017 | 41 | 2017 |
A computational model of human-robot spatial interactions based on a qualitative trajectory calculus C Dondrup, N Bellotto, M Hanheide, K Eder, U Leonards Robotics 4 (1), 63-102, 2015 | 41 | 2015 |
On the impact of different types of errors on trust in human-robot interaction: Are laboratory-based HRI experiments trustworthy? R Flook, A Shrinah, L Wijnen, K Eder, C Melhuish, S Lemaignan Interaction Studies 20 (3), 455-486, 2019 | 38 | 2019 |
Coverage-Driven Verification—An Approach to Verify Code for Robots that Directly Interact with Humans D Araiza-Illan, D Western, A Pipe, K Eder Haifa Verification Conference, 69-84, 2015 | 36 | 2015 |
Test directive generation for functional coverage closure using inductive logic programming HW Hsueh, K Eder 2006 IEEE International High Level Design Validation and Test Workshop, 11-18, 2006 | 32 | 2006 |
Effects of faults, experience, and personality on trust in a robot co-worker S Sarkar, D Araiza-Illan, K Eder arXiv preprint arXiv:1703.02335, 2017 | 31 | 2017 |