Autocorrelation-Based Detection of Infinite Loops at Runtime

Andreas Ibing; Julian Kirsch; Lorenz Panny

doi:10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.78

Autocorrelation-Based Detection of Infinite Loops at Runtime

Andreas Ibing
, Julian Kirsch
, Lorenz Panny

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)
Publisher	Institute of Electrical and Electronics Engineers
Pages	368-375
ISBN (Electronic)	978-1-5090-4065-0
DOIs	https://doi.org/10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.78
Publication status	Published - 2016
Externally published	Yes

Access to Document

10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.78

Cite this

@inproceedings{f9ac767556214bf682d05b6981392bd1,

title = "Autocorrelation-Based Detection of Infinite Loops at Runtime",

author = "Andreas Ibing and Julian Kirsch and Lorenz Panny",

year = "2016",

doi = "10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.78",

language = "English",

pages = "368--375",

booktitle = "IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Autocorrelation-Based Detection of Infinite Loops at Runtime. / Ibing, Andreas; Kirsch, Julian; Panny, Lorenz.
IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC). Institute of Electrical and Electronics Engineers, 2016. p. 368-375.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Autocorrelation-Based Detection of Infinite Loops at Runtime

AU - Ibing, Andreas

AU - Kirsch, Julian

AU - Panny, Lorenz

PY - 2016

Y1 - 2016

U2 - 10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.78

DO - 10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.78

M3 - Conference contribution

SP - 368

EP - 375

BT - IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)

PB - Institute of Electrical and Electronics Engineers

ER -