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

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Information Systems Frontiers
Vol/bind	18
Udgave nummer	5
Sider (fra-til)	909–925
Antal sider	17
ISSN	1387-3326
DOI	https://doi.org/10.1007/s10796-016-9665-7
Status	Udgivet - 27 jun. 2016
Begivenhed	IEEE International Conference on Information Reuse and Integration (IRI 2015) - California, USA Varighed: 13 aug. 2015 → 15 aug. 2015 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

Konference

Konference	IEEE International Conference on Information Reuse and Integration (IRI 2015)
Land/Område	USA
By	California
Periode	13/08/2015 → 15/08/2015
Internetadresse	http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299513

Adgang til dokumentet

10.1007/s10796-016-9665-7

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -