Erik Ramsgaard Wognsen

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Embedded Systems

Top Venues

Sci. Comput. Program.

Publications

Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch
Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS (2016)
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
Formal modelling and analysis of Bitflips in ARM assembly code. Inf. Syst. Frontiers 18 (5) (2016)
Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Model checking of finite-state machine-based scenario-aware dataflow using timed automata. SIES (2015)
Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS (2015)
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
Formal Methods for Modelling and Analysis of Single-Event Upsets. IRI (2015)
Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen
Battery-Aware Scheduling of Mixed Criticality Systems. ISoLA (2) (2014)
Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen
Formalisation and analysis of Dalvik bytecode. Sci. Comput. Program. 92 (2014)