Kerstin Eder - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 70 from 70

2024

2023

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic SwarmsDhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder. safecomp 2023: 341-354 [doi]

A Trustworthiness Score to Evaluate DNN PredictionsAbanoub Ghobrial, Darryl Hond, Hamid Asgari, Kerstin Eder. aitest 2023: 9-16 [doi]

Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latencyJoe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki. finr, 17, June 2023. [doi]

EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded ApplicationsSimon Wegener, Kris K. Nikov, José L. Núñez-Yáñez, Kerstin Eder. wcet 2023: [doi]

Trustworthy SwarmsJames Wilson, Greg Chance, Peter D. Winter, Suet Lee, Emma Milner, Dhaminda B. Abeywickrama, Shane Windsor, John Downer, Kerstin Eder, Jonathan Ives, Sabine Hauert. tas 2023: [doi]

Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage ClosureXuan Zheng, Kerstin Eder, Tim Blackmore. aitest 2023: 114-121 [doi]

2022

On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle VerificationGreg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder. tits, 23(11):20538-20552, 2022. [doi]

Lost In Translation: Exposing Hidden Compiler Optimization OpportunitiesKyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May 0001, Kerstin Eder. cj, 65(3):718-735, 2022. [doi]

Supervised Learning for Coverage-Directed Test Selection in Simulation-Based VerificationNyasha Masamba, Kerstin Eder, Tim Blackmore. aitest 2022: 19-25 [doi]

Hybrid Intelligent Testing in Simulation-Based VerificationNyasha Masamba, Kerstin Eder, Tim Blackmore. aitest 2022: 26-33 [doi]

Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static AnalysisKris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez. icecsys 2022: 1-4 [doi]

Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMUKris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder. esl, 14(3):147-150, 2022. [doi]

2021

Formalizing and guaranteeing human-robot interactionHadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen 0001, Ross Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh. CACM, 64(9):78-84, 2021. [doi]

2020

An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle VerificationGreg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder. aitest 2020: 31-38 [doi]

When Parallel Speedups Hit the Memory WallAlex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza. access, 8:79225-79238, 2020. [doi]

Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency ScalingJosé L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady. hipeac 2020: [doi]

Goal-constrained planning domain model verification of safety propertiesAnas Shrinah, Kerstin Eder. ecai 2020: [doi]

A corroborative approach to verification and validation of human-robot teamsMatt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher 0001, Anthony G. Pipe. ijrr, 39(1), 2020. [doi]

2018

The IoT Energy Challenge: A Software PerspectiveKyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder. esl, 10(3):53-56, 2018. [doi]

Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy ConsumptionKyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder. scopes 2018: 35-42 [doi]

On the Limitations of Analyzing Worst-Case Dynamic Energy of ProcessingJeremy Morse, Steve Kerrison, Kerstin Eder. tecs, 17(3), 2018. [doi]

2017

Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from ThreatsSing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder. taros 2017: 166-181 [doi]

Energy Transparency for Deeply Embedded ProgramsKyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder. taco, 14(1), 2017. [doi]

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2Haris 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. safecomp 2017: 127-140 [doi]

A fuzzy approach to qualification in design exploration for autonomous robots and systemsJeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards. fuzzIEEE 2017: 1-6 [doi]

Data Dependent Energy Modeling for Worst Case Energy Consumption AnalysisJames Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder. scopes 2017: 51-59 [doi]

2016

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot InteractionsDejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder. robocup 2016: 9-16 [doi]

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot InteractionsDejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder. taros 2016: 20-32 [doi]

Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interactionAdriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder. ro-man 2016: 493-500 [doi]

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded SystemsSteve Kerrison, David May, Kerstin Eder. mcsoc 2016: 125-132 [doi]

PrefaceMarko C. J. D. van Eekelen, Kerstin Eder. ENTCS, 330:1-3, 2016. [doi]

2015

Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation AlgorithmsLaura Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder. taros 2015: 26-37 [doi]

Verification of control systems implemented in simulink with assertion checks and theorem proving: A case studyDejanira Araiza-Illan, Kerstin Eder, Arthur Richards. eucc 2015: 2670-2675 [doi]

Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with HumansDejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder. hvc 2015: 69-84 [doi]

