K. Vasanta Lakshmi

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Reachability Analysis

Web Applications

Memory Efficient

Top Venues

Publications

K. Vasanta Lakshmi
Memory efficient deep packet inspection using transition functions. COMSNETS (2016)
K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. FM (2014)
K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis. CoRR (2013)
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra
Guided test generation for web applications. ICSE (2013)
Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia
Packet flow analysis in IP networks using data-flow analysis. ISEC (2012)
Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia
Packet flow analysis in IP networks via abstract interpretation CoRR (2011)
Divya Jain, K. Vasanta Lakshmi, Priti Shankar
Deep Packet Inspection Using Message Passing Networks. RAID (2008)
K. Vasanta Lakshmi, Deepak Sreedhar, Easwaran Raman, Priti Shankar
Integrating a New Cluster Assignment and Scheduling Algorithm into an Experimental Retargetable Code Generation Framework. HiPC (2005)