Gomathi Ganesan

According to our database, Gomathi Ganesan authored at least 2 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Model-Checking Support for File System Development.

Wei Su, Yifei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning

Proceedings of the HotStorage '21: 13th ACM Workshop on Hot Topics in Storage and File Systems, 2021

2019

A RFP System for Generating Response to a Request for Proposal.

Asha Rajbhoj, Padmalata Nistala, Vinay Kulkarni, Gomathi Ganesan

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019