Formal Verification of Safety Message Dissemination Protocol for VANETs. - M. A. Berlin; Sheila Anand (J. Comput. Sci., 2013)

IoT-based traffic prediction and traffic signal control system for smart city. - S. Neelakandan; M. A. Berlin; Sandesh Tripathi; V. Brindha Devi; Indu Bhardwaj; N. Arulkumar (Soft Comput., 2021)