A Resource-Oriented Deductive Approach Towards Hierarchical Planning. - Kerstin Eder; Steffen Hölldobler; Michael Thielscher (WLP, 1995)

An Abstract Machine for Reasoning about Situations, Actions, and Causality. - Kerstin Eder; Steffen Hölldobler; Michael Thielscher (ELP, 1996)

EMA : implementing the rewriting computational model of Escher. - Kerstin I. Eder (1998)

Achieving maximum performance: a method for the verification of interlocked pipeline control logic. - Kerstin Eder; Geoff Barrett (DAC, 2002)

Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming. - Hsiou-Wen Hsueh; Kerstin Eder (HLDVT, 2006)

Towards Automating Simulation-Based Design Verification Using ILP. - Kerstin Eder; Peter A. Flach; Hsiou-Wen Hsueh (ILP, 2006)

Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (Haifa Verification Conference, 2010)

Improving XCS performance on overlapping binary problems. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (IEEE Congress on Evolutionary Computation, 2011)

Using Models at Runtime to Address Assurance for Self-Adaptive Systems. - Betty H. C. Cheng; Kerstin I. Eder; Martin Gogolla; Lars Grunske; Marin Litoiu; Hausi A. Müller; Patrizio Pelliccione; Anna Perini; Nauman A. Qureshi; Bernhard Rumpe; Daniel Schneider 001; Frank Trollmann; et al. (Models@run.time@Dagstuhl, 2011)

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. - Suleiman Abu Kharmeh; Kerstin Eder; David May 001 (FORMATS, 2011)

XCS cannot learn all boolean functions. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (GECCO, 2011)

Introducing XCS to Coverage Directed test Generation. - Charalambos Ioannides; Geoff Barrett; Kerstin Eder (HLDVT, 2011)

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. - Fangfang Yuan; Stephen Wright; Kerstin Eder; David May 001 (ICFEM, 2011)

Towards Safe Human-Robot Interaction. - Elena Corina Grigore; Kerstin Eder; Alexander Lenz; Sergey Skachek; Anthony G. Pipe; Chris Melhuish (TAROS, 2011)

Using Event-B to construct instruction set architectures. - Stephen Wright; Kerstin Eder (Formal Aspects Comput., 2011)

Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. - Tim Blackmore; David Halliwell; Philip Barker; Kerstin Eder; Naresh Ramaram (IFM, 2012)

Coverage-Directed Test Generation Automated by Machine Learning - A Review. - Charalambos Ioannides; Kerstin Eder (ACM Trans. Design Autom. Electr. Syst., 2012)

Experience of Deploying Event-B in Industrial Microprocessor Development. - Stephen Wright; Kerstin Eder (Industrial Deployment of System Engineering Methods, 2013)

Joint action understanding improves robot-to-human object handover. - Elena Corina Grigore; Kerstin Eder; Anthony G. Pipe; Chris Melhuish; Ute Leonards (IROS, 2013)

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. - Umer Liqat; Steve Kerrison; Alejandro Serrano 001; Kyriakos Georgiou; Pedro López-García 001; Neville Grech; Manuel V. Hermenegildo; Kerstin Eder (LOPSTR, 2013)

Modified Condition Decision Coverage: A Hardware Verification Perspective. - Mohamed A. Salem; Kerstin I. Eder (MTV, 2013)

A high-level model of embedded flash energy consumption. - James Pallister; Kerstin Eder; Simon J. Hollis; Jeremy Bennett (CASES, 2014)

Verification and testing of mobile robot navigation algorithms: A case study in SPARK. - Piotr Trojanek; Kerstin Eder (IROS, 2014)

Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'. - Kerstin Eder; Chris Harper; Ute Leonards (RO-MAN, 2014)

EACOF: a framework for providing energy transparency to enable energy-aware software development. - Hayden Field; Glen Anderson; Kerstin Eder (SAC, 2014)

Formal Verification of Control Systems Properties with Theorem Proving. - Dejanira Araiza-Illan; Kerstin Eder; Arthur Richards (CoRR, 2014)

Static energy consumption analysis of LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Kerstin Eder (CoRR, 2014)

