Date: October 4-9, 2015
Location: Amsterdam, The Netherlands
Website: http://www.esweek.org/cases/about
Ahmed Nassar, Fadi J. Kurdahi, Wael M. Elsharkasy, “NUVA: Architectural Support for Runtime Verification of Parametric Specifications over Multicores,” 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES 2015): 137-146, Amsterdam, The Netherlands, October 4-9, 2015