Probabilistic Analysis of Wireless Systems Using Theorem Proving
暂无分享,去创建一个
[1] Marta Z. Kwiatkowska,et al. Quantitative Analysis With the Probabilistic Model Checker PRISM , 2006, QAPL.
[2] T. V. Lakshman,et al. The performance of TCP/IP for networks with high bandwidth-delay products and random loss , 1997, TNET.
[3] Paolo Santi,et al. A probabilistic analysis for the range assignment problem in ad hoc networks , 2001, MobiHoc.
[4] Holger Hermanns,et al. A tool for model-checking Markov chains , 2003, International Journal on Software Tools for Technology Transfer.
[5] Peter Csaba Ölveczky,et al. Specification and Analysis of Real-Time Systems Using Real-Time Maude , 2004, FASE.
[6] Joe Hurd,et al. Formal verification of probabilistic algorithms , 2003 .
[7] Christian Bettstetter,et al. GSM phase 2+ general packet radio service GPRS: Architecture, protocols, and air interface , 1999, IEEE Communications Surveys & Tutorials.
[8] David J. C. Mackay,et al. Introduction to Monte Carlo Methods , 1998, Learning in Graphical Models.
[9] Sofiène Tahar,et al. Formal verification of tail distribution bounds in the HOL theorem prover , 2009 .
[10] Cristian Demetrescu. LLC-MAC analysis of general packet radio service in GSM , 1999, Bell Labs Technical Journal.
[11] Myung J. Lee,et al. A Comprehensive Performance Study of IEEE 802 . 15 . 4 , 2004 .
[12] Diego Latella,et al. Model checking dependability attributes of wireless group communication , 2004, International Conference on Dependable Systems and Networks, 2004.
[13] Stephan Merz,et al. Model Checking , 2000 .
[14] Walter L. Smith. Probability and Statistics , 1959, Nature.
[15] Michael J. C. Gordon,et al. Mechanizing programming logics in higher order logic , 1989 .
[16] 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).
[17] Stefan Richter,et al. Formalizing Integration Theory with an Application to Probabilistic Algorithms , 2004, TPHOLs.
[18] Aarti Gupta,et al. Formal hardware verification methods: A survey , 1992, Formal Methods Syst. Des..
[19] Graham Birtwistle,et al. Current Trends in Hardware Verification and Automated Theorem Proving , 1989, Springer New York.
[20] Babak Hassibi,et al. Communication over a wireless network with random connections , 2006, IEEE Transactions on Information Theory.
[21] Raksha Upadhyay,et al. Monte Carlo Simulation Based Error Performance Analysis of DS-CDMA System , 2008, 2008 Second Asia International Conference on Modelling & Simulation (AMS).
[22] Sofiène Tahar,et al. Formalization of Continuous Probability Distributions , 2007, CADE.
[23] José Meseguer,et al. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems , 2006, QAPL.
[24] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[25] Sofiène Tahar,et al. Formalization of the Standard Uniform random variable , 2007, Theor. Comput. Sci..
[26] Anthony C. Boucouvalas,et al. Simulation analysis of advanced infrared (Alr) MAC wireless communications protocol , 2002 .
[27] Matthias Fruth,et al. Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[28] P. Spreij. Probability and Measure , 1996 .
[29] Mahesh Viswanathan,et al. VESTA: A statistical model-checker and analyzer for probabilistic systems , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[30] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[31] Phuoc Tran-Gia,et al. Teletraffic models and planning in wireless IP networks , 1999, WCNC. 1999 IEEE Wireless Communications and Networking Conference (Cat. No.99TH8466).
[32] L. M. M.-T.. Theory of Probability , 1929, Nature.
[33] Aravind Srinivasan,et al. Randomized Algorithms and Probabilistic Analysis in Wireless Networking , 2007, SAGA.
[34] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[35] L. Devroye. Non-Uniform Random Variate Generation , 1986 .
[36] MA John Harrison PhD. Theorem Proving with the Real Numbers , 1998, Distinguished Dissertations.
[37] Osman Hasan,et al. Formal probabilistic analysis using theorem proving , 2008 .
[38] Alberto Leon-Garcia,et al. Communication Networks: Fundamental Concepts and Key Architectures , 1999 .
[39] Marta Z. Kwiatkowska,et al. Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol , 2002, PAPM-PROBMIV.
[40] Sofiène Tahar,et al. Verification of Expectation Properties for Discrete Random Variables in HOL , 2007, TPHOLs.
[41] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[42] Peter Csaba Ölveczky,et al. Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude , 2007, FMOODS.