Marimba: A Tool for Verifying Properties of Hidden Markov Models. - Noé Hernández; Kerstin Eder; Evgeni Magid; Jesús Savage; David A. Rosenblueth (ATVA, 2015)

Optimizing the flash-RAM energy trade-off in deeply embedded systems. - James Pallister; Kerstin Eder; Simon J. Hollis (CGO, 2015)

Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. - Dejanira Araiza-Illan; Kerstin Eder; Arthur Richards (ECC, 2015)

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. - Umer Liqat; Kyriakos Georgiou; Steve Kerrison; Pedro López-García 001; John P. Gallagher; Manuel V. Hermenegildo; Kerstin Eder (FOPARA, 2015)

Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (Haifa Verification Conference, 2015)

Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights. - Mohamed A. Salem; Kerstin I. Eder (MTV, 2015)

Static analysis of energy consumption for LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (SCOPES, 2015)

Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. - Laura R. Antuña; Dejanira Araiza-Illan; Sérgio Campos; Kerstin Eder (TAROS, 2015)

Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. - Dejanira Araiza-Illan; Kerstin Eder (CoRR, 2015)

Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (CoRR, 2015)

On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. - Kyriakos Georgiou; Steve Kerrison; Kerstin Eder (CoRR, 2015)

A software controlled voltage tuning system using multi-purpose ring oscillators. - Steve Kerrison; Kerstin Eder (CoRR, 2015)

Modeling and visualizing networked multi-core embedded software energy consumption. - Steve Kerrison; Kerstin Eder (CoRR, 2015)

Data dependent energy modelling: A worst case perspective. - James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (CoRR, 2015)

Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. - David McCann; Kerstin Eder; Elisabeth Oswald (IACR Cryptol. ePrint Arch., 2015)

A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus. - Christian Dondrup; Nicola Bellotto; Marc Hanheide; Kerstin Eder; Ute Leonards (Robotics, 2015)

Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. - Steve Kerrison; Kerstin Eder (ACM Trans. Embed. Comput. Syst., 2015)

A logic programming approach to predict effective compiler settings for embedded software. - Craig Blackmore; Oliver Ray; Kerstin Eder (Theory Pract. Log. Program., 2015)

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. - Steve Kerrison; David May 001; Kerstin Eder (MCSoC, 2016)

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 (RO-MAN, 2016)

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. - Dejanira Araiza-Illan; Anthony G. Pipe; Kerstin Eder (MORSE@RoboCup, 2016)

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (TAROS, 2016)

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. - Dejanira Araiza-Illan; Tony Pipe; Kerstin Eder (CoRR, 2016)

Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. - Dejanira Araiza-Illan; Anthony G. Pipe; Kerstin Eder (CoRR, 2016)

Towards the Specification of Adaptive Robotic Systems. - Jeremy Morse; Dejanira Araiza-Illan; Jonathan Lawry; Kerstin Eder (CoRR, 2016)

A formal approach to analysing requirements conformance in adaptive systems. - Jeremy Morse; Dejanira Araiza-Illan; Jonathan Lawry; Arthur Richards; Kerstin Eder (CoRR, 2016)

On the infeasibility of analysing worst-case dynamic energy. - Jeremy Morse; Steve Kerrison; Kerstin Eder (CoRR, 2016)

An Assurance-based Approach to Verification and Validation of Human-Robot Teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (CoRR, 2016)

Preface. - Marko C. J. D. van Eekelen; Kerstin Eder (RAC@ETAPS, 2016)

ENTRA: Whole-systems energy transparency. - Kerstin Eder; John P. Gallagher; Pedro López-García 001; Henk L. Muller; Zorana Bankovic; Kyriakos Georgiou; Rémy Haemmerlé; Manuel V. Hermenegildo; Bishoksan Kafle; Steve Kerrison; Maja H. Kirkeby; Maximiliano Klemen; et al. (Microprocess. Microsystems, 2016)

