Erik Ramsgaard Wognsen

Research output

Research output per year 2012 2014 2015 2016 2018

• 7 Article in proceeding
• 2 Journal article
• 1 Report
• 1 Conference article in Journal
• 1 More
  • 1 PhD thesis

Research output per year

Research output per year

Search results

• Formal modelling and analysis of Bitflips in ARM assembly code

  Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 Jun 2016, In: Information Systems Frontiers. 18, 5, p. 909–925 17 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review
  1 Citation (Scopus)