R. Devarapalli

According to our database, R. Devarapalli authored at least 2 papers between 1993 and 1994.

Collaborative distances:

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

1994

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.

Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz

ACM Trans. Softw. Eng. Methodol., 1994

1993

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993