A fuzzy approach to qualification in design exploration for autonomous robots and systems. - Jeremy Morse; Dejanira Araiza-Illan; Kerstin Eder; Jonathan Lawry; Arthur Richards (FUZZ-IEEE, 2017)

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. - Haris Isakovic; Radu Grosu; Denise Ratasich; Jiri Kadlec; Zdenek Pohl; Steve Kerrison; Kyriakos Georgiou; Kerstin Eder; Norbert Druml; Lillian Tadros; Flemming Christensen; Emilie Wheatley; et al. (SAFECOMP Workshops, 2017)

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. - James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (SCOPES, 2017)

Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. - Sing-Kai Chiu; Dejanira Araiza-Illan; Kerstin Eder (TAROS, 2017)

Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. - Craig Blackmore; Oliver Ray; Kerstin Eder (CoRR, 2017)

Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. - Satragni Sarkar; Dejanira Araiza-Illan; Kerstin Eder (CoRR, 2017)

The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems. - Samuel Xavier de Souza; Eduardo André Neves; Alex F. A. Furtunato; Luiz Felipe Q. Silveira; Kyriakos Georgiou; Kerstin I. Eder (CoRR, 2017)

Energy Transparency for Deeply Embedded Programs. - Kyriakos Georgiou; Steve Kerrison; Zbigniew Chamski; Kerstin Eder (ACM Trans. Archit. Code Optim., 2017)

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 (SCOPES, 2018)

Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores. - Victor H. F. Oliveira; Alex F. A. Furtunato; Luiz Felipe Q. Silveira; Kyriakos Georgiou; Kerstin I. Eder; Samuel Xavier de Souza (ICPE Companion, 2018)

Energy-Optimal Configurations for Single-Node HPC Applications. - Vitor R. G. Silva; Alex F. A. Furtunato; Kyriakos Georgiou; Kerstin Eder; Samuel Xavier de Souza (CoRR, 2018)

Verification of Planning Domain Models - Revisited. - Anas Shrinah; Kerstin Eder (CoRR, 2018)

The IoT Energy Challenge: A Software Perspective. - Kyriakos Georgiou; Samuel Xavier de Souza; Kerstin Eder (IEEE Embed. Syst. Lett., 2018)

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. - Jeremy Morse; Steve Kerrison; Kerstin Eder (ACM Trans. Embed. Comput. Syst., 2018)

Energy-Optimal Configurations for Single-Node HPC Applications. - Vitor R. G. Silva; Alex F. A. Furtunato; Kyriakos Georgiou; Carlos Alberto Valderrama Sakuyama; Kerstin I. Eder; Samuel Xavier de Souza (HPCS, 2019)

Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications. - Demetrios A. M. Coutinho; Kyriakos Georgiou; Kerstin I. Eder; José L. Núñez-Yáñez; Samuel Xavier de Souza (VLSI-SoC, 2019)

Exploiting guard band limits for energy gains in MPSoCs. - Diego V. Cirilo do Nascimento; Kyriakos Georgiou; Kerstin I. Eder; Samuel Xavier de Souza (VLSI-SoC, 2019)

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). - Rachid Alami 001; Kerstin I. Eder; Guy Hoffman; Hadas Kress-Gazit (Dagstuhl Reports, 2019)

An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification. - Greg Chance; Abanoub Ghobrial; Séverin Lemaignan; Tony Pipe; Kerstin Eder (AITest, 2020)

Goal-constrained planning domain model verification of safety properties. - Anas Shrinah; Kerstin Eder (STAIRS@ECAI, 2020)

Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling. - José L. Núñez-Yáñez; Kris Nikov; Kerstin Eder; Mohammad Hosseinabady (PARMA-DITAM@HiPEAC, 2020)

When Parallel Speedups Hit the Memory Wall. - Alex F. A. Furtunato; Kyriakos Georgiou; Kerstin Eder; Samuel Xavier de Souza (IEEE Access, 2020)

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems. - Demetrios A. M. Coutinho; Daniele De Sensi; Arthur Francisco Lorenzon; Kyriakos Georgiou; José L. Núñez-Yáñez; Kerstin Eder; Samuel Xavier de Souza (CoRR, 2020)

CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract). - Carsten Maple; Peter Davies; Kerstin Eder; Chris Hankin; Greg Chance; Gregory Epiphaniou (CoRR, 2020)

