Kerstin Eder
机构: Professor of Computer Science, University of Bristol
每年引用次数
引用次数
引用: 2,342
H-指数: 26
I10-指数 : 54
出版物: 194
Managing complexity through abstraction: a refinement-based approach to formalize instruction set architectures
Fangfang Yuan , Stephen Wright , Kerstin Eder , David May
formal methods 585 -600
3
2011
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction
Adriana Hamacher , Nadia Bianchi-Berthouze , Anthony G. Pipe , Kerstin Eder
robot and human interactive communication 493 -500
46
2016
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices
David McCann , Kerstin Eder , Elisabeth Oswald
international workshop secure internet things 65 -71
4
2015
ENTRA: Whole-systems energy transparency
Kerstin Eder , John P. Gallagher , Pedro López-García , Henk Muller
Microprocessors and Microsystems 47 278 -286
12
2016
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Greg Chance , Abanoub Ghobrial , Severin Lemaignan , Tony Pipe
international conference on artificial intelligence 31 -38
1
2020
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption
Kyriakos Georgiou , Craig Blackmore , Samuel Xavier-de-Souza , Kerstin Eder
software and compilers for embedded systems 35 -42
5
2018
Analysing and closing simulation coverage by automatic generation and verification of formal properties from coverage reports
Tim Blackmore , David Halliwell , Philip Barker , Kerstin Eder
integrated formal methods 84 -98
2
2012
Formal verification of control systems' properties with theorem proving
Dejanira Araiza-Illan , Kerstin Eder , Arthur Richards
ukacc international conference on control 244 -249
23
2014
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study
Dejanira Araiza-Illan , Kerstin Eder , Arthur Richards
european control conference 2670 -2675
11
2015
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing
Jeremy Morse , Steve Kerrison , Kerstin Eder
ACM Transactions in Embedded Computing Systems 17 ( 3) 59
8
2018
A computational model of human-robot spatial interactions based on a qualitative trajectory calculus
Christian Dondrup , Nicola Bellotto , Marc Hanheide , Kerstin Eder
Robotics 4 ( 1) 63 -102
14
2015
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems
AM Coutinho Demetrios , Daniele De Sensi , Arthur Francisco Lorenzon , Kyriakos Georgiou
Energies 13 ( 9) 2409
1
2020
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
Hsiou-wen Hsueh , Kerstin Eder
high level design validation and test 11 -18
16
2006
Introducing XCS to Coverage Directed test Generation
Charalambos Ioannides , Geoff Barrett , Kerstin Eder
high level design validation and test 57 -64
5
2011
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Umer Liqat , Steve Kerrison , Alejandro Serrano , Kyriakos Georgiou
Logic-Based Program Synthesis and Transformation 72 -90
108
2014
A high-level model of embedded flash energy consumption
James Pallister , Kerstin Eder , Simon J. Hollis , Jeremy Bennett
compilers, architecture, and synthesis for embedded systems 20
17
2014
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems
Steve Kerrison , David May , Kerstin Eder
2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC) 125 -132
3
2016
Energy modelling and optimisation of software for a hardware multi-threaded embedded microprocessor
Steve Kerrison , Kerstin Eder
University of Bristol, Bristol, Tech. Rep
9
2013
The teamplay project: Analysing and optimising time, energy, and security for cyber-physical systems
Benjamin Rouxel , Christopher Brown , Emad Ebeid , Kerstin Eder
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) 1 -6
1
2023
On specifying for trustworthiness
Dhaminda B Abeywickrama , Amel Bennaceur , Greg Chance , Yiannis Demiris
Communications of the ACM 67 ( 1) 98 -109
8
2023