J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet: Function-Complete Lookahead in Support of Efficient SAT Search Heuristics /jucs_10_12/function_complete_lookahead_in
X. Wang, W. Wang, B. Xu, P. Du, L. Li, M. Liu: A Fine-Grained Hardware Security Approach for Runtime Code Integrity in Embedded Systems /jucs_24_4/a_fine_grained_hardware