A logic programming approach to predict effective compiler settings for embedded softwareCraig Blackmore, Oliver Ray, Kerstin Eder. tplp, 15(4-5):481-494, 2015. [doi]

A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory CalculusChristian Dondrup, Nicola Bellotto, Marc Hanheide, Kerstin Eder, Ute Leonards. robotics, 4(1):63-102, 2015. [doi]

Static analysis of energy consumption for LLVM IR programsNeville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder. scopes 2015: 12-21 [doi]

Marimba: A Tool for Verifying Properties of Hidden Markov ModelsNoé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth. ATVA 2015: 201-206 [doi]

Energy Modeling of Software for a Hardware Multithreaded Embedded MicroprocessorSteve Kerrison, Kerstin Eder. tecs, 14(3):56, 2015. [doi]

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IRUmer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder. FOPARA 2016: 81-100 [doi]

Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded DevicesDavid McCann, Kerstin Eder, Elisabeth Oswald. siot 2015: 65-71 [doi]

Optimizing the flash-RAM energy trade-off in deeply embedded systemsJames Pallister, Kerstin Eder, Simon J. Hollis. CGO 2015: 115-124 [doi]

2014

2013

2012

Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage ReportsTim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram. IFM 2012: 84-98 [doi]

Coverage-Directed Test Generation Automated by Machine Learning - A ReviewCharalambos Ioannides, Kerstin Eder. todaes, 17(1):7, 2012. [doi]

2011

Towards Safe Human-Robot InteractionElena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Chris Melhuish. taros 2011: 323-335 [doi]

Introducing XCS to Coverage Directed test GenerationCharalambos Ioannides, Geoff Barrett, Kerstin Eder. hldvt 2011: 57-64 [doi]

XCS cannot learn all boolean functionsCharalambos Ioannides, Geoff Barrett, Kerstin Eder. gecco 2011: 1283-1290 [doi]

Improving XCS performance on overlapping binary problemsCharalambos Ioannides, Geoff Barrett, Kerstin Eder. cec 2011: 1420-1427 [doi]

A Design-for-Verification Framework for a Configurable Performance-Critical Communication InterfaceSuleiman Abu Kharmeh, Kerstin Eder, David May. formats 2011: 335-351 [doi]

Using Event-B to construct instruction set architecturesStephen Wright, Kerstin Eder. fac, 23(1):73-89, 2011. [doi]

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set ArchitecturesFangfang Yuan, Stephen Wright, Kerstin Eder, David May. icfem 2011: 585-600 [doi]

2010

Feedback-Based Coverage Directed Test Generation: An Industrial EvaluationCharalambos Ioannides, Geoff Barrett, Kerstin Eder. hvc 2011: 112-128 [doi]

2006

Towards Automating Simulation-Based Design Verification Using ILPKerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh. ilp 2007: 154-168 [doi]

Test Directive Generation for Functional Coverage Closure Using Inductive Logic ProgrammingHsiou-Wen Hsueh, Kerstin Eder. hldvt 2006: 11-18 [doi]

2002

Achieving maximum performance: a method for the verification of interlocked pipeline control logicKerstin Eder, Geoff Barrett. dac 2002: 135-140 [doi]

1996

An Abstract Machine for Reasoning about Situations, Actions, and CausalityKerstin Eder, Steffen Hölldobler, Michael Thielscher. elp 1996: 137-151

1995

A Resource-Oriented Deductive Approach Towards Hierarchical PlanningKerstin Eder, Steffen Hölldobler, Michael Thielscher. wlp 1995: 237-246

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Kerstin Eder'

Viewing Publication 1 - 70 from 70

2024

2023

2022

2021

2020

2018

2017

2016

2015

2014

2013

2012

2011

2010

2006

2002

1996

1995

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Kerstin Eder'

Viewing Publication 1 - 70 from 70

2024

2023

2022

2021

2020

2018

2017

2016

2015

2014

2013

2012

2011

2010

2006

2002

1996

1995

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1