Follow
Kerstin Eder
Title
Cited by
Cited by
Year
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
1792014
The IoT energy challenge: A software perspective
K Georgiou, S Xavier-de-Souza, K Eder
IEEE Embedded Systems Letters 10 (3), 53-56, 2017
1312017
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
1092013
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
1052016
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
912014
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
832012
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
822015
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
732019
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
632015
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
482014
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
472014
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
412017
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
412015
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
392015
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
382021
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
382017
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
362019
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
362015
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
292017
Intelligent agent-based stimulation for testing robotic software in human-robot interactions
D Araiza-Illan, AG Pipe, K Eder
Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 9-16, 2016
292016
The system can't perform the operation now. Try again later.
Articles 1–20