Modeling and analysis of FPGA based power management system for renewables. - Pranali S. Tekale; Ramakalyan Ayyagari; Sithu D. Sudarsan; Raoul Jetley; Srini Ramaswamy (ETFA, 2017)

A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System. - Pranali S. Tekale; Ramakalyan Ayyagari; Sithu D. Sudarsan; Raoul Jetley (DIAS/EDUDM@ISEC, 2017)