ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference Proceedings

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.

Conference Paper

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.

This list was generated on Fri Apr 3 23:57:59 2020 IST.