|
 | Up a level |
Lakshmi, Vasanta K (2016) Memory Efficient Deep Packet Inspection Using Transition Functions. In: 8th International Conference on Communication Systems and Networks (COMSNETS), JAN 05-10, 2016, Bangalore, INDIA.
Lakshmi, Vasanta K and Acharya, Aravind and Komondoor, Raghavan (2014) Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. In: 19th International Symposium on Formal Methods (FM), MAY 12-16, 2014, Natl Univ Singapore, Singapore, SINGAPORE, pp. 335-350.
Komondoor, Raghavan and Lakshmi, Vasanta K and Seetharam, Deva P and Balodia, Sudha (2012) Packet flow analysis in IP networks using data-flow analysis. In: ISEC '12 Proceedings of the 5th India Software Engineering Conference, Feb, 2012, Kanpur, UP, India.
