Kerstin Eder

According to our database1, Kerstin Eder authored at least 88 papers between 1995 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



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

D-VAL: An automatic functional equivalence validation tool for planning domain models.
CoRR, 2021

On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification.
CoRR, 2021

A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor.
CoRR, 2021

Formalizing and guaranteeing human-robot interaction.
Commun. ACM, 2021

A corroborative approach to verification and validation of human-robot teams.
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

When Parallel Speedups Hit the Memory Wall.
IEEE Access, 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

Goal-constrained planning domain model verification of safety properties.
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

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081).
Dagstuhl Reports, 2019

Lost in translation: Exposing hidden compiler optimization opportunities.
CoRR, 2019

Exploiting guard band limits for energy gains in MPSoCs.
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

Energy-Optimal Configurations for Single-Node HPC Applications.
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing.
ACM Trans. Embed. Comput. Syst., 2018

The IoT Energy Challenge: A Software Perspective.
IEEE Embed. Syst. Lett., 2018

Verification of Planning Domain Models - Revisited.
CoRR, 2018

Energy-Optimal Configurations for Single-Node HPC Applications.
CoRR, 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

Energy Transparency for Deeply Embedded Programs.
ACM Trans. Archit. Code Optim., 2017

The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems.
CoRR, 2017

Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker.
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

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis.
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

ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems, 2016

Electron. Notes Theor. Comput. Sci., 2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
CoRR, 2016

On the infeasibility of analysing worst-case dynamic energy.
CoRR, 2016

A formal approach to analysing requirements conformance in adaptive systems.
CoRR, 2016

Towards the Specification of Adaptive Robotic Systems.
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

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems.
Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

A logic programming approach to predict effective compiler settings for embedded software.
Theory Pract. Log. Program., 2015

Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor.
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

Data dependent energy modelling: A worst case perspective.
CoRR, 2015

Modeling and visualizing networked multi-core embedded software energy consumption.
CoRR, 2015

A software controlled voltage tuning system using multi-purpose ring oscillators.
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

Static analysis of energy consumption for LLVM IR programs.
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

Optimizing the flash-RAM energy trade-off in deeply embedded systems.
Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

Marimba: A Tool for Verifying Properties of Hidden Markov Models.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Static energy consumption analysis of LLVM IR programs.
CoRR, 2014

Formal Verification of Control Systems Properties with Theorem Proving.
CoRR, 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

A high-level model of embedded flash energy consumption.
Proceedings of the 2014 International Conference on Compilers, 2014

Modified Condition Decision Coverage: A Hardware Verification Perspective.
Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Joint action understanding improves robot-to-human object handover.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Experience of Deploying Event-B in Industrial Microprocessor Development.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

Coverage-Directed Test Generation Automated by Machine Learning - A Review.
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

Using Event-B to construct instruction set architectures.
Formal Aspects Comput., 2011

Towards Safe Human-Robot Interaction.
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

Introducing XCS to Coverage Directed test Generation.
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

XCS cannot learn all boolean functions.
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

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Improving XCS performance on overlapping binary problems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation.
Proceedings of the Hardware and Software: Verification and Testing, 2010

Towards Automating Simulation-Based Design Verification Using ILP.
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

Achieving maximum performance: a method for the verification of interlocked pipeline control logic.
Proceedings of the 39th Design Automation Conference, 2002

EMA : implementing the rewriting computational model of Escher.
PhD thesis, 1998

An Abstract Machine for Reasoning about Situations, Actions, and Causality.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
Proceedings of the 11. Workshop Logische Programmierung, 1995