Battery-Aware Scheduling of Mixed Criticality Systems. - Erik Ramsgaard Wognsen; René Rydhof Hansen; Kim Guldstrand Larsen (ISoLA (2), 2014)

Formalisation and analysis of Dalvik bytecode. - Erik Ramsgaard Wognsen; Henrik Søndberg Karlsen; Mads Chr. Olesen; René Rydhof Hansen (Sci. Comput. Program., 2014)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. - Erik Ramsgaard Wognsen; Boudewijn R. Haverkort; Marijn R. Jongerden; René Rydhof Hansen; Kim Guldstrand Larsen (FORMATS, 2015)

Formal Methods for Modelling and Analysis of Single-Event Upsets. - René Rydhof Hansen; Kim Guldstrand Larsen; Mads Chr. Olesen; Erik Ramsgaard Wognsen (IRI, 2015)

Model checking of finite-state machine-based scenario-aware dataflow using timed automata. - Mladen Skelin; Erik Ramsgaard Wognsen; Mads Chr. Olesen; René Rydhof Hansen; Kim Guldstrand Larsen (SIES, 2015)

Energy-aware scheduling of FIR filter structures using a timed automata model. - Erik Ramsgaard Wognsen; René Rydhof Hansen; Kim Guldstrand Larsen; Peter Koch 001 (DDECS, 2016)

Formal modelling and analysis of Bitflips in ARM assembly code. - René Rydhof Hansen; Kim Guldstrand Larsen; Mads Chr. Olesen; Erik Ramsgaard Wognsen (Inf. Syst. Frontiers, 2016)