Model checking message delivery times in SpaceWire networks. - Andrii Kovalov; Girish Patil; Vishav Bansal; Andreas Gerndt (MoDELS (Companion), 2022)

A Protection Approach For Coal Miners Safety Helmet Using IoT. - Seema Arvind Darekar; Girish Patil; Nakul Pawar; Smita Jagdale; Nalini Tiwari; Akshada Padale (ICCST, 2023)