Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks-Reference-Cited by-同舟云学术

Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

Published:2009 Issue: Volume: Page:516-531
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

Heidarian Faranak,Schmaltz Julien,Vaandrager Frits

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_33.pdf

Reference21 articles.

1. Assegei, F.A.: Decentralized frame synchronization of a TDMA-based wireless sensor network. Master’s thesis, Eindhoven University of Technology, Department of Electrical Engineering (2008)

2. Bakhshi, R., Bonnet, F., Fokkink, W., Haverkort, B.: Formal analysis techniques for gossiping protocols. SIGOPS Oper. Syst. Rev. 41(5), 28–36 (2007)

3. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), Riverside, CA, USA, September 11-14, pp. 125–126. IEEE Computer Society, Los Alamitos (2006)

4. Lecture Notes in Computer Science;G. Behrmann,2004

5. Lecture Notes in Computer Science;G.M. Brown,2006

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL;Journal of Software: Evolution and Process;2021-09-29

2. Formal Verification of a Mixed-Trust Synchronization Protocol;29th International Conference on Real-Time Networks and Systems;2021-04-07

3. RPATS – Reliable power aware time synchronization protocol;Microelectronics Reliability;2014-01

4. Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata;Electronic Notes in Theoretical Computer Science;2013-08

5. Analysis of a clock synchronization protocol for wireless sensor networks;Theoretical Computer Science;2012-01