 IDEALS Home
 →
 College of Engineering
 →
 Dept. of Computer Science
 →
 Research and Tech Reports  Computer Science
 →
 Browse Research and Tech Reports  Computer Science by Author
Browse Research and Tech Reports  Computer Science by Author "Agha, Gul A."
Now showing items 1020 of 20

Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (200406)We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniques. We assume that we are given a model of ...
application/pdf
PDF (336kB) 
Moinzadeh, Parya; Mechitov, Kirill A.; Agha, Gul A. (20110902)The efficiency of multihop communication is a function of the time required for data transfer, or throughput. A key determinant of throughput is the reliability of packet transmission, as measured by the packet reception ...
application/pdf
PDF (541kB) 
Sundresh, Sameer; Kwon, YoungMin; Mechitov, Kirill; Kim, Wooyoung; Agha, Gul A. (200503)Localization is the process by which sensor networks associate spatial position information with individual sensors' measurements. While manual surveying is sufficient for smallscale prototypes, it is too timeconsuming ...
application/pdf
PDF (111kB) 
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (200601)We investigate the problem of model checking Intervalvalued Discretetime Markov Chains (IDTMC). IDTMCs are discretetime finite Markov Chains for which the exact transition probabilities are not known. Instead in IDTMCs, ...
application/pdf
PDF (246kB) 
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (200412)Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operators and unbounded until formulas. In this ...
application/pdf
PDF (230kB) 
Agha, Gul A.; Meseguer, José; Sen, Koushik (200503)We introduce a rewritebased specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis and the characteristics of a highlevel ...
application/pdf
PDF (228kB) 
Korthikanti, Vijay Anand; Viswanathan, Mahesh; Kwon, YoungMin; Agha, Gul A. (2010)We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as exhibiting a behavior that is a sequence of ...
application/pdf
PDF (404kB) 
Kwon, YoungMin; Mechitov, Kirill; Sundresh, Sameer; Kim, Wooyoung; Agha, Gul A. (200406)A process which computes the physical locations of nodes in a wireless sensor network is called localization. Selflocalization is critical for largescale sensor networks because manual or assisted localization is often ...
application/pdf
PDF (797kB) 
Dinges, Peter; Agha, Gul A. (20140911)Knowing inputs that cover a specific branch or statement in a program is useful for debugging and regression testing. Symbolic backward execution (SBE) is a natural approach to find such targeted inputs. However, SBE ...
application/pdf
PDF (387kB) 
Ahmed, Amr M.E.; Patel, Abhilash; Brown, Tom; Ham, MyungJoo; Jang, MyeongWuk; Agha, Gul A. (200412)In the dynamic distributed task assignment (DDTA) problem, a team of agents is required to accomplish a set of tasks while maximizing the overall team utility. An effective solution to this problem needs to address two ...
application/pdf
PDF (144kB) 
Devaraj, Christo; Nagda, Mehwish; Gupta, Indranil; Agha, Gul A. (200504)We propose localized and decentralized protocols to construct and maintain an underlay for sensor networks. An underlay lies in between overlay operations (e.g., data indexing, multicast, etc.) and the sensor network itself. ...
application/pdf
PDF (366kB)
Now showing items 1020 of 20