Logical Signal Processing: A Fourier Analysis of Temporal Logic. - Niraj Basnet; Houssam Abbas (RV, 2020)

Predicate monitoring in distributed cyber-physical systems. - Anik Momtaz; Niraj Basnet; Houssam Abbas; Borzoo Bonakdarpour (Int. J. Softw. Tools Technol. Transf., 2023)