Kerstin Eder

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 87

Top Venues

Publications

Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance, Peter D. Winter, Arianna Manzini, Alix J. Partridge, Jonathan Ives, John Downer, Graham Deacon, Jonathan Rossiter, Kerstin Eder, Shane Windsor
Soft Gripping: Specifying for Trustworthiness. RoboSoft (2024)
Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett, Razanne Abu-Aisheh, Tom Didiot-Cook, Simon Jones, Sabine Hauert, Kerstin Eder
A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms. CoRR (2024)
Joe Louca, Kerstin Eder, John Vrublevskis, Antonia Tzemanaki
Impact of Haptic Feedback in High Latency Teleoperation for Space Applications. ACM Trans. Hum. Robot Interact. 13 (2) (2024)
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder
On Specifying for Trustworthiness. Commun. ACM 67 (1) (2024)
Helen Smith, Kerstin Eder, Jonathan Ives
Hasta la vista baby: why we should dispense of "autonomy" in "autonomous systems". AI Soc. 39 (1) (2024)
Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure. CoRR (2024)
Anas Shrinah, Masoud S. Bahraini, Fahad Khan, Seemal Asif, Niels Lohse, Kerstin Eder
On the Design of Human-Robot Collaboration Gestures. CoRR (2024)
Akinobu Goto, Kerstin Eder
Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario. SII (2024)
Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair, Owen Kerr, Kerstin Eder
Assessing Trustworthiness of Autonomous Systems. CoRR (2023)
Akinobu Goto, Kerstin Eder
Would you trust a vehicle merging into your lane? Subjective evaluation of negotiating behaviour in a congested merging scenario. CoRR (2023)
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. CoRR (2023)
Abanoub Ghobrial, Kerstin Eder
On Self-Supervised Dynamic Incremental Regularised Adaptation. CoRR (2023)
Simon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications. CoRR (2023)
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. CoRR (2023)
Abanoub Ghobrial, Dieter Balemans, Hamid Asgari, Philippe Reiter, Kerstin Eder
Evaluation Metrics for CNNs Compression. CoRR (2023)
Abanoub Ghobrial, Darryl Hond, Hamid Asgari, Kerstin Eder
A Trustworthiness Score to Evaluate DNN Predictions. AITest (2023)
Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, Yoann Marquer, Marcos Martinez de Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. CoRR (2023)
Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, Yoann Marquer, Marcos Martinez de Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. DATE (2023)
Joe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki
Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency. Frontiers Neurorobotics 17 (2023)
James Wilson, Greg Chance, Peter D. Winter, Suet Lee, Emma Milner, Dhaminda B. Abeywickrama, Shane Windsor, John Downer, Kerstin Eder, Jonathan Ives, Sabine Hauert
Trustworthy Swarms. TAS (2023)
Xuan Zheng, Kerstin Eder, Tim Blackmore
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. AITest (2023)
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. SAFECOMP Workshops (2023)
Abanoub Ghobrial, Hamid Asgari, Kerstin Eder
Towards a Measure of Trustworthiness to Evaluate CNNs During Operation. CoRR (2023)
Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance, Peter D. Winter, Arianna Manzini, Alix J. Partridge, Jonathan Ives, John Downer, Graham Deacon, Jonathan Rossiter, Kerstin Eder, Shane Windsor
Soft Gripping: Specifying for Trustworthiness. CoRR (2023)
Simon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications. WCET (2023)
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. Comput. J. 65 (3) (2022)
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification. IEEE Trans. Intell. Transp. Syst. 23 (11) (2022)
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. CoRR (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. AITest (2022)
Xuan Zheng, Kerstin Eder, Tim Blackmore
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. CoRR (2022)
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. ICECS 2022 (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. CoRR (2022)
Abanoub Ghobrial, Xuan Zheng, Darryl Hond, Hamid Asgari, Kerstin Eder
Operational Adaptation of DNN Classifiers using Elastic Weight Consolidation. CoRR (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Hybrid Intelligent Testing in Simulation-Based Verification. AITest (2022)
Kris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU. IEEE Embed. Syst. Lett. 14 (3) (2022)
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder
On Specifying for Trustworthiness. CoRR (2022)
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Hybrid Intelligent Testing in Simulation-Based Verification. CoRR (2022)
Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov, Kerstin Eder
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor. CoRR (2021)
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64 (9) (2021)
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification. CoRR (2021)
Kris Nikov, Marcos Martinez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Robust and accurate fine-grain power models for embedded systems with no on-chip PMU. CoRR (2021)
Christopher Harper, Greg Chance, Abanoub Ghobrial, Saquib Alam, Tony Pipe, Kerstin Eder
Safety Validation of Autonomous Vehicles using Assertion-based Oracles. CoRR (2021)
Anas Shrinah, Derek Long, Kerstin Eder
D-VAL: An automatic functional equivalence validation tool for planning domain models. CoRR (2021)
Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou
CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract). CoRR (2020)
José L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling. PARMA-DITAM@HiPEAC (2020)
Demetrios A. M. Coutinho, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, José L. Núñez-Yáñez, Kerstin Eder, Samuel Xavier de Souza
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems. CoRR (2020)
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza
When Parallel Speedups Hit the Memory Wall. IEEE Access 8 (2020)
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR (2020)
José L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling. CoRR (2020)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39 (1) (2020)
Anas Shrinah, Kerstin Eder
Goal-constrained planning domain model verification of safety properties. STAIRS@ECAI (2020)
Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification. AITest (2020)
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
Lost in translation: Exposing hidden compiler optimization opportunities. CoRR (2019)
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza
When parallel speedups hit the memory wall. CoRR (2019)
Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification. CoRR (2019)
Jeremy Morse, Steve Kerrison, Kerstin Eder
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. ACM Trans. Embed. Comput. Syst. 17 (3) (2018)
Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder
The IoT Energy Challenge: A Software Perspective. IEEE Embed. Syst. Lett. 10 (3) (2018)
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. SCOPES (2018)
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. CoRR (2018)
Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza
Energy-Optimal Configurations for Single-Node HPC Applications. CoRR (2018)
Anas Shrinah, Kerstin Eder
Verification of Planning Domain Models - Revisited. CoRR (2018)
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. CoRR (2017)
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder
Energy Transparency for Deeply Embedded Programs. ACM Trans. Archit. Code Optim. 14 (1) (2017)
Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards
A fuzzy approach to qualification in design exploration for autonomous robots and systems. FUZZ-IEEE (2017)
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats. CoRR (2017)
Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley, Bastian Farkas, Rolf Meyer, Mladen Berekovic
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. SAFECOMP Workshops (2017)
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. TAROS (2017)
Craig Blackmore, Oliver Ray, Kerstin Eder
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. CoRR (2017)
Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder
The IoT energy challenge: A software perspective. CoRR (2017)
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. SCOPES (2017)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder
Towards the Specification of Adaptive Robotic Systems. CoRR (2016)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR (2016)
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. CoRR (2016)
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. CoRR (2016)
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction. RO-MAN (2016)
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. MORSE@RoboCup (2016)
Marko C. J. D. van Eekelen, Kerstin Eder
Preface. Electron. Notes Theor. Comput. Sci. 330 (2016)
Jeremy Morse, Steve Kerrison, Kerstin Eder
On the infeasibility of analysing worst-case dynamic energy. CoRR (2016)
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder
A formal approach to analysing requirements conformance in adaptive systems. CoRR (2016)
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. CoRR (2016)
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder
Energy Transparency for Deeply Embedded Programs. CoRR (2016)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. TAROS (2016)
Steve Kerrison, David May, Kerstin Eder
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. MCSoC (2016)
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction. CoRR (2016)
Steve Kerrison, David May, Kerstin Eder
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. CoRR (2016)
Craig Blackmore, Oliver Ray, Kerstin Eder
A logic programming approach to predict effective compiler settings for embedded software. Theory Pract. Log. Program. 15 (4-5) (2015)
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth
Marimba: A Tool for Verifying Properties of Hidden Markov Models. CoRR (2015)
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. CoRR (2015)
Steve Kerrison, Kerstin Eder
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. ACM Trans. Embed. Comput. Syst. 14 (3) (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Haifa Verification Conference (2015)
Steve Kerrison, Kerstin Eder
A software controlled voltage tuning system using multi-purpose ring oscillators. CoRR (2015)
David McCann, Kerstin Eder, Elisabeth Oswald
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. IACR Cryptol. ePrint Arch. 2015 (2015)
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Static analysis of energy consumption for LLVM IR programs. SCOPES (2015)
Steve Kerrison, Kerstin Eder
Modeling and visualizing networked multi-core embedded software energy consumption. CoRR (2015)
David McCann, Kerstin Eder, Elisabeth Oswald
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. SIoT (2015)
James Pallister, Kerstin Eder, Simon J. Hollis
Optimizing the flash-RAM energy trade-off in deeply embedded systems. CGO (2015)

Kerstin Eder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kerstin Eder