Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Komondoor, Raghavan"'
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 given plant such that the controlled plant satisfies a given temporal
Externí odkaz:
http://arxiv.org/abs/2306.02427
The synthesis of maximally-permissive controllers in infinite-state systems has many practical applications. Such controllers directly correspond to maximal winning strategies in logically specified infinite-state two-player games. In this paper, we
Externí odkaz:
http://arxiv.org/abs/2107.08794
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 fuzzers such as AFL automatically generate a sequence of test inputs f
Externí odkaz:
http://arxiv.org/abs/2104.10466
Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the problem of precise data flow analysis for such systems. To obtain good precision, data flow analysis
Externí odkaz:
http://arxiv.org/abs/2101.10233
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 argument, and thus mimics a mathematical function. The problem is cha
Externí odkaz:
http://arxiv.org/abs/1902.05436
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 in the context of software verification and transformation tasks is a
Externí odkaz:
http://arxiv.org/abs/1501.04730
Autor:
Komondoor, Raghavan V.
Thesis (Ph. D.)--University of Wisconsin--Madison, 2003.
eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (p. 203-207).
eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (p. 203-207).
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/54026759.html
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 counter systems. We first focus on checking liveness properties only, and pr
Externí odkaz:
http://arxiv.org/abs/1312.1070
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 static analysis approaches proposed in the literature for networks based o
Externí odkaz:
http://arxiv.org/abs/1111.6808
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 desired services (i.e., create a model), and then to locate portions of co
Externí odkaz:
http://arxiv.org/abs/1008.2458