A corroborative approach to verification and validation of human-robot teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (Int. J. Robotics Res., 2020)

Formalizing and guaranteeing human-robot interaction. - Hadas Kress-Gazit; Kerstin Eder; Guy Hoffman; Henny Admoni; Brenna Argall; Rüdiger Ehlers; Christoffer Heckman; Nils Jansen 001; Ross A. Knepper; Jan Kretínský; Shelly Levy-Tzedek; Jamy Li; et al. (Commun. ACM, 2021)

A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor. - Kyriakos Georgiou; Zbigniew Chamski; Kris Nikov; Kerstin Eder (CoRR, 2021)

D-VAL: An automatic functional equivalence validation tool for planning domain models. - Anas Shrinah; Derek Long; Kerstin Eder (CoRR, 2021)

Complete Agent-driven Model-based System Testing for Autonomous Systems. - Kerstin I. Eder; Wen-ling Huang; Jan Peleska 001 (FMAS, 2021)

Safety Validation of Autonomous Vehicles using Assertion-based Oracles. - Christopher Harper; Greg Chance; Abanoub Ghobrial; Saquib Alam; Tony Pipe; Kerstin Eder (CoRR, 2021)

Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. - Nyasha Masamba; Kerstin Eder; Tim Blackmore (AITest, 2022)

Hybrid Intelligent Testing in Simulation-Based Verification. - Nyasha Masamba; Kerstin Eder; Tim Blackmore (AITest, 2022)

Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. - Kris Nikov; Kyriakos Georgiou; Zbigniew Chamski; Kerstin Eder; José L. Núñez-Yáñez (ICECS 2022, 2022)

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. - Kyriakos Georgiou; Zbigniew Chamski; Andrés Amaya García; David May 001; Kerstin Eder (Comput. J., 2022)

Operational Adaptation of DNN Classifiers using Elastic Weight Consolidation. - Abanoub Ghobrial; Xuan Zheng; Darryl Hond; Hamid Asgari; Kerstin Eder (CoRR, 2022)

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. - Maike Schwammberger; Christopher Harper; Gleifer Vaz Alves; Greg Chance; Tony Pipe; Kerstin Eder (CoRR, 2022)

Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341). - Kerstin I. Eder; Timo Hönig; Daniel Mossé; Max Plauth; Maja Hanne Kirkeby (Dagstuhl Reports, 2022)

Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU. - Kris Nikov; Marcos Martínez; Simon Wegener; José L. Núñez-Yáñez; Zbigniew Chamski; Kyriakos Georgiou; Kerstin Eder (IEEE Embed. Syst. Lett., 2022)

On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification. - Greg Chance; Abanoub Ghobrial; Kevin McAreavey; Séverin Lemaignan; Tony Pipe; Kerstin Eder (IEEE Trans. Intell. Transp. Syst., 2022)

GR712RC LEON3 Power Model Data. - Kris Nikov; Marcos Martínez; Pedro Vallejo; Abel Balbis; José L. Núñez-Yáñez; Kerstin Eder (IEEE DataPort, 2022)

A Trustworthiness Score to Evaluate DNN Predictions. - Abanoub Ghobrial; Darryl Hond; Hamid Asgari; Kerstin Eder (AITest, 2023)

Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. - Xuan Zheng; Kerstin Eder; Tim Blackmore (AITest, 2023)

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. - Benjamin Rouxel; Christopher Brown 002; Emad Ebeid; Kerstin Eder; Heiko Falk; Clemens Grelck; Jesper Holst; Shashank Jadhav; Yoann Marquer; Marcos Martinez de Alejandro; Kris Nikov; Ali Sahafi; et al. (DATE, 2023)

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. - Dhaminda B. Abeywickrama; James Wilson; Suet Lee; Greg Chance; Peter D. Winter; Arianna Manzini; Ibrahim Habli; Shane Windsor; Sabine Hauert; Kerstin Eder (SAFECOMP Workshops, 2023)

Trustworthy Swarms. - James Wilson; Greg Chance; Peter D. Winter; Suet Lee; Emma Milner; Dhaminda B. Abeywickrama; Shane Windsor; John Downer; Kerstin Eder; Jonathan Ives; Sabine Hauert (TAS, 2023)

EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications. - Simon Wegener; Kris K. Nikov; José L. Núñez-Yáñez; Kerstin Eder (WCET, 2023)

Towards a Measure of Trustworthiness to Evaluate CNNs During Operation. - Abanoub Ghobrial; Hamid Asgari; Kerstin Eder (CoRR, 2023)

Assessing Trustworthiness of Autonomous Systems. - Gregory Chance; Dhaminda B. Abeywickrama; Beckett LeClair; Owen Kerr; Kerstin Eder (CoRR, 2023)

Evaluation Metrics for DNNs Compression. - Abanoub Ghobrial; Samuel Budgett; Dieter Balemans; Hamid Asgari; Philippe Reiter; Kerstin Eder (CoRR, 2023)

On Self-Supervised Dynamic Incremental Regularised Adaptation. - Abanoub Ghobrial; Kerstin Eder (CoRR, 2023)

Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency. - Joe Louca; John Vrublevskis; Kerstin Eder; Antonia Tzemanaki (Frontiers Neurorobotics, 2023)

Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure. - Xuan Zheng; Tim Blackmore; James Buckingham; Kerstin Eder (ITC-Asia, 2024)

Soft Gripping: Specifying for Trustworthiness. - 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 (RoboSoft, 2024)

Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario. - Akinobu Goto; Kerstin Eder (SII, 2024)

On the Design of Human-Robot Collaboration Gestures. - Anas Shrinah; Masoud S. Bahraini; Fahad Khan; Seemal Asif; Niels Lohse; Kerstin Eder (CoRR, 2024)

A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms. - Dhaminda B. Abeywickrama; Suet Lee; Chris Bennett; Razanne Abu-Aisheh; Tom Didiot-Cook; Simon Jones; Sabine Hauert; Kerstin Eder (CoRR, 2024)

Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 24351). - Kerstin I. Eder; Timo Hönig; Maja Hanne Kirkeby; Daniel Mossé; Max Plauth; Jonas Juffinger (Dagstuhl Reports, 2024)

On Specifying for Trustworthiness. - Dhaminda B. Abeywickrama; Amel Bennaceur; Greg Chance; Yiannis Demiris; Anastasia Kordoni; Mark Levine; Luke Moffat; Luc Moreau 001; Mohammad Reza Mousavi 001; Bashar Nuseibeh; Subramanian Ramamoorthy; Jan Oliver Ringert; et al. (Commun. ACM, 2024)

Hasta la vista baby: why we should dispense of "autonomy" in "autonomous systems". - Helen Smith; Kerstin Eder; Jonathan Ives (AI Soc., 2024)

Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs. - Diego V. Cirilo do Nascimento; Kyriakos Georgiou; Kerstin I. Eder; Samuel Xavier de Souza (IEEE Embed. Syst. Lett., 2024)

Impact of Haptic Feedback in High Latency Teleoperation for Space Applications. - Joe Louca; Kerstin Eder; John Vrublevskis; Antonia Tzemanaki (ACM Trans. Hum. Robot Interact., 2024)

Toward Personalized Merging Behaviors: Enhancing Automated Vehicle Trust by Adapting to the Driving Style of Surrounding Vehicles. - Akinobu Goto; Kerstin Eder (SII, 2025)

An Energy-Aware RIoT System: Analysis, Modeling and Prediction in the SUPERIOT Framework. - Mohammud Junaid Bocus; Juha Hakkinen; Helder Fontes; Marcin Drzewiecki; Senhui Qiu; Kerstin Eder; Robert J. Piechocki (CoRR, 2025)

Review of Machine Learning for Micro-Electronic Design Verification. - Christopher Bennett; Kerstin Eder (CoRR, 2025)

Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator. - Anas Shrinah; Kerstin Eder (CoRR, 2025)

Trustworthy Delayed Teleoperation via an Imperfect Regolith Model. - Joe Louca; John Vrublevskis; Kerstin Eder; Antonia Tzemanaki (IEEE Robotics Autom. Lett., 2025)