Kerstin Eder
Orcid: 0000-0001-9746-1409Affiliations:
- University of Bristol, Trustworthy Systems Laboratory, UK
According to our database1,
Kerstin Eder
authored at least 114 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on bris.ac.uk
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs.
IEEE Embed. Syst. Lett., March, 2024
AI Soc., February, 2024
Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2024
2023
Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency.
Frontiers Neurorobotics, June, 2023
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications.
Proceedings of the 21th International Workshop on Worst-Case Execution Time Analysis, 2023
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023
2022
On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification.
IEEE Trans. Intell. Transp. Syst., 2022
Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU.
IEEE Embed. Syst. Lett., 2022
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341).
Dagstuhl Reports, 2022
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.
CoRR, 2022
CoRR, 2022
Comput. J., 2022
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis.
Proceedings of the 29th IEEE International Conference on Electronics, Circuits and Systems, 2022
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022
2021
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021
D-VAL: An automatic functional equivalence validation tool for planning domain models.
CoRR, 2021
2020
Int. J. Robotics Res., 2020
CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract).
CoRR, 2020
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems.
CoRR, 2020
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling.
Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020
Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Dagstuhl Reports, 2019
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019
Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications.
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019
2018
ACM Trans. Embed. Comput. Syst., 2018
Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018
2017
ACM Trans. Archit. Code Optim., 2017
The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems.
CoRR, 2017
CoRR, 2017
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3.
CoRR, 2017
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats.
Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017
Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2.
Proceedings of the Computer Safety, Reliability, and Security, 2017
A fuzzy approach to qualification in design exploration for autonomous robots and systems.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017
2016
CoRR, 2016
CoRR, 2016
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents.
CoRR, 2016
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions.
CoRR, 2016
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions.
Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction.
Proceedings of the 25th IEEE International Symposium on Robot and Human Interactive Communication, 2016
Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016
2015
A logic programming approach to predict effective compiler settings for embedded software.
Theory Pract. Log. Program., 2015
ACM Trans. Embed. Comput. Syst., 2015
A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus.
Robotics, 2015
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices.
IACR Cryptol. ePrint Arch., 2015
CoRR, 2015
CoRR, 2015
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs.
CoRR, 2015
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions.
CoRR, 2015
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink.
CoRR, 2015
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms.
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015
Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights.
Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.
Proceedings of the Hardware and Software: Verification and Testing, 2015
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study.
Proceedings of the 14th European Control Conference, 2015
Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
EACOF: a framework for providing energy transparency to enable energy-aware software development.
Proceedings of the Symposium on Applied Computing, 2014
Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'.
Proceedings of the 23rd IEEE International Symposium on Robot and Human Interactive Communication, 2014
Verification and testing of mobile robot navigation algorithms: A case study in SPARK.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the 2014 International Conference on Compilers, 2014
2013
Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
2012
ACM Trans. Design Autom. Electr. Syst., 2012
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2011
Formal Aspects Comput., 2011
Proceedings of the Towards Autonomous Robotic Systems - 12th Annual Conference, 2011
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
Proceedings of the IEEE Congress on Evolutionary Computation, 2011
2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
2006
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming.
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
2002
Achieving maximum performance: a method for the verification of interlocked pipeline control logic.
Proceedings of the 39th Design Automation Conference, 2002
1998
1996
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996
1995
A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
Proceedings of the 11. Workshop Logische Programmierung, 1995