Erik Ramsgaard Wognsen

According to our database, Erik Ramsgaard Wognsen authored at least 7 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Energy-aware scheduling of FIR filter structures using a timed automata model.

Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

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

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Formal Methods for Modelling and Analysis of Single-Event Upsets.

René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Formalisation and analysis of Dalvik bytecode.

Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen

Sci. Comput. Program., 2014

Battery-Aware Scheduling of Mixed Criticality Systems.

Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014