25 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.NI2018
Network Optimization for Unified Packet and Circuit Switched Networks
Ping Yin, Steven Diamond, Bill Lin +1
Internet traffic continues to grow relentlessly, driven largely by increasingly high resolution video content. Although studies have shown that the majority of packets processed by…
cs.NI2013★ 25 cited
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
Zhe Chen, Daqiang Zhang, Rongbo Zhu +3
This paper surveys how formal verification can be used to prove the correctness of ad hoc routing protocols, which are fundamental infrastructure of wireless sensor networks. The e…