Formal modelling and analysis of Bitflips in ARM assembly code

Rene Rydhof Hansen; Kim Guldstrand Larsen; Mads Chr. Olesen; Erik Ramsgaard Wognsen

doi:10.1007/s10796-016-9665-7

Formal modelling and analysis of Bitflips in ARM assembly code

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

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Information Systems Frontiers
Volume	18
Issue number	5
Pages (from-to)	909–925
Number of pages	17
ISSN	1387-3326
DOIs	https://doi.org/10.1007/s10796-016-9665-7
Publication status	Published - 27 Jun 2016
Event	IEEE International Conference on Information Reuse and Integration (IRI 2015) - California, United States Duration: 13 Aug 2015 → 15 Aug 2015 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

Conference

Conference	IEEE International Conference on Information Reuse and Integration (IRI 2015)
Country/Territory	United States
City	California
Period	13/08/2015 → 15/08/2015
Internet address	http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

Access to Document

10.1007/s10796-016-9665-7

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{1a140871d7754663ac48ccb42496ceb6,

title = "Formal modelling and analysis of Bitflips in ARM assembly code",

author = "Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand} and Olesen, {Mads Chr.} and Wognsen, {Erik Ramsgaard}",

year = "2016",

month = jun,

day = "27",

doi = "10.1007/s10796-016-9665-7",

language = "English",

volume = "18",

pages = "909–925",

journal = "Information Systems Frontiers",

issn = "1387-3326",

publisher = "Springer",

number = "5",

note = "IEEE International Conference on Information Reuse and Integration (IRI 2015), IRI 2015 ; Conference date: 13-08-2015 Through 15-08-2015",

url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513",

}

TY - GEN

T1 - Formal modelling and analysis of Bitflips in ARM assembly code

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

AU - Olesen, Mads Chr.

AU - Wognsen, Erik Ramsgaard

PY - 2016/6/27

Y1 - 2016/6/27

U2 - 10.1007/s10796-016-9665-7

DO - 10.1007/s10796-016-9665-7

M3 - Conference article in Journal

SN - 1387-3326

VL - 18

SP - 909

EP - 925

JO - Information Systems Frontiers

JF - Information Systems Frontiers

IS - 5

T2 - IEEE International Conference on Information Reuse and Integration (IRI 2015)

Y2 - 13 August 2015 through 15 August 2015

ER -