Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Kerstin Eder

Kerstin I. Eder

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1998
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Eder98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Eder98
Kerstin I. Eder:
EMA : implementing the rewriting computational model of Escher. University of Bristol, UK, 1998

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ais/SmithEI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ais/SmithEI24
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)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AbeywickramaBCDKLMMMNRRWWE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AbeywickramaBCDKLMMMNRRWWE24
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)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/NascimentoGES24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/NascimentoGES24
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)
2023
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/finr/LoucaVET23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/finr/LoucaVET23
Joe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki:
Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency. Frontiers Neurorobotics 17 (2023)
2022
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/GeorgiouCGME22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/GeorgiouCGME22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/NikovMWNCGE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/NikovMWNCGE22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tits/ChanceGMLPE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/ChanceGMLPE22
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)
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Kress-GazitEHAA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21
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)
2020
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/FurtunatoGES20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/FurtunatoGES20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijrr/WebsterWADEFP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijrr/WebsterWADEFP20
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)
2018
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/GeorgiouSE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/GeorgiouSE18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/MorseKE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/MorseKE18
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)
2017
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/taco/GeorgiouKCE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taco/GeorgiouKCE17
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)
2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/EderGLMBGHHKKKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16
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)
2015
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/robotics/DondrupBHEL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/robotics/DondrupBHEL15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/KerrisonE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/KerrisonE15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BlackmoreRE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BlackmoreRE15
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)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/IoannidesE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/IoannidesE12
Charalambos Ioannides, Kerstin Eder:
Coverage-Directed Test Generation Automated by Machine Learning - A Review. ACM Trans. Design Autom. Electr. Syst. 17(1): 7:1-7:21 (2012)
2011
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WrightE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WrightE11
Stephen Wright, Kerstin Eder:
Using Event-B to construct instruction set architectures. Formal Aspects Comput. 23(1): 73-89 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sii/GotoE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sii/GotoE24
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
2023
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/GhobrialHAE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/GhobrialHAE23
Abanoub Ghobrial, Darryl Hond, Hamid Asgari, Kerstin Eder:
A Trustworthiness Score to Evaluate DNN Predictions. AITest 2023: 9-16
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ZhengEB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ZhengEB23
Xuan Zheng, Kerstin Eder, Tim Blackmore:
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure. AITest 2023: 114-121
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RouxelBEEFGHJMANSLSVWZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RouxelBEEFGHJMANSLSVWZ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AbeywickramaWLCWMHWHE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AbeywickramaWLCWMHWHE23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tas/WilsonCWLMAWDEI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tas/WilsonCWLMAWDEI23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wcet/WegenerNNE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/WegenerNNE23
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
2022
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/MasambaEB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/MasambaEB22
Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. AITest 2022: 19-25
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/MasambaEB22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/MasambaEB22a
Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Hybrid Intelligent Testing in Simulation-Based Verification. AITest 2022: 26-33
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/NikovGCEN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/NikovGCEN22
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
2021
[c48]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12586
Kerstin I. Eder, Wen-ling Huang, Jan Peleska:
Complete Agent-driven Model-based System Testing for Autonomous Systems. FMAS 2021: 54-72
2020
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ChanceGLPE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ChanceGLPE20
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/ShrinahE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ShrinahE20
Anas Shrinah, Kerstin Eder:
Goal-constrained planning domain model verification of safety properties. STAIRS@ECAI 2020
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/hipeac/Nunez-YanezNEH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipeac/Nunez-YanezNEH20
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
2019
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/SilvaFGSES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/SilvaFGSES19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsi/NascimentoGES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/NascimentoGES19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsi/CoutinhoGENS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/CoutinhoGENS19
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
2018
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/scopes/GeorgiouBSE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scopes/GeorgiouBSE18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/OliveiraFSGES18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/OliveiraFSGES18
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
2017
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzIEEE/MorseAELR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzIEEE/MorseAELR17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/IsakovicGRKPKGE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/IsakovicGRKPKGE17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/scopes/PallisterKME17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scopes/PallisterKME17
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. SCOPES 2017: 51-59
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/ChiuAE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/ChiuAE17
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
2016
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/mcsoc/KerrisonME16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcsoc/KerrisonME16
Steve Kerrison, David May, Kerstin Eder:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. MCSoC 2016: 125-132
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ro-man/HamacherBPE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ro-man/HamacherBPE16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/robocup/Araiza-IllanPE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/robocup/Araiza-IllanPE16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/Araiza-IllanWPE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/Araiza-IllanWPE16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EekelenE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EekelenE16
Marko C. J. D. van Eekelen, Kerstin Eder:
Preface. RAC@ETAPS 2016: 1-3
2015
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HernandezEMSR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HernandezEMSR15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/PallisterEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/PallisterEH15
James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. CGO 2015: 115-124
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/Araiza-IllanER15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/Araiza-IllanER15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/LiqatGK0GHE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/LiqatGK0GHE15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/Araiza-IllanWPE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Araiza-IllanWPE15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/SalemE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/SalemE15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/scopes/GrechGPKME15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scopes/GrechGPKME15
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Static analysis of energy consumption for LLVM IR programs. SCOPES 2015: 12-21
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/siot/McCannEO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/siot/McCannEO15
David McCann, Kerstin Eder, Elisabeth Oswald:
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. SIoT 2015: 65-71
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/AntunaACE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/AntunaACE15
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder:
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. TAROS 2015: 26-37
2014
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cases/PallisterEHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cases/PallisterEHB14
James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett:
A high-level model of embedded flash energy consumption. CASES 2014: 20:1-20:9
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/TrojanekE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/TrojanekE14
Piotr Trojanek, Kerstin Eder:
Verification and testing of mobile robot navigation algorithms: A case study in SPARK. IROS 2014: 1489-1494
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ro-man/EderHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ro-man/EderHL14
Kerstin Eder, Chris Harper, Ute Leonards:
Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'. RO-MAN 2014: 660-665
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FieldAE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FieldAE14
Hayden Field, Glen Anderson, Kerstin Eder:
EACOF: a framework for providing energy transparency to enable energy-aware software development. SAC 2014: 1194-1199
2013
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/GrigoreEPML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/GrigoreEPML13
Elena Corina Grigore, Kerstin Eder, Anthony G. Pipe, Chris Melhuish, Ute Leonards:
Joint action understanding improves robot-to-human object handover. IROS 2013: 4622-4629
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LiqatKSGLGHE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LiqatKSGLGHE13
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder:
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR 2013: 72-90
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/SalemE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/SalemE13
Mohamed A. Salem, Kerstin I. Eder:
Modified Condition Decision Coverage: A Hardware Verification Perspective. MTV 2013: 8-13
2012
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BlackmoreHBER12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BlackmoreHBER12
Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram:
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. IFM 2012: 84-98
2011
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/IoannidesBE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/IoannidesBE11
Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Improving XCS performance on overlapping binary problems. IEEE Congress on Evolutionary Computation 2011: 1420-1427
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ChengEGGLMPPQRSTV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ChengEGGLMPPQRSTV11
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, Frank Trollmann, Norha M. Villegas:
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl 2011: 101-136
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KharmehEM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KharmehEM11
Suleiman Abu Kharmeh, Kerstin Eder, David May:
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. FORMATS 2011: 335-351
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/IoannidesBE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/IoannidesBE11
Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
XCS cannot learn all boolean functions. GECCO 2011: 1283-1290
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/IoannidesBE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/IoannidesBE11
Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Introducing XCS to Coverage Directed test Generation. HLDVT 2011: 57-64
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YuanWEM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YuanWEM11
Fangfang Yuan, Stephen Wright, Kerstin Eder, David May:
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. ICFEM 2011: 585-600
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/GrigoreELSPM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/GrigoreELSPM11
Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Chris Melhuish:
Towards Safe Human-Robot Interaction. TAROS 2011: 323-335
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/IoannidesBE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/IoannidesBE10
Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. Haifa Verification Conference 2010: 112-128
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/HsuehE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/HsuehE06
Hsiou-Wen Hsueh, Kerstin Eder:
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming. HLDVT 2006: 11-18
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ilp/EderFH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ilp/EderFH06
Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh:
Towards Automating Simulation-Based Design Verification Using ILP. ILP 2006: 154-168
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/EderB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/EderB02
Kerstin Eder, Geoff Barrett:
Achieving maximum performance: a method for the verification of interlocked pipeline control logic. DAC 2002: 135-140
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/EderHT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/EderHT96
Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151
1995
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EderHT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EderHT95
Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2013
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/WrightE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/WrightE13
Stephen Wright, Kerstin Eder:
Experience of Deploying Event-B in Industrial Microprocessor Development. Industrial Deployment of System Engineering Methods 2013: 107-122

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2016
[e2]
- view
- export record
  dblp key:
  - conf/etaps/2016rac
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/2016rac
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]
2012
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/2011
Kerstin Eder, João Lourenço, Onn Shehory:
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7261, Springer 2012, ISBN 978-3-642-34187-8 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2022
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/NikovMVBNE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/NikovMVBNE22
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

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-19058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-19058
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)
2023
[i68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08839
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08839
Abanoub Ghobrial, Hamid Asgari, Kerstin Eder:
Towards a Measure of Trustworthiness to Evaluate CNNs During Operation. CoRR abs/2301.08839 (2023)
[i67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-12806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-12806
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-10292
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-10292
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-03411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-03411
Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair, Owen Kerr, Kerstin Eder:
Assessing Trustworthiness of Autonomous Systems. CoRR abs/2305.03411 (2023)
[i64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-10616
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-10616
Abanoub Ghobrial, Samuel Budgett, Dieter Balemans, Hamid Asgari, Philippe Reiter, Kerstin Eder:
Evaluation Metrics for DNNs Compression. CoRR abs/2305.10616 (2023)
[i63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-14968
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-14968
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-06115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-06115
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-01159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-01159
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-08361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-08361
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-07461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-07461
Abanoub Ghobrial, Kerstin Eder:
On Self-Supervised Dynamic Incremental Regularised Adaptation. CoRR abs/2311.07461 (2023)
2022
[i58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-00147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-00147
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08524
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08524
Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification. CoRR abs/2205.08524 (2022)
[i56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09552
Nyasha Masamba, Kerstin Eder, Tim Blackmore:
Hybrid Intelligent Testing in Simulation-Based Verification. CoRR abs/2205.09552 (2022)
[i55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-11421
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-11421
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00445
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00445
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05273
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05273
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-12134
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-12134
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/EderHMPK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/EderHMPK22
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
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-01055
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-01055
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-06262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-06262
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-14602
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-14602
Anas Shrinah, Derek Long, Kerstin Eder:
D-VAL: An automatic functional equivalence validation tool for planning domain models. CoRR abs/2104.14602 (2021)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-00565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-00565
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-04611
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-04611
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
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-02947
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-02947
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-12176
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-12176
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-14890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-14890
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16732
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)
2019
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11397
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11397
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-01234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-01234
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-05434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-05434
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/AlamiEHK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AlamiEHK19
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
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-09845
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-09845
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00998
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-09231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-09231
Anas Shrinah, Kerstin Eder:
Verification of Planning Domain Models - Revisited. CoRR abs/1811.09231 (2018)
2017
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChiuAE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChiuAE17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SarkarAE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SarkarAE17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BlackmoreRE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlackmoreRE17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GeorgiouSE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeorgiouSE17
Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder:
The IoT energy challenge: A software perspective. CoRR abs/1706.08817 (2017)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-08689
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-08689
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
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanPE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanPE16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MorseALE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MorseALE16
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder:
Towards the Specification of Adaptive Robotic Systems. CoRR abs/1603.01082 (2016)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MorseKE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MorseKE16
Jeremy Morse, Steve Kerrison, Kerstin Eder:
On the infeasibility of analysing worst-case dynamic energy. CoRR abs/1603.02580 (2016)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanPE16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanPE16a
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HamacherBPE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HamacherBPE16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MorseALRE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MorseALRE16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EderGLMBGHHKKKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KerrisonME16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KerrisonME16
Steve Kerrison, David May, Kerstin Eder:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. CoRR abs/1606.08686 (2016)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WebsterWADEFP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WebsterWADEFP16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GeorgiouKCE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeorgiouKCE16
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:
Energy Transparency for Deeply Embedded Programs. CoRR abs/1609.02193 (2016)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanPE16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanPE16b
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
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KerrisonE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KerrisonE15
Steve Kerrison, Kerstin Eder:
A software controlled voltage tuning system using multi-purpose ring oscillators. CoRR abs/1503.05733 (2015)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PallisterKME15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PallisterKME15
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Data dependent energy modelling: A worst case perspective. CoRR abs/1505.03374 (2015)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AntunaACE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AntunaACE15
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder:
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. CoRR abs/1505.05695 (2015)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanER15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanER15
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study. CoRR abs/1505.05699 (2015)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HernandezEMSR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HernandezEMSR15
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. CoRR abs/1507.05597 (2015)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KerrisonE15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KerrisonE15a
Steve Kerrison, Kerstin Eder:
Modeling and visualizing networked multi-core embedded software energy consumption. CoRR abs/1509.02830 (2015)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanWPE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanWPE15
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. CoRR abs/1509.04852 (2015)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GeorgiouKE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeorgiouKE15
Kyriakos Georgiou, Steve Kerrison, Kerstin Eder:
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. CoRR abs/1510.07095 (2015)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanE15
Dejanira Araiza-Illan, Kerstin Eder:
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. CoRR abs/1511.00412 (2015)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanWPE15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanWPE15a
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder:
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. CoRR abs/1511.01354 (2015)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LiqatGKLGHE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiqatGKLGHE15
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. CoRR abs/1511.01413 (2015)
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/McCannEO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/McCannEO15
David McCann, Kerstin Eder, Elisabeth Oswald:
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. IACR Cryptol. ePrint Arch. 2015: 832 (2015)
2014
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PallisterEHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PallisterEHB14
James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett:
A high-level model of embedded flash energy consumption. CoRR abs/1404.1602 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EderHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EderHL14
Kerstin Eder, Chris Harper, Ute Leonards:
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers. CoRR abs/1404.2229 (2014)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GrechGPKE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrechGPKE14
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder:
Static energy consumption analysis of LLVM IR programs. CoRR abs/1405.4565 (2014)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Araiza-IllanER14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Araiza-IllanER14
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Formal Verification of Control Systems Properties with Theorem Proving. CoRR abs/1405.7615 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FieldAE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FieldAE14
Hayden Field, Glen Anderson, Kerstin Eder:
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development. CoRR abs/1406.0117 (2014)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PallisterEH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PallisterEH14
James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. CoRR abs/1406.0403 (2014)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.