Kerstin Eder
Cited by
Cited by
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
The IoT energy challenge: A software perspective
K Georgiou, S Xavier-de-Souza, K Eder
IEEE Embedded Systems Letters 10 (3), 53-56, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20