Journal Articles and Proceedings: Recent submissions

Now showing items 43-45 of 59

    • Structuring Unreliable Radio Networks 

      Censor-Hillel, Keren; Lynch, Nancy Ann; Newport, Calvin Charles (Association for Computing Machinery (ACM), 2011)
      In this paper we study the problem of building a connected dominating set with constant degree (CCDS) in the dual graph radio network model [4,9,10]. This model includes two types of links: reliable, which always deliver ...

    • Brief Announcement: Partial Reversal Acyclicity 

      Radeva, Tsvetomira; Lynch, Nancy Ann (Association for Computing Machinery (ACM), 2011)
      Partial Reversal (PR) is a link reversal algorithm which ensures that an initially directed acyclic graph (DAG) is eventually a destination-oriented DAG. While proofs exist to establish the acyclicity property of PR, they ...

    • Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction 

      Umeno, Shinya; Lynch, Nancy Ann (Institute of Electrical and Electronics Engineers (IEEE), 2010-11)
      In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using Timeout Order Abstraction (TO-Abstraction), a technique to abstract a given ...