Kerstin Eder
机构: Professor of Computer Science, University of Bristol
每年引用次数
引用次数
引用: 2,342
H-指数: 26
I10-指数 : 54
出版物: 194
Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans
Dejanira Araiza-Illan , David Western , Anthony Pipe , Kerstin Eder
haifa verification conference 9434 69 -84
19
2015
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project \(EMC^2\)
Haris Isakovic , Radu Grosu , Denise Ratasich , Jiri Kadlec
international conference on computer safety, reliability, and security 127 -140
2
2017
Experience of Deploying Event-B in Industrial Microprocessor Development
Stephen Wright , Kerstin Eder
Industrial Deployment of System Engineering Methods 107 -122
2013
Energy transparency from hardware to software
Kerstin Eder
2013 Third Berkeley Symposium on Energy Efficient Electronic Systems (E3S) 1 -2
3
2013
A fuzzy approach to qualification in design exploration for autonomous robots and systems
Jeremy Morse , Dejanira Araiza-Illan , Kerstin Eder , Jonathan Lawry
ieee international conference on fuzzy systems 8015456
3
2017
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats
Sing-Kai Chiu , Dejanira Araiza-Illan , Kerstin Eder
conference towards autonomous robotic systems 166 -181
2017
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions
Dejanira Araiza-Illan , Anthony G. Pipe , Kerstin Eder
robot soccer world cup 9 -16
13
2016
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
Laura Antuña , Dejanira Araiza-Illan , Sérgio Campos , Kerstin Eder
arXiv: Robotics
8
2015
Towards safe human-robot interaction
Elena Corina Grigore , Kerstin Eder , Alexander Lenz , Sergey Skachek
conference towards autonomous robotic systems 323 -335
10
2011
Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores.
Victor H. F. Oliveira , Alex F. A. Furtunato , Luiz F. Silveira , Kyriakos Georgiou
international conference on performance engineering 43 -44
2
2018
Improving XCS performance on overlapping binary problems
Charalambos Ioannides , Geoff Barrett , Kerstin Eder
congress on evolutionary computation 1420 -1427
6
2011
Achieving maximum performance: A method for the verification of interlocked pipeline control logic
Kerstin Eder , Geoff Barrett
design automation conference 135 -140
2002
Energy Transparency for Deeply Embedded Programs
Kyriakos Georgiou , Steve Kerrison , Zbigniew Chamski , Kerstin Eder
ACM Transactions on Architecture and Code Optimization 14 ( 1) 8
21
2017
Verification and testing of mobile robot navigation algorithms: A case study in SPARK
Piotr Trojanek , Kerstin Eder
intelligent robots and systems 1489 -1494
9
2014
Joint action understanding improves robot-to-human object handover
Elena Corina Grigore , Kerstin Eder , Anthony G. Pipe , Chris Melhuish
intelligent robots and systems 4622 -4629
96
2013
Whole Systems Energy Transparency: More Power to Software Developers!
Kerstin Eder
Electronic Proceedings in Theoretical Computer Science 248 2 -3
2017
When Parallel Speedups Hit the Memory Wall
Alex F. A. Furtunato , Kyriakos Georgiou , Kerstin Eder , Samuel Xavier-De-Souza
IEEE Access 8 79225 -79238
3
2020
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development
Hayden Field , Glen Anderson , Kerstin Eder
arXiv: Software Engineering
4
2014
Towards Automating Simulation-Based Design Verification Using ILP
Kerstin Eder , Peter Flach , Hsiou-Wen Hsueh
inductive logic programming 154 -168
14
2007
On the impact of different types of errors on trust in human-robot interaction: Are laboratory-based HRI experiments trustworthy?
Rebecca Flook , Anas Shrinah , Luc Wijnen , Kerstin Eder
Interaction Studies 20 ( 3) 455 -486
20
2019