default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKerstin Eder
Kerstin I. Eder
Person information
- affiliation: University of Bristol, Trustworthy Systems Laboratory, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j20]Helen Smith
, Kerstin Eder, Jonathan Ives:
Hasta la vista baby: why we should dispense of "autonomy" in "autonomous systems". AI Soc. 39(1): 395-396 (2024)- [j19]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): 98-109 (2024) - [j18]Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza:
Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs. IEEE Embed. Syst. Lett. 16(1): 25-28 (2024) - [j17]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): 16:1-16:21 (2024) - [c60]Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder:
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure. ITC-Asia 2024: 1-6 - [c59]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: 565-571 - [c58]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: 1045-1051 - [i71]Anas Shrinah, Masoud S. Bahraini, Fahad Khan, Seemal Asif, Niels Lohse, Kerstin Eder:
On the Design of Human-Robot Collaboration Gestures. CoRR abs/2402.19058 (2024) - [i70]Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder:
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure. CoRR abs/2407.02510 (2024) - [i69]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 abs/2407.15475 (2024) - 2023
- [j16]Joe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki:
Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency. Frontiers Neurorobotics 17 (2023) - [c57]Abanoub Ghobrial, Darryl Hond, Hamid Asgari, Kerstin Eder:
A Trustworthiness Score to Evaluate DNN Predictions. AITest 2023: 9-16 - [c56]Xuan Zheng, Kerstin Eder, Tim Blackmore:
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. AITest 2023: 114-121 - [c55]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: 1-6 - [c54]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: 341-354 - [c53]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: 10:1-10:11 - [c52]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: 9:1-9:14 - [i68]Abanoub Ghobrial, Hamid Asgari, Kerstin Eder:
Towards a Measure of Trustworthiness to Evaluate CNNs During Operation. CoRR abs/2301.08839 (2023) - [i67]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 abs/2301.12806 (2023) - [i66]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 abs/2302.10292 (2023) - [i65]Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair, Owen Kerr, Kerstin Eder:
Assessing Trustworthiness of Autonomous Systems. CoRR abs/2305.03411 (2023) - [i64]Abanoub Ghobrial, Samuel Budgett, Dieter Balemans, Hamid Asgari, Philippe Reiter, Kerstin Eder:
Evaluation Metrics for DNNs Compression. CoRR abs/2305.10616 (2023) - [i63]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 abs/2305.14968 (2023) - [i62]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 abs/2306.06115 (2023) - [i61]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 abs/2307.01159 (2023) - [i60]Akinobu Goto, Kerstin Eder:
Would you trust a vehicle merging into your lane? Subjective evaluation of negotiating behaviour in a congested merging scenario. CoRR abs/2310.08361 (2023) - [i59]Abanoub Ghobrial, Kerstin Eder:
On Self-Supervised Dynamic Incremental Regularised Adaptation. CoRR abs/2311.07461 (2023) - 2022
- [j15]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): 718-735 (2022) - [j14]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): 147-150 (2022) - [j13]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): 20538-20552 (2022) - [c51]Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. AITest 2022: 19-25 - [c50]Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Hybrid Intelligent Testing in Simulation-Based Verification. AITest 2022: 26-33 - [c49]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: 1-4 - [d1]Kris Nikov, Marcos Martínez, Pedro Vallejo, Abel Balbis, José L. Núñez-Yáñez, Kerstin Eder:
GR712RC LEON3 Power Model Data. IEEE DataPort, 2022
- [i58]Abanoub Ghobrial, Xuan Zheng, Darryl Hond, Hamid Asgari, Kerstin Eder:
Operational Adaptation of DNN Classifiers using Elastic Weight Consolidation. CoRR abs/2205.00147 (2022) - [i57]Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. CoRR abs/2205.08524 (2022) - [i56]Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Hybrid Intelligent Testing in Simulation-Based Verification. CoRR abs/2205.09552 (2022) - [i55]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 abs/2206.11421 (2022) - [i54]Xuan Zheng, Kerstin Eder, Tim Blackmore:
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. CoRR abs/2207.00445 (2022) - [i53]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 abs/2208.05273 (2022) - [i52]Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza:
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs. CoRR abs/2209.12134 (2022) - [i51]Kerstin I. Eder, Timo Hönig, Daniel Mossé, Max Plauth, Maja Hanne Kirkeby:
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341). Dagstuhl Reports 12(8): 31-59 (2022) - 2021
- [j12]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): 78-84 (2021) - [c48]Kerstin I. Eder, Wen-ling Huang, Jan Peleska:
Complete Agent-driven Model-based System Testing for Autonomous Systems. FMAS 2021: 54-72 - [i50]Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov, Kerstin Eder:
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor. CoRR abs/2104.01055 (2021) - [i49]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 abs/2104.06262 (2021) - [i48]Anas Shrinah, Derek Long, Kerstin Eder:
D-VAL: An automatic functional equivalence validation tool for planning domain models. CoRR abs/2104.14602 (2021) - [i47]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. CoRR abs/2106.00565 (2021) - [i46]Christopher Harper, Greg Chance, Abanoub Ghobrial, Saquib Alam, Tony Pipe, Kerstin Eder:
Safety Validation of Autonomous Vehicles using Assertion-based Oracles. CoRR abs/2111.04611 (2021) - 2020
- [j11]Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza:
When Parallel Speedups Hit the Memory Wall. IEEE Access 8: 79225-79238 (2020) - [j10]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) - [c47]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: 31-38 - [c46]Anas Shrinah, Kerstin Eder:
Goal-constrained planning domain model verification of safety properties. STAIRS@ECAI 2020 - [c45]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: 2:1-2:6 - [i45]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 abs/2005.02947 (2020) - [i44]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 abs/2006.12176 (2020) - [i43]Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou:
CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract). CoRR abs/2006.14890 (2020) - [i42]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 abs/2006.16732 (2020)
2010 – 2019
- 2019
- [c44]Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Carlos Alberto Valderrama Sakuyama, Kerstin I. Eder, Samuel Xavier de Souza:
Energy-Optimal Configurations for Single-Node HPC Applications. HPCS 2019: 448-454 - [c43]Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza:
Exploiting guard band limits for energy gains in MPSoCs. VLSI-SoC 2019: 1-2 - [c42]Demetrios A. M. Coutinho, Kyriakos Georgiou, Kerstin I. Eder, José L. Núñez-Yáñez, Samuel Xavier de Souza:
Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications. VLSI-SoC 2019: 232-233 - [i41]Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder:
Lost in translation: Exposing hidden compiler optimization opportunities. CoRR abs/1903.11397 (2019) - [i40]Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza:
When parallel speedups hit the memory wall. CoRR abs/1905.01234 (2019) - [i39]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 abs/1912.05434 (2019) - [i38]Rachid Alami, Kerstin I. Eder, Guy Hoffman, Hadas Kress-Gazit:
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). Dagstuhl Reports 9(2): 91-110 (2019) - 2018
- [j9]Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder:
The IoT Energy Challenge: A Software Perspective. IEEE Embed. Syst. Lett. 10(3): 53-56 (2018) - [j8]Jeremy Morse, Steve Kerrison, Kerstin Eder:
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. ACM Trans. Embed. Comput. Syst. 17(3): 59:1-59:22 (2018) - [c41]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: 35-42 - [c40]Victor H. F. Oliveira, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza:
Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores. ICPE Companion 2018: 43-44 - [i37]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 abs/1802.09845 (2018) - [i36]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 abs/1805.00998 (2018) - [i35]Anas Shrinah, Kerstin Eder:
Verification of Planning Domain Models - Revisited. CoRR abs/1811.09231 (2018) - 2017
- [j7]Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:
Energy Transparency for Deeply Embedded Programs. ACM Trans. Archit. Code Optim. 14(1): 8:1-8:26 (2017) - [c39]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: 1-6 - [c38]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: 127-140 - [c37]James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. SCOPES 2017: 51-59 - [c36]Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder:
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. TAROS 2017: 166-181 - [i34]Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder:
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats. CoRR abs/1702.06756 (2017) - [i33]Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder:
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. CoRR abs/1703.02335 (2017) - [i32]Craig Blackmore, Oliver Ray, Kerstin Eder:
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. CoRR abs/1703.08228 (2017) - [i31]Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder:
The IoT energy challenge: A software perspective. CoRR abs/1706.08817 (2017) - [i30]Samuel Xavier de Souza, Eduardo André Neves, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder:
The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems. CoRR abs/1709.08689 (2017) - 2016
- [j6]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: 278-286 (2016) - [c35]Steve Kerrison, David May, Kerstin Eder:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. MCSoC 2016: 125-132 - [c34]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: 493-500 - [c33]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. MORSE@RoboCup 2016: 9-16 - [c32]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: 20-32 - [c31]Marko C. J. D. van Eekelen, Kerstin Eder:
Preface. RAC@ETAPS 2016: 1-3 - [e2]Marko C. J. D. van Eekelen, Kerstin Eder:
Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016. Electronic Notes in Theoretical Computer Science 330, Elsevier 2016 [contents] - [i29]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 abs/1603.00656 (2016) - [i28]Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder:
Towards the Specification of Adaptive Robotic Systems. CoRR abs/1603.01082 (2016) - [i27]Jeremy Morse, Steve Kerrison, Kerstin Eder:
On the infeasibility of analysing worst-case dynamic energy. CoRR abs/1603.02580 (2016) - [i26]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. CoRR abs/1604.05508 (2016) - [i25]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 abs/1605.08817 (2016) - [i24]Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder:
A formal approach to analysing requirements conformance in adaptive systems. CoRR abs/1606.01077 (2016) - [i23]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 abs/1606.04074 (2016) - [i22]Steve Kerrison, David May, Kerstin Eder:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. CoRR abs/1606.08686 (2016) - [i21]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 abs/1608.07403 (2016) - [i20]Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:
Energy Transparency for Deeply Embedded Programs. CoRR abs/1609.02193 (2016) - [i19]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. CoRR abs/1609.08439 (2016) - 2015
- [j5]Christian Dondrup, Nicola Bellotto, Marc Hanheide, Kerstin Eder, Ute Leonards:
A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus. Robotics 4(1): 63-102 (2015) - [j4]Steve Kerrison, Kerstin Eder:
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. ACM Trans. Embed. Comput. Syst. 14(3): 56:1-56:25 (2015) - [j3]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): 481-494 (2015) - [c30]Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. ATVA 2015: 201-206 - [c29]James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. CGO 2015: 115-124 - [c28]Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. ECC 2015: 2670-2675 - [c27]Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA 2015: 81-100 - [c26]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: 69-84 - [c25]Mohamed A. Salem, Kerstin I. Eder:
Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights. MTV 2015: 32-37 - [c24]Neville Grech, Kyriakos Georgiou,