Kerstin Eder

Kerstin Eder

University of Bristol

H-index: 25

Europe-United Kingdom

About Kerstin Eder

Kerstin Eder, With an exceptional h-index of 25 and a recent h-index of 21 (since 2020), a distinguished researcher at University of Bristol, specializes in the field of verification, formal methods, intelligent testing, energy aware computing, safety and certification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Verification of a virtual lunar regolith simulant

Towards truly sustainable IoT systems: the SUPERIOT project

Would you trust a vehicle merging into your lane? Subjective evaluation of negotiating behaviour in a congested merging scenario

The magazine archive includes every article published in Communications of the ACM for over the past 50 years.

Impact of Haptic Feedback in High Latency Teleoperation for Space Applications

On the Design of Human-Robot Collaboration Gestures

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms

Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency

Kerstin Eder Information

University

Position

Professor of Computer Science

Citations(all)

2107

Citations(since 2020)

1311

Cited By

1275

hIndex(all)

25

hIndex(since 2020)

21

i10Index(all)

52

i10Index(since 2020)

36

Email

University Profile Page

University of Bristol

Google Scholar

View Google Scholar Profile

Kerstin Eder Skills & Research Interests

verification

formal methods

intelligent testing

energy aware computing

safety and certification

Top articles of Kerstin Eder

Title

Journal

Author(s)

Publication Date

Verification of a virtual lunar regolith simulant

Frontiers in Space Technologies

Joe Louca

John Vrublevskis

Kerstin Eder

Antonia Tzemanaki

2024/2/22

Towards truly sustainable IoT systems: the SUPERIOT project

Journal of Physics: Photonics

Marcos Katz

Tuomas Paso

Konstantin Mikhaylov

Luis Pessoa

Helder Fontes

...

2024/1/23

Would you trust a vehicle merging into your lane? Subjective evaluation of negotiating behaviour in a congested merging scenario

Akinobu Goto

Kerstin Eder

2024/1/8

The magazine archive includes every article published in Communications of the ACM for over the past 50 years.

Communications of the ACM

Gary Lewandowski

Dennis J Bouvier

Tzu-Yi Chen

Robert McCartney

Kate Sanders

...

2010/7

Impact of Haptic Feedback in High Latency Teleoperation for Space Applications

ACM Transactions on Human-Robot Interaction

Joe Louca

Kerstin Eder

John Vrublevskis

Antonia Tzemanaki

2024/3/9

On the Design of Human-Robot Collaboration Gestures

Anas Shrinah

Masoud S Bahraini

Fahad Khan

Seemal Asif

Niels Lohse

...

2024/2/29

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Greg Chance

Peter D Winter

Arianna Manzini

Ibrahim Habli

Shane Windsor

...

2023/9/13

Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency

Frontiers in Neurorobotics

Joe Louca

John Vrublevskis

Kerstin Eder

Antonia Tzemanaki

2023

Assessing Trustworthiness of Autonomous Systems

arXiv preprint arXiv:2305.03411

Gregory Chance

Dhaminda B Abeywickrama

Beckett LeClair

Owen Kerr

Kerstin Eder

2023/5/5

A Trustworthiness Score to Evaluate DNN Predictions

Abanoub Ghobrial

Darryl Hond

Hamid Asgari

Kerstin Eder

2023/7/17

Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES)(Dagstuhl Seminar 22341)

Kerstin I Eder

Timo Hönig

Daniel Mosse

Max Plauth

Maja Hanne Kirkeby

2023

Hasta la vista baby: why we should dispense of “autonomy” in “autonomous systems”

AI & SOCIETY

Helen Smith

Kerstin Eder

Jonathan Ives

2024/2

Trustworthy Swarms

James Wilson

Greg Chance

Peter Winter

Suet Lee

Emma Milner

...

2023/7/11

The teamplay project: Analysing and optimising time, energy, and security for cyber-physical systems

Benjamin Rouxel

Christopher Brown

Emad Ebeid

Kerstin Eder

Heiko Falk

...

2023/4/17

Soft Gripping: Specifying for Trustworthiness

arXiv preprint arXiv:2307.01159

Dhaminda B Abeywickrama

Nguyen Hao Le

Greg Chance

Peter D Winter

Arianna Manzini

...

2023/7/3

Dagstuhl Reports, Vol. 12, Issue 8 ISSN 2192-5283

Nadia Boukhelifa

Christopher R Johnson

Kristi Potter

David Duvenaud

Markus Heinonen

...

2023/3

EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications

arXiv preprint arXiv:2305.14968

Simon Wegener

Kris K Nikov

Jose Nunez-Yanez

Kerstin Eder

2023/5/24

On specifying for trustworthiness

Communications of the ACM

Dhaminda B Abeywickrama

Amel Bennaceur

Greg Chance

Yiannis Demiris

Anastasia Kordoni

...

2023/12/21

Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs

IEEE Embedded Systems Letters

Diego V Cirilo do Nascimento

Kyriakos Georgiou

Kerstin I Eder

Samuel Xavier-de-Souza

2023/1/30

Evaluation Metrics for CNNs Compression

arXiv preprint arXiv:2305.10616

Abanoub Ghobrial

Dieter Balemans

Hamid Asgari

Phil Reiter

Kerstin Eder

2023/5/18

See List of Professors in Kerstin Eder University(University of Bristol)

Co-Authors

H-index: 13
Samuel Xavier-de-Souza

Samuel Xavier-de-Souza

Universidade Federal do Rio Grande do Norte

H-index: 13
Neville Grech

Neville Grech

University of Malta

H-index: 12
Jeremy Morse

Jeremy Morse

University of Bristol

H-index: 10
Kyriakos Georgiou

Kyriakos Georgiou

University of Bristol

academic-engine