Search filters

List of works by

A corroborative approach to verification and validation of human–robot teams

A high-level model of embedded flash energy consumption

scientific article published on 14 October 2014

ENTRA: Whole-systems energy transparency

scientific article published in November 2016

Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor

scientific article published on 01 May 2015

Energy Transparency for Deeply Embedded Programs

scientific article published on 23 March 2017

Formal verification of control systems' properties with theorem proving ⬇️

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions

scientific article published on 20 March 2017

Less is More

scientific article published on 11 June 2018

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities

scientific article published in 2020

On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification

scientific article published in 2022

On Specifying for Trustworthiness

scientific article published on 21 December 2023

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing

scientific article published on 20 February 2018

Preface

scientific article published on 14 December 2016

Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling

scientific article published on 16 March 2020

Trustworthy Swarms

scientific article published on 05 July 2023

Using Event-B to construct instruction set architectures

scientific article published on 20 January 2010

Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study

Paulina is supported by:

About Paulina

Help