 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 1320 of 20

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 1320 of 20