Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems. - Smitha Gautham; Abhilash Rajagopala; Athira Varma Jayakumar; Christopher J. Deloglos; Erwin Karincic; Carl R. Elks (CoRR, 2020)

OpenCity: An Open Architecture Testbed for Smart Cities. - Nasibeh Zohrabi; Patrick J. Martin; Murat Kuzlu; Lauren Linkous; Roja Eini; Adam Morrissett; Mostafa Zaman; Ashraf Tantawy; Özgür Güler; Maher Al Islam; Nathan Puryear; Halil Kalkavan; et al. (ISC2, 2021)