Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Katelman
Redesign of the LMST Wireless Sensor Protocol Through Formal Modeling and Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Verification of a Group Membership Protocol Using Model Checking
Statistical Model Checking of LLVM Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Energy Optimization Through Position ResponsiveRouting Protocol (PRRP) in Wireless Sensor Network
International Journal of Information and Electronics Engineering
3D Modeling Using a Statistical Sensor Model and Stochastic Search
TEEN Protocol in Wireless Sensor Network
Bonfring International Journal of Research in Communication Engineering
Modeling the Performance of Wireless Sensor Networks
Coupling and Importance Sampling for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Verification of Wireless Sensor Networks With Formal Methods
An Intelligent Evaluation Model Based on the LEACH Protocol in Wireless Sensor Networks
