Kerstin I Eder

2024

Impact of Haptic Feedback in High Latency Teleoperation for Space Applications

Louca, J., Eder, K. I., Vrublevskis, J. & Tzemanaki, A., 9 Mar 2024, (E-pub ahead of print) In: ACM Transactions on Human-Robot Interaction (THRI). 13, 2, 22 p., 16.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

2 Citations (Scopus)

6 Downloads (Pure)

On Specifying for Trustworthiness

Abeywickrama, D. B., Bennaceur, A., Chance, G., Demiris, Y., Kordoni, A., Levine, M., Moffat, L., Luc, M., Mousavi, M. R., Nuseibeh, B., Ramamoorthy, S., Ringert, J. O., Wilson, J. S., Windsor, S. P. & Eder, K. I., 1 Jan 2024, In: Communications of the ACM. 67, 1, p. 98-109 12 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

140 Downloads (Pure)

Towards truly sustainable IoT systems: the SUPERIOT project

Katz, M., Paso, T., Mikhaylov, K., Pessoa, L., Fontes, H., Hakola, L., Leppäniemi, J., Carlos, E., Dolmans, G., Rufo, J., Drzewiecki, M., Sallouha, H., Napier, B., Branquinho, A. & Eder, K., 23 Jan 2024, In: Journal of Physics: Photonics. 6, 1, p. 1-10 10 p., 011001.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

Verification of a Virtual Lunar Regolith Simulant

Louca, J., Vrublevskis, J., Eder, K. I. & Tzemanaki, A., 22 Feb 2024, In: Frontiers in Space Technologies. 5, 14 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

2023

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

Louca, J. A., Vrublevskis, J., Eder, K. I. & Tzemanaki, A., 23 Aug 2023, (E-pub ahead of print) In: Frontiers in Neurorobotics. 17, 1187264.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

3 Citations (Scopus)

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

Smith, H., Eder, K. I. & Ives, J. C. S., 28 Apr 2023, In: AI and Society.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

2022

On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification

Chance, G., Eder, K. I., Ghobrial , A., McAreavey, K., Pipe , T. & Lemaignan, S., 10 Jun 2022, In: IEEE Transactions on Intelligent Transportation Systems. 23, 11, p. 20538-20552 15 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

12 Citations (Scopus)

505 Downloads (Pure)

Robust and accurate fine-grain power models for embedded systems with no on-chip PMU

Nikov, K., Martinez, M., Wegener, S., Nunez-Yanez, J., Chamski, Z., Georgiou, K. & Eder, K., Sept 2022, In: IEEE Embedded Systems Letters. 14, 3, p. 147-150 4 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

6 Citations (Scopus)

2021

Formalizing and Guaranteeing* Human-Robot Interaction

Kress-Gazit, H., Eder, K. I., Hoffman, G., Admoni, H., Argall, H. D., Ehlers, R., Heckman, C., Jansen, N., Knepper, R., Křetínský, J., Levy-Tzedek, S., Li, J., Murphey, T. D., Riek, L. & Sadigh, D., 24 Aug 2021, In: Communications of the ACM. 64, 9, p. 78-84 7 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

24 Citations (Scopus)

145 Downloads (Pure)

2020

Lost in translation: Exposing hidden compiler optimization opportunities

Georgiou, K., Chamski, Z., Amaya Garcia, A., May, D. & Eder, K. I., 7 Aug 2020, In: The Computer Journal. 0, 18 p., bxaa103.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

5 Citations (Scopus)

134 Downloads (Pure)

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems

Coutinho Demetrios, A. M., Sensi, D. D., Lorenzon, A. F., Georgiou, K., Nunez-Yanez, J., Eder, K. & Xavier-de-Souza, S., 11 May 2020, In: Energies. 13, 9, 24 p., 2409.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

13 Citations (Scopus)

73 Downloads (Pure)

2019

A Corroborative Approach to Verification and Validation of Human–Robot Teams

Webster, M., Western, D., Araiza Illan, D., Dixon, C., Eder, K. I., Fisher, M. & Pipe, A. G., 25 Nov 2019, In: International Journal of Robotics Research (IJRR). 27 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

48 Citations (Scopus)

382 Downloads (Pure)

On the impact of different types of errors on trust in human-robot interaction: Are laboratory-based HRI experiments trustworthy?

