| 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 | 188 | 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 | 148 | 2017 |
| 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 | 136* | 2021 |
| 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 | 126 | 2016 |
| 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 | 122 | 2013 |
| 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 | 98 | 2012 |
| 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 | 90 | 2014 |
| 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 | 83 | 2019 |
| 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 | 83 | 2015 |
| 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 | 64 | 2015 |
| 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 | 52 | 2014 |
| 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 | 51 | 2014 |
| 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 | 48 | 2019 |
| 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 | 44 | 2015 |
| 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 | 44 | 2015 |
| 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 | 43 | 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 | 40 | 2017 |
| 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 | 39 | 2015 |
| On determinism of game engines used for simulation-based autonomous vehicle verification G Chance, A Ghobrial, K McAreavey, S Lemaignan, T Pipe, K Eder IEEE Transactions on Intelligent Transportation Systems 23 (11), 20538-20552, 2022 | 38 | 2022 |
| Less is more: Exploiting the standard compiler optimization levels for better performance and energy consumption K Georgiou, C Blackmore, S Xavier-de-Souza, K Eder Proceedings of the 21st International Workshop on Software and Compilers for …, 2018 | 34 | 2018 |
Steve KerrisonJames Cook UniversityZweryfikowany adres z stevekerrison.com
