Kerstin Eder

152 papers A* 1A 5B 7C 5Misc 2Journal 94Unranked 35
YearRankTypeTitle / Venue / Authors
2026 J jnl
RIoT Digital Twin: Modeling, Deployment, and Optimization of Reconfigurable IoT System With Optical-Radio Wireless Integration.
IEEE Open J. Commun. Soc.
Alaa Awad Abdellatif, Sérgio Silva, Eduardo Baltazar, Bruno Oliveira, Senhui Qiu, Mohammud Junaid Bocus, Kerstin Eder, Robert J. Piechocki, Nuno T. Almeida, Helder Fontes
2025 J jnl
An Energy-Aware RIoT System: Analysis, Modeling and Prediction in the SUPERIOT Framework.
CoRR
Mohammud Junaid Bocus, Juha Häkkinen, Helder Fontes, Marcin Drzewiecki, Senhui Qiu, Kerstin Eder, Robert J. Piechocki
2025 J jnl
Framework Matters: Energy Efficiency of UI Automation Testing Frameworks.
CoRR
Timmie Lagermann, Kristina Carter, Su Mei Gwen Ho, Luis Cruz, Kerstin Eder, Maja H. Kirkeby
2025 — conf
Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator.
SBFT@ICSE
Anas Shrinah, Kerstin Eder
2025 J jnl
Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator.
CoRR
Anas Shrinah, Kerstin Eder
2025 J jnl
RIoT Digital Twin: Modeling, Deployment, and Optimization of Reconfigurable IoT System with Optical-Radio Wireless Integration.
CoRR
Alaa Awad Abdellatif, Sérgio Silva, Eduardo Baltazar, Bruno Oliveira, Senhui Qiu, Mohammud Junaid Bocus, Kerstin Eder, Robert J. Piechocki, Nuno T. Almeida, Helder Fontes
2025 J jnl
Review of Machine Learning for Micro-Electronic Design Verification.
CoRR
Christopher Bennett, Kerstin Eder
2025 — conf
Toward Personalized Merging Behaviors: Enhancing Automated Vehicle Trust by Adapting to the Driving Style of Surrounding Vehicles.
SII
Akinobu Goto, Kerstin Eder
2025 J jnl
Towards Automated and Predictive Network-Level Energy Profiling in Reconfigurable IoT Systems.
CoRR
Mohammud Junaid Bocus, Senhui Qiu, Robert J. Piechocki, Kerstin Eder
2025 J jnl
Trustworthy Delayed Teleoperation via an Imperfect Regolith Model.
IEEE Robotics Autom. Lett.
Joe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki
2024 J jnl
A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms.
CoRR
Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett, Razanne Abu-Aisheh, Tom Didiot-Cook, Simon Jones, Sabine Hauert, Kerstin Eder
2024 — conf
DIRA: Dynamic Incremental Regularised Adaptation.
CAI
Abanoub Ghobrial, Xuan Zheng, Darryl Hond, Hamid Asgari, Kerstin Eder
2024 — conf
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure.
ITC-Asia
Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder
2024 J jnl
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure.
CoRR
Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder
2024 J jnl
Hasta la vista baby: why we should dispense of "autonomy" in "autonomous systems".
AI Soc.
Helen Smith, Kerstin Eder, Jonathan Ives
2024 J jnl
Impact of Haptic Feedback in High Latency Teleoperation for Space Applications.
ACM Trans. Hum. Robot Interact.
Joe Louca, Kerstin Eder, John Vrublevskis, Antonia Tzemanaki
2024 J jnl
On Specifying for Trustworthiness.
Commun. ACM
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
2024 J jnl
On the Design of Human-Robot Collaboration Gestures.
CoRR
Anas Shrinah, Masoud Sotoodeh-Bahraini, Fahad Khan, Seemal Asif, Niels Lohse, Kerstin Eder
2024 — conf
Soft Gripping: Specifying for Trustworthiness.
RoboSoft
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
2024 — conf
Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario.
SII
Akinobu Goto, Kerstin Eder
2023 — conf
A Trustworthiness Score to Evaluate DNN Predictions.
AITest
Abanoub Ghobrial, Darryl Hond, Hamid Asgari, Kerstin Eder
2023 — conf
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms.
SAFECOMP Workshops
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
2023 J jnl
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms.
CoRR
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder
2023 J jnl
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis.
CoRR
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez
2023 J jnl
Assessing Trustworthiness of Autonomous Systems.
CoRR
Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair, Owen Kerr, Kerstin Eder
2023 J jnl
Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency.
Frontiers Neurorobotics
Joe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki
2023 — conf
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications.
WCET
Simon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder
2023 J jnl
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications.
CoRR
Simon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder
2023 J jnl
Evaluation Metrics for DNNs Compression.
CoRR
Abanoub Ghobrial, Samuel Budgett, Dieter Balemans, Hamid Asgari, Philippe Reiter, Kerstin Eder
2023 J jnl
On Self-Supervised Dynamic Incremental Regularised Adaptation.
CoRR
Abanoub Ghobrial, Kerstin Eder
2023 J jnl
Soft Gripping: Specifying for Trustworthiness.
CoRR
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
2023 A conf
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
DATE
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
2023 J jnl
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
CoRR
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
2023 J jnl
Towards a Measure of Trustworthiness to Evaluate CNNs During Operation.
CoRR
Abanoub Ghobrial, Hamid Asgari, Kerstin Eder
2023 — conf
Trustworthy Swarms.
TAS
James Wilson, Greg Chance, Peter D. Winter, Suet Lee, Emma Milner, Dhaminda B. Abeywickrama, Shane Windsor, John Downer, Kerstin Eder, Jonathan Ives, Sabine Hauert
2023 — conf
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure.
AITest
Xuan Zheng, Kerstin Eder, Tim Blackmore
2023 J jnl
Would you trust a vehicle merging into your lane? Subjective evaluation of negotiating behaviour in a congested merging scenario.
CoRR
Akinobu Goto, Kerstin Eder
2022 — conf
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis.
ICECS 2022
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez
2022 — conf
Hybrid Intelligent Testing in Simulation-Based Verification.
AITest
Nyasha Masamba, Kerstin Eder, Tim Blackmore
2022 J jnl
Hybrid Intelligent Testing in Simulation-Based Verification.
CoRR
Nyasha Masamba, Kerstin Eder, Tim Blackmore
2022 J jnl
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.
CoRR
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder
2022 J jnl
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities.
Comput. J.
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
2022 J jnl
On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification.
IEEE Trans. Intell. Transp. Syst.
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
2022 J jnl
On Specifying for Trustworthiness.
CoRR
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
2022 J jnl
Operational Adaptation of DNN Classifiers using Elastic Weight Consolidation.
CoRR
Abanoub Ghobrial, Xuan Zheng, Darryl Hond, Hamid Asgari, Kerstin Eder
2022 J jnl
Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU.
IEEE Embed. Syst. Lett.
Kris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
2022 — conf
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification.
AITest
Nyasha Masamba, Kerstin Eder, Tim Blackmore
2022 J jnl
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification.
CoRR
Nyasha Masamba, Kerstin Eder, Tim Blackmore
2022 J jnl
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure.
CoRR
Xuan Zheng, Kerstin Eder, Tim Blackmore
2021 J jnl
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor.
CoRR
Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov, Kerstin Eder
2021 J jnl
D-VAL: An automatic functional equivalence validation tool for planning domain models.
CoRR
Anas Shrinah, Derek Long, Kerstin Eder
2021 J jnl
Formalizing and guaranteeing human-robot interaction.
Commun. ACM
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
2021 J jnl
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification.
CoRR
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder
2021 J jnl
Robust and accurate fine-grain power models for embedded systems with no on-chip PMU.
CoRR
Kris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
2021 J jnl
Safety Validation of Autonomous Vehicles using Assertion-based Oracles.
CoRR
Christopher Harper, Greg Chance, Abanoub Ghobrial, Saquib Alam, Tony Pipe, Kerstin Eder
2020 J jnl
A corroborative approach to verification and validation of human-robot teams.
Int. J. Robotics Res.
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2020 — conf
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification.
AITest
Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder
2020 J jnl
CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract).
CoRR
Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou
2020 J jnl
Formalizing and Guaranteeing* Human-Robot Interaction.
CoRR
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
2020 — conf
Goal-constrained planning domain model verification of safety properties.
STAIRS@ECAI
Anas Shrinah, Kerstin Eder
2020 J jnl
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems.
CoRR
Demetrios A. M. Coutinho, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, José L. Núñez-Yáñez, Kerstin Eder, Samuel Xavier de Souza
2020 — conf
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling.
PARMA-DITAM@HiPEAC
José L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
2020 J jnl
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling.
CoRR
José L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
2020 J jnl
When Parallel Speedups Hit the Memory Wall.
IEEE Access
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-de-Souza
2019 J jnl
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification.
CoRR
Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder
2019 J jnl
Lost in translation: Exposing hidden compiler optimization opportunities.
CoRR
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
2019 J jnl
When parallel speedups hit the memory wall.
CoRR
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-de-Souza
2018 J jnl
Energy-Optimal Configurations for Single-Node HPC Applications.
CoRR
Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-de-Souza
2018 C conf
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption.
SCOPES
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder
2018 J jnl
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption.
CoRR
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder
2018 J jnl
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing.
ACM Trans. Embed. Comput. Syst.
Jeremy Morse, Steve Kerrison, Kerstin Eder
2018 J jnl
The IoT Energy Challenge: A Software Perspective.
IEEE Embed. Syst. Lett.
Kyriakos Georgiou, Samuel Xavier-de-Souza, Kerstin Eder
2018 J jnl
Verification of Planning Domain Models - Revisited.
CoRR
Anas Shrinah, Kerstin Eder
2017 — conf
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2.
SAFECOMP Workshops
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
2017 B conf
A fuzzy approach to qualification in design exploration for autonomous robots and systems.
FUZZ-IEEE
Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards
2017 J jnl
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3.
CoRR
Craig Blackmore, Oliver Ray, Kerstin Eder
2017 C conf
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis.
SCOPES
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2017 J jnl
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker.
CoRR
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder
2017 J jnl
Energy Transparency for Deeply Embedded Programs.
ACM Trans. Archit. Code Optim.
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder
2017 — conf
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats.
TAROS
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
2017 J jnl
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats.
CoRR
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
2017 J jnl
The IoT energy challenge: A software perspective.
CoRR
Kyriakos Georgiou, Samuel Xavier-de-Souza, Kerstin Eder
2016 — conf
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems.
MCSoC
Steve Kerrison, David May, Kerstin Eder
2016 J jnl
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems.
CoRR
Steve Kerrison, David May, Kerstin Eder
2016 J jnl
A formal approach to analysing requirements conformance in adaptive systems.
CoRR
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder
2016 J jnl
An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
CoRR
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2016 J jnl
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction.
CoRR
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder
2016 B conf
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction.
RO-MAN
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
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
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
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
2016 J jnl
Energy Transparency for Deeply Embedded Programs.
CoRR
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder
2016 — conf
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions.
MORSE@RoboCup
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
2016 J jnl
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions.
CoRR
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
2016 J jnl
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions.
CoRR
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
2016 J jnl
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents.
CoRR
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
2016 J jnl
On the infeasibility of analysing worst-case dynamic energy.
CoRR
Jeremy Morse, Steve Kerrison, Kerstin Eder
2016 — conf
Preface.
RAC@ETAPS
Marko C. J. D. van Eekelen, Kerstin Eder
2016 — ed.
Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016
RAC@ETAPS
Marko C. J. D. van Eekelen, Kerstin Eder
2016 — conf
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions.
TAROS
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2016 J jnl
Towards the Specification of Adaptive Robotic Systems.
CoRR
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder
2015 J jnl
A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus.
Robotics
Christian Dondrup, Nicola Bellotto, Marc Hanheide, Kerstin Eder, Ute Leonards
2015 J jnl
A logic programming approach to predict effective compiler settings for embedded software.
Theory Pract. Log. Program.
Craig Blackmore, Oliver Ray, Kerstin Eder
2015 J jnl
A software controlled voltage tuning system using multi-purpose ring oscillators.
CoRR
Steve Kerrison, Kerstin Eder
2015 — conf
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices.
SIoT
David McCann, Kerstin Eder, Elisabeth Oswald
2015 J jnl
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices.
IACR Cryptol. ePrint Arch.
David McCann, Kerstin Eder, Elisabeth Oswald
2015 — conf
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.
Haifa Verification Conference
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2015 J jnl
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans.
CoRR
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2015 J jnl
Data dependent energy modelling: A worst case perspective.
CoRR
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2015 J jnl
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor.
ACM Trans. Embed. Comput. Syst.
Steve Kerrison, Kerstin Eder
2015 J jnl
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink.
CoRR
Dejanira Araiza-Illan, Kerstin Eder
2015 — conf
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
FOPARA
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015 J jnl
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
CoRR
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015 B conf
Marimba: A Tool for Verifying Properties of Hidden Markov Models.
ATVA
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth
2015 J jnl
Marimba: A Tool for Verifying Properties of Hidden Markov Models.
CoRR
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth
2015 J jnl
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions.
CoRR
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2015 J jnl
Modeling and visualizing networked multi-core embedded software energy consumption.
CoRR
Steve Kerrison, Kerstin Eder
2015 J jnl
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs.
CoRR
Kyriakos Georgiou, Steve Kerrison, Kerstin Eder
2015 A conf
Optimizing the flash-RAM energy trade-off in deeply embedded systems.
CGO
James Pallister, Kerstin Eder, Simon J. Hollis
2015 C conf
Static analysis of energy consumption for LLVM IR programs.
SCOPES
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2015 J jnl
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms.
CoRR
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
2015 — conf
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms.
TAROS
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
2015 J jnl
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study.
CoRR
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
2015 — conf
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study.
ECC
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
2014 Misc conf
A high-level model of embedded flash energy consumption.
CASES
James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett
2014 J jnl
A high-level model of embedded flash energy consumption.
CoRR
James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett
2014 J jnl
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development.
CoRR
Hayden Field, Glen Anderson, Kerstin Eder
2014 Misc conf
EACOF: a framework for providing energy transparency to enable energy-aware software development.
SAC
Hayden Field, Glen Anderson, Kerstin Eder
2014 J jnl
Formal Verification of Control Systems Properties with Theorem Proving.
CoRR
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
2014 J jnl
Optimizing the flash-RAM energy trade-off in deeply embedded systems.
CoRR
James Pallister, Kerstin Eder, Simon J. Hollis
2014 J jnl
Static energy consumption analysis of LLVM IR programs.
CoRR
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder
2014 J jnl
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers.
CoRR
Kerstin Eder, Chris Harper, Ute Leonards
2014 B conf
Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'.
RO-MAN
Kerstin Eder, Chris Harper, Ute Leonards
2014 A conf
Verification and testing of mobile robot navigation algorithms: A case study in SPARK.
IROS
Piotr Trojanek, Kerstin Eder
2013 C conf
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
LOPSTR
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
2013 — ch.
Experience of Deploying Event-B in Industrial Microprocessor Development.
Industrial Deployment of System Engineering Methods
Stephen Wright, Kerstin Eder
2013 A conf
Joint action understanding improves robot-to-human object handover.
IROS
Elena Corina Grigore, Kerstin Eder, Anthony G. Pipe, Chris Melhuish, Ute Leonards
2012 B conf
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports.
IFM
Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram
2012 J jnl
Coverage-Directed Test Generation Automated by Machine Learning - A Review.
ACM Trans. Design Autom. Electr. Syst.
Charalambos Ioannides, Kerstin Eder
2012 — ed.
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Haifa Verification Conference
Kerstin Eder, João Lourenço, Onn Shehory
2011 — conf
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface.
FORMATS
Suleiman Abu Kharmeh, Kerstin Eder, David May
2011 B conf
Improving XCS performance on overlapping binary problems.
IEEE Congress on Evolutionary Computation
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
2011 — conf
Introducing XCS to Coverage Directed test Generation.
HLDVT
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
2011 C conf
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.
ICFEM
Fangfang Yuan, Stephen Wright, Kerstin Eder, David May
2011 — conf
Towards Safe Human-Robot Interaction.
TAROS
Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Chris Melhuish
2011 J jnl
Using Event-B to construct instruction set architectures.
Formal Aspects Comput.
Stephen Wright, Kerstin Eder
2011 A conf
XCS cannot learn all boolean functions.
GECCO
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
2010 — conf
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation.
Haifa Verification Conference
Charalambos Ioannides, Geoff Barrett, Kerstin Eder
2006 — conf
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming.
HLDVT
Hsiou-Wen Hsueh, Kerstin Eder
2006 B conf
Towards Automating Simulation-Based Design Verification Using ILP.
ILP
Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh
2002 A* conf
Achieving maximum performance: a method for the verification of interlocked pipeline control logic.
DAC
Kerstin Eder, Geoff Barrett
1996 — conf
An Abstract Machine for Reasoning about Situations, Actions, and Causality.
ELP
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
1995 — conf
A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
WLP
Kerstin Eder, Steffen Hölldobler, Michael Thielscher