Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection
暂无分享,去创建一个
[1] Yang Xiao,et al. Divide- and conquer-based surveillance framework using robots, sensor nodes, and RFID tags , 2011, Wirel. Commun. Mob. Comput..
[2] Ying Zhang,et al. Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks , 2010, IEEE Transactions on Computers.
[3] Yu Gu,et al. A Novel Accurate Forest Fire Detection System Using Wireless Sensor Networks , 2011, 2011 Seventh International Conference on Mobile Ad-hoc and Sensor Networks.
[4] Jenn-Wei Lin,et al. Improving the coverage of randomized scheduling in wireless sensor networks , 2008, IEEE Transactions on Wireless Communications.
[5] Sofiène Tahar,et al. Formal Reasoning about Expectation Properties for Continuous Random Variables , 2009, FM.
[6] Peter Csaba Ölveczky,et al. Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude , 2007, FMOODS.
[7] Kamel Barkaoui,et al. Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol , 2010, ArXiv.
[8] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[9] Sofiène Tahar,et al. Formal Reliability Analysis Using Theorem Proving , 2010, IEEE Transactions on Computers.
[10] Sofiène Tahar,et al. Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks , 2011, ICFEM.
[11] Sofiène Tahar,et al. Probabilistic Analysis of Wireless Systems Using Theorem Proving , 2009, FMWS@CONCUR.
[12] Annabelle McIver,et al. Formal Techniques for the Analysis of Wireless Networks , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[13] H. Katzgraber. Introduction to Monte Carlo Methods , 2009, 0905.1629.
[14] Rekha Jain,et al. Wireless Sensor Network -A Survey , 2013 .
[15] Sofiène Tahar,et al. Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL , 2008, Journal of Automated Reasoning.
[16] Osman Hasan,et al. Formal probabilistic analysis using theorem proving , 2008 .
[17] Michael J. C. Gordon,et al. Mechanizing programming logics in higher order logic , 1989 .
[18] Joe Hurd,et al. Formal verification of probabilistic algorithms , 2003 .
[19] Paolo Ballarini,et al. Model Checking Medium Access Control for Sensor Networks , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[20] Aarti Gupta,et al. Formal hardware verification methods: A survey , 1992, Formal Methods Syst. Des..
[21] Yang Xiao,et al. Surveillance and Tracking System with Collaboration of Robots, Sensor Nodes, and RFID Tags , 2009, 2009 Proceedings of 18th International Conference on Computer Communications and Networks.
[22] J. Cihlar,et al. Satellite-based detection of Canadian boreal forest fires: Development and application of the algorithm , 2000 .
[23] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[24] Joe Hurd,et al. Verification of the Miller-Rabin probabilistic primality test , 2003, J. Log. Algebraic Methods Program..
[25] S. Srivastava,et al. A Survey and Classification of Distributed Scheduling Algorithms for Sensor Networks , 2007, 2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007).
[26] Yang Xiao,et al. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, PAPER ID: TPDS-0307-0605.R1 1 Random Coverage with Guaranteed Connectivity: Joint Scheduling for Wireless Sensor Networks , 2022 .
[27] Graham Birtwistle,et al. Current Trends in Hardware Verification and Automated Theorem Proving , 1989, Springer New York.