Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Bhattiprolu, Vijay; Gordon, Spencer; Viswanathan, Mahesh (2017-06-23)
    We prove an analog of Parikh's theorem for weighted context-free grammars over commutative, idempotent semirings, and exhibit a stochastic context-free grammar with behavior that cannot be realized by any stochastic ...

    application/pdf

    application/pdfPDF (299kB)
  • Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh (2017)
    Security protocols that provide privacy and anonymity guarantees are growing increasingly prevalent in the online world. The highly intricate nature of these protocols makes them vulnerable to subtle design flaws. Formal ...

    application/pdf

    application/pdfPDF (558kB)
  • Liu, Si; Ölveczky, Peter Csaba; Meseguer, José (2015)
    The modeling and analysis of mobile ad hoc networks MANETs pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni- and bidirectionality can interact in unforeseen ...

    application/pdf

    application/pdfPDF (988kB)
  • Liu, Si; Ölveczky, Peter Csaba; Meseguer, José (2017)
    Mobile ad hoc networks (MANETs) are increasingly popular and deployed in a wide range of environments. However, it is challenging to formally analyze a MANET, both because there are few reasonably accurate formal models ...

    application/pdf

    application/pdfPDF (945kB)
  • Liu, Si; Ölveczky, Peter Csaba; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José (2017)
    In this paper we explore and extend the design space of the recent RAMP (Read Atomic Multi-Partition) transaction system for large-scale partitioned data stores. Arriving at a mature distributed system design through ...

    application/pdf

    application/pdfPDF (607kB)

Collection Statistics