A corroborative approach to verification and validation of human–robot teams von Webster, Matt, Western, David, Araiza-Illan, Dejanira, Dixon, Clare, Eder, Kerstin, Fisher, Michael, Pipe, Anthony G

Volltext

Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency von Louca, Joe, Vrublevskis, John, Eder, Kerstin, Tzemanaki, Antonia

Volltext

Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs von Nascimento, Diego V. Cirilo do, Georgiou, Kyriakos, Eder, Kerstin I., Xavier-de-Souza, Samuel

Volltext

Coverage-Directed Test Generation Automated by Machine Learning -- A Review von Ioannides, Charalambos, Eder, Kerstin I.

Volltext

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems von Coutinho, Demetrios A. M., De Sensi, Daniele, Lorenzon, Arthur Francisco, Georgiou, Kyriakos, Nunez-Yanez, Jose, Eder, Kerstin, Xavier-de-Souza, Samuel

Volltext

When Parallel Speedups Hit the Memory Wall von Furtunato, Alex F. A., Georgiou, Kyriakos, Eder, Kerstin, Xavier-De-Souza, Samuel

Volltext

Towards truly sustainable IoT systems: the SUPERIOT project von Katz, Marcos, Paso, Tuomas, Mikhaylov, Konstantin, Pessoa, Luis, Fontes, Helder, Hakola, Liisa, Leppäniemi, Jaakko, Carlos, Emanuel, Dolmans, Guido, Rufo, Julio, Drzewiecki, Marcin, Sallouha, Hazem, Napier, Bruce, Branquinho, André, Eder, Kerstin

Volltext

A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus von Dondrup, Christian, Bellotto, Nicola, Hanheide, Marc, Eder, Kerstin, Leonards, Ute

Volltext

The IoT Energy Challenge: A Software Perspective von Georgiou, Kyriakos, Xavier-de-Souza, Samuel, Eder, Kerstin

Volltext

Hasta la vista baby: why we should dispense of “autonomy” in “autonomous systems” von Smith, Helen, Eder, Kerstin, Ives, Jonathan

Volltext

Whole Systems Energy Transparency: More Power to Software Developers: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOun... von Eder, Kerstin

Volltext

Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor von Kerrison, Steve, Eder, Kerstin

Volltext

On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification von Chance, Greg, Ghobrial, Abanoub, McAreavey, Kevin, Lemaignan, Severin, Pipe, Tony, Eder, Kerstin

Volltext

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing von Morse, Jeremy, Kerrison, Steve, Eder, Kerstin

Volltext

Impact of Haptic Feedback in High Latency Teleoperation for Space Applications von Louca, Joe, Eder, Kerstin, Vrublevskis, John, Tzemanaki, Antonia

Volltext

Verification of a virtual lunar regolith simulant von Louca, Joe, Vrublevskis, John, Eder, Kerstin, Tzemanaki, Antonia

Volltext

Energy Transparency for Deeply Embedded Programs von Georgiou, Kyriakos, Kerrison, Steve, Chamski, Zbigniew, Eder, Kerstin

Volltext

Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers von Eder, Kerstin, LourenÒ«o, Joao, Shehory, Onn

Volltext

Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU von Nikov, Kris, Martinez, Marcos, Wegener, Simon, Nunez-Yanez, Jose, Chamski, Zbigniew, Georgiou, Kyriakos, Eder, Kerstin

Volltext

Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats von Chiu, Sing-Kai, Araiza-Illan, Dejanira, Eder, Kerstin

Volltext