G. Satya Reddy

According to our database, G. Satya Reddy authored at least 2 papers between 2007 and 2013.

Collaborative distances:

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

2013

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.

G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai

Proceedings of the IEEE Ninth World Congress on Services, 2013

2007

Specification Based Testing of Inheritance: A Framework of a Tool.

G. Satya Reddy, Hrushikesha Mohanty

Proceedings of the 10th International Conference on Information Technology, 2007