K. Vasanta Lakshmi

According to our database, K. Vasanta Lakshmi authored at least 7 papers between 2005 and 2014.

Collaborative distances:

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

2014

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.

K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor

Proceedings of the FM 2014: Formal Methods, 2014

2013

Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis.

K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor

CoRR, 2013

Guided test generation for web applications.

Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Packet flow analysis in IP networks using data-flow analysis.

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

2011

Packet flow analysis in IP networks via abstract interpretation

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia

CoRR, 2011

2008

Deep Packet Inspection Using Message Passing Networks.

Divya Jain, K. Vasanta Lakshmi, Priti Shankar

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

2005

Integrating a New Cluster Assignment and Scheduling Algorithm into an Experimental Retargetable Code Generation Framework.

K. Vasanta Lakshmi, Deepak Sreedhar, Easwaran Raman, Priti Shankar

Proceedings of the High Performance Computing, 2005