Imperial College London

ProfessorWayneLuk

Faculty of EngineeringDepartment of Computing

Professor of Computer Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8313w.luk Website

 
 
//

Location

 

434Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Todman:2015:10.1145/2744769.2744856,
author = {Todman, T and Stilkerich, S and Luk, W},
doi = {10.1145/2744769.2744856},
publisher = {IEEE COMPUTER SOC},
title = {In-circuit temporal monitors for runtime verification of reconfigurable designs},
url = {http://dx.doi.org/10.1145/2744769.2744856},
year = {2015}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - Todman,T
AU - Stilkerich,S
AU - Luk,W
DO - 10.1145/2744769.2744856
PB - IEEE COMPUTER SOC
PY - 2015///
SN - 0738-100X
TI - In-circuit temporal monitors for runtime verification of reconfigurable designs
UR - http://dx.doi.org/10.1145/2744769.2744856
UR - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000370268400051&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
ER -