| 2026 | SAC | Framework Matters: Energy Efficiency of UI Automation Testing Frameworks. | Timmie M. R. Lagermann, Kristina Sophia Carter, Su Mei Gwen Ho, Luis Cruz, Kerstin Eder, Maja H. Kirkeby |
| 2023 | DATE | The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. | 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 |
| 2023 | SAFECOMP | AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms. | Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder |
| 2020 | ECAI | Goal-constrained planning domain model verification of safety properties. | Anas Shrinah, Kerstin Eder |
| 2018 | SCOPES | Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. | Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder |
| 2017 | SAFECOMP | A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. | 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 |
| 2017 | SCOPES | Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. | James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder |
| 2016 | RO-MAN | Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction. | Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder |
| 2016 | RoboCup | Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. | Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder |
| 2015 | ATVA | Marimba: A Tool for Verifying Properties of Hidden Markov Models. | No Hernndez, Kerstin Eder, Evgeni Magid, Jess Savage, David A. Rosenblueth |
| 2015 | CGO | Optimizing the flash-RAM energy trade-off in deeply embedded systems. | James Pallister, Kerstin Eder, Simon J. Hollis |
| 2015 | SCOPES | Static analysis of energy consumption for LLVM IR programs. | Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder |
| 2014 | CASES | A high-level model of embedded flash energy consumption. | James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett |
| 2014 | IROS | Verification and testing of mobile robot navigation algorithms: A case study in SPARK. | Piotr Trojanek, Kerstin Eder |
| 2014 | SAC | EACOF: a framework for providing energy transparency to enable energy-aware software development. | Hayden Field, Glen Anderson, Kerstin Eder |
| 2014 | RO-MAN | Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'. | Kerstin Eder, Chris Harper, Ute Leonards |
| 2013 | IROS | Joint action understanding improves robot-to-human object handover. | Elena Corina Grigore, Kerstin Eder, Anthony G. Pipe, Chris Melhuish, Ute Leonards |
| 2013 | LOPSTR | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. | Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lpez-Garca, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
| 2012 | IFM | Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. | Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram |
| 2011 | CEC | Improving XCS performance on overlapping binary problems. | Charalambos Ioannides, Geoff Barrett, Kerstin Eder |
| 2011 | GECCO | XCS cannot learn all boolean functions. | Charalambos Ioannides, Geoff Barrett, Kerstin Eder |
| 2011 | ICFEM | Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. | Fangfang Yuan, Stephen Wright, Kerstin Eder, David May |
| 2006 | ILP | Towards Automating Simulation-Based Design Verification Using ILP. | Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh |
| 2002 | DAC | Achieving maximum performance: a method for the verification of interlocked pipeline control logic. | Kerstin Eder, Geoff Barrett |