Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks
暂无分享,去创建一个
Sofiène Tahar | Mohamed Abid | Osman Hasan | Maissa Elleuch | S. Tahar | O. Hasan | M. Abid | M. Elleuch
[1] Ding-Zhu Du,et al. Improving Wireless Sensor Network Lifetime through Power Aware Organization , 2005, Wirel. Networks.
[2] 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 .
[3] Songwu Lu,et al. PEAS: a robust energy conserving protocol for long-lived sensor networks , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..
[4] J. Harrison. Formalized Mathematics , 1996 .
[5] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[6] 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).
[7] L. M. M.-T.. Theory of Probability , 1929, Nature.
[8] Yang Xiao,et al. Lightweight Deployment-Aware Scheduling for Wireless Sensor Networks , 2005, Mob. Networks Appl..
[9] Jenn-Wei Lin,et al. Improving the coverage of randomized scheduling in wireless sensor networks , 2008, IEEE Transactions on Wireless Communications.
[10] Tian He,et al. Differentiated surveillance for sensor networks , 2003, SenSys '03.
[11] Miodrag Potkonjak,et al. Power efficient organization of wireless sensor networks , 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).
[12] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[13] 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).
[14] Sofiène Tahar,et al. Formal Reasoning about Expectation Properties for Continuous Random Variables , 2009, FM.
[15] Kamel Barkaoui,et al. Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol , 2010, ArXiv.
[16] Ashish Goel,et al. Set k-cover algorithms for energy efficient monitoring in wireless sensor networks , 2003, Third International Symposium on Information Processing in Sensor Networks, 2004. IPSN 2004.
[17] Joe Hurd,et al. Formal verification of probabilistic algorithms , 2003 .
[18] L. Devroye. Non-Uniform Random Variate Generation , 1986 .
[19] S. Silvestri. International Conference on Sensor Technologies and Applications , 2010 .
[20] Sofiène Tahar,et al. Probabilistic Analysis of Wireless Systems Using Theorem Proving , 2009, FMWS@CONCUR.
[21] Robert Metcalfe,et al. Reverse path forwarding of broadcast packets , 1978, CACM.
[22] Sofiène Tahar,et al. Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL , 2008, Journal of Automated Reasoning.
[23] John Robert Harrison,et al. Theorem proving with the real numbers , 1998, CPHC/BCS distinguished dissertations.
[24] Mahamod Ismail,et al. Performance of a connected random covered energy efficient wireless sensor network. , 2009 .
[25] Stephan Merz,et al. Model Checking , 2000 .
[26] Peter Csaba Ölveczky,et al. Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude , 2007, FMOODS.
[27] Sofiène Tahar,et al. Formal Reliability Analysis Using Theorem Proving , 2010, IEEE Transactions on Computers.
[28] Osman Hasan,et al. Formal probabilistic analysis using theorem proving , 2008 .
[29] P.B. Godfrey,et al. Naps: scalable, robust topology management in wireless ad hoc networks , 2004, Third International Symposium on Information Processing in Sensor Networks, 2004. IPSN 2004.
[30] 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).
[31] Deborah Estrin,et al. Topology Control Protocols to Conserve Energy in Wireless Ad Hoc Networks , 2003 .
[32] Di Tian,et al. A coverage-preserving node scheduling scheme for large wireless sensor networks , 2002, WSNA '02.
[33] Aarti Gupta,et al. Formal hardware verification methods: A survey , 1992, Formal Methods Syst. Des..
[34] Sofiène Tahar,et al. Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays , 2009, IFM.
[35] Biswanath Mukherjee,et al. Wireless sensor network survey , 2008, Comput. Networks.
[36] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[37] Joe Hurd,et al. Verification of the Miller-Rabin probabilistic primality test , 2003, J. Log. Algebraic Methods Program..
[38] Ana Cavalcanti,et al. FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings , 2009, FM.
[39] Marta Z. Kwiatkowska,et al. PRISM: probabilistic model checking for performance and reliability analysis , 2009, PERV.
[40] David J. C. Mackay,et al. Introduction to Monte Carlo Methods , 1998, Learning in Graphical Models.
[41] Graham Birtwistle,et al. Current Trends in Hardware Verification and Automated Theorem Proving , 1989, Springer New York.
[42] José Meseguer,et al. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems , 2006, QAPL.
[43] Ashish Goel,et al. Set k-cover algorithms for energy efficient monitoring in wireless sensor networks , 2003, Third International Symposium on Information Processing in Sensor Networks, 2004. IPSN 2004.
[44] Michael J. C. Gordon,et al. Mechanizing programming logics in higher order logic , 1989 .