Browse Research and Tech Reports - Computer Science by Author "Agha, Gul A."

  • Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2004-06)
    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

    application/pdfPDF (336Kb)
  • Moinzadeh, Parya; Mechitov, Kirill A.; Agha, Gul A. (2011-09-02)
    The efficiency of multi-hop 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

    application/pdfPDF (541Kb)
  • Sundresh, Sameer; Kwon, YoungMin; Mechitov, Kirill; Kim, Wooyoung; Agha, Gul A. (2005-03)
    Localization is the process by which sensor networks associate spatial position information with individual sensors' measurements. While manual surveying is sufficient for small-scale prototypes, it is too time-consuming ...

    application/pdf

    application/pdfPDF (111Kb)
  • Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2006-01)
    We investigate the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC). IDTMCs are discrete-time finite Markov Chains for which the exact transition probabilities are not known. Instead in IDTMCs, ...

    application/pdf

    application/pdfPDF (246Kb)
  • Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2004-12)
    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

    application/pdfPDF (230Kb)
  • Agha, Gul A.; Meseguer, Jos��; Sen, Koushik (2005-03)
    We introduce a rewrite-based 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 high-level ...

    application/pdf

    application/pdfPDF (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

    application/pdfPDF (404Kb)
  • Kwon, YoungMin; Mechitov, Kirill; Sundresh, Sameer; Kim, Wooyoung; Agha, Gul A. (2004-06)
    A process which computes the physical locations of nodes in a wireless sensor network is called localization. Self-localization is critical for large-scale sensor networks because manual or assisted localization is often ...

    application/pdf

    application/pdfPDF (797Kb)
  • Dinges, Peter; Agha, Gul A. (2014-09-11)
    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

    application/pdfPDF (387Kb)
  • Ahmed, Amr M.E.; Patel, Abhilash; Brown, Tom; Ham, MyungJoo; Jang, Myeong-Wuk; Agha, Gul A. (2004-12)
    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

    application/pdfPDF (144Kb)
  • Devaraj, Christo; Nagda, Mehwish; Gupta, Indranil; Agha, Gul A. (2005-04)
    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

    application/pdfPDF (366Kb)