14 citations · 19 across the 9 of their papers we have counts for
9 papers
Towards Efficient Controller Synthesis Techniques for Logical LTL Games
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Two-player games are a fruitful way to represent and reason about several important synthesis tasks. These tasks include controller synthesis (where one asks for a controller for a…
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
The synthesis of maximally-permissive controllers in infinite-state systems has many practical applications. Such controllers directly correspond to maximal winning strategies in l…
HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing
Raveendra Kumar Medicherla, Malathy Nagalakshmi, Tanya Sharma +1
Buffer-overruns are a prevalent vulnerability in software libraries and applications. Fuzz testing is one of the effective techniques to detect vulnerabilities in general. Greybox…
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
Snigdha Athaiya, Raghavan Komondoor, K Narayan Kumar
Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the problem of precise data flow an…
Checking Observational Purity of Procedures
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Verifying whether a procedure is observationally pure is useful in many software engineering scenarios. An observationally pure procedure always returns the same value for the same…
Static Analysis of File-Processing Programs using File Format Specifications
Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran
Programs that process data that reside in files are widely used in varied domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs…
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis
K Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counte…
Packet flow analysis in IP networks via abstract interpretation
Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam +1
Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been stat…
A Case Study in Matching Service Descriptions to Implementations in an Existing System
Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor +1
A number of companies are trying to migrate large monolithic software systems to Service Oriented Architectures. A common approach to do this is to first identify and describe desi…