Kerstin Eder
Kerstin Eder
Professor of Computer Science, University of Bristol
Vahvistettu sähköpostiosoite verkkotunnuksessa bristol.ac.uk
Nimike
Viittaukset
Viittaukset
Vuosi
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, 101-136, 2014
1282014
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
722013
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
682013
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
582015
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
482015
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
472016
The IoT energy challenge: A software perspective
K Georgiou, S Xavier-de-Souza, K Eder
IEEE Embedded Systems Letters 10 (3), 53-56, 2017
452017
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
412012
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
352015
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
312014
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
292014
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
272017
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
262015
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
222019
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
222015
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
222006
Feedback-based coverage directed test generation: An industrial evaluation
C Ioannides, G Barrett, K Eder
Haifa Verification Conference, 112-128, 2010
182010
XCS cannot learn all Boolean functions
C Ioannides, G Barrett, K Eder
Proceedings of the 13th annual conference on Genetic and evolutionary …, 2011
172011
Towards automating simulation-based design verification using ILP
K Eder, P Flach, HW Hsueh
International Conference on Inductive Logic Programming, 154-168, 2006
172006
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
162017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20