Flook, R., Shrinah, A., Wijnen, L., Eder, K., Melhuish, C. & Lemaignan, S., 18 Nov 2019, In: Interaction Studies. 20, 3, p. 455-486 32 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

27 Citations (Scopus)

508 Downloads (Pure)

When parallel speedups hit the memory wall

Furtunato, A. F. A., Georgiou, K., Eder, K. & Xavier-de-Souza, S., 3 May 2019, In: arXiv. 24 p.

Research output: Contribution to journal › Article (Academic Journal)

Open Access

File

131 Downloads (Pure)

2018

On the limitations of analysing worst-case dynamic energy of processing

Morse, J., Kerrison, S. & Eder, K., Feb 2018, In: ACM Transactions on Embedded Computing Systems. 17, 3, 22 p., 59.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

14 Citations (Scopus)

304 Downloads (Pure)

2017

Energy Transparency for Deeply Embedded Programs

Georgiou, K., Kerrison, S., Chamski, Z. & Eder, K., 1 Mar 2017, In: ACM Transactions on Architecture and Code Optimization. 14, 1, 26 p., 8.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

21 Citations (Scopus)

446 Downloads (Pure)

The IoT energy challenge: A software perspective

Georgiou, K., Xavier-de-Souza, S. & Eder, K., 17 Aug 2017, (E-pub ahead of print) In: IEEE Embedded Systems Letters. 4 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

68 Citations (Scopus)

276 Downloads (Pure)

2016

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 1 Nov 2016, In: Microprocessors and Microsystems. 47, p. 278-286 9 p.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

14 Citations (Scopus)

353 Downloads (Pure)

Intelligent Agent-Based Stimulation for Testing RoboticaSoftware in Human-Robot Interaction

Araiza Illan, D., Pipe, A. G. & Eder, K. I., 19 Apr 2016, In: arXiv. 17 p., 1604.05508.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access

File

99 Downloads (Pure)

On the infeasibility of analysing worst-case dynamic energy

Morse, J. C. M., Kerrison, S. & Eder, K. I., 7 Mar 2016, (Submitted) In: arXiv. 19 p.

Research output: Contribution to journal › Article (Academic Journal)

File

208 Downloads (Pure)

2015

A computational model of human-robot spatial interactions based on a qualitative trajectory calculus

Dondrup, C., Bellotto, N., Hanheide, M., Eder, K. I. & Leonards, U. B., 23 Mar 2015, In: Robotics. 4, p. 63-102

Research output: Contribution to journal › Article (Academic Journal) › peer-review

21 Citations (Scopus)

Data dependent energy modelling: A worst case perspective

Pallister, J., Kerrison, S., Morse, J. & Eder, K., 13 May 2015, In: arXiv.

Research output: Contribution to journal › Article (Academic Journal)

26 Downloads (Pure)

Data dependent energy modelling for worst case energy consumption analysis

Pallister, J., Kerrison, S., Morse, J. & Eder, K., 13 May 2015, In: arXiv.

Research output: Contribution to journal › Article (Academic Journal)

Energy Modelling of Software for a Hardware Multi-threaded Embedded Microprocessor

Kerrison, S. & Eder, K., Apr 2015, In: ACM Transactions on Embedded Computing Systems. 14, 3, 56.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

32 Citations (Scopus)

29 Downloads (Pure)

Modeling and visualizing networked multi-core embedded software energy consumption

Kerrison, S. & Eder, K., 9 Sept 2015, In: arXiv.

Research output: Contribution to journal › Article (Academic Journal)

29 Downloads (Pure)

On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs

Georgiou, K., Kerrison, S. & Eder, K., 27 Oct 2015, (Submitted) In: arXiv.

Research output: Contribution to journal › Article (Academic Journal) › peer-review

2012

Coverage Directed Test Generation Automated by Machine Learning

Ioannides, C. & Eder, K., Jan 2012, In: Transactions on Design Automation of Electronic Systems. 17, p. 7:1 - 7:22

Research output: Contribution to journal › Article (Academic Journal) › peer-review

48 Citations (Scopus)

2010

Using Event-B to construct Instruction Set Architectures

Wright, S. & Eder, K., Jan 2010, In: Formal Aspects of Computing. 23, 1, p. 73-89

Research output: Contribution to journal › Article (Academic Journal) › peer-review

3 Citations (Scopus)

Professor Kerstin I Eder

Research output

Search results