Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

José A. Mateo; Hermenegilda Macià; M. Carmen Ruiz; Javier Calleja; Fernando Royo

doi:10.1155/2015/285396

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

International Journal of Distributed Sensor Networks ◽

10.1155/2015/285396 ◽

2015 ◽

Vol 11 (5) ◽

pp. 285396 ◽

Cited By ~ 1

Author(s):

José A. Mateo ◽

Hermenegilda Macià ◽

M. Carmen Ruiz ◽

Javier Calleja ◽

Fernando Royo

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Probabilistic Model ◽

Wireless Sensor ◽

Probabilistic Model Checking ◽

One Step

Download Full-text

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks

IEEE Systems Journal ◽

10.1109/jsyst.2012.2224612 ◽

2013 ◽

Vol 7 (1) ◽

pp. 4-12 ◽

Cited By ~ 16

Author(s):

Sophia Petridou ◽

Stylianos Basagiannis ◽

Manos Roumeliotis

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Probabilistic Model ◽

Wireless Sensor ◽

Probabilistic Model Checking

Download Full-text

A performability analysis of mobile wireless sensor networks with probabilistic model checking

2011 Wireless Advanced ◽

10.1109/wiad.2011.5983270 ◽

2011 ◽

Cited By ~ 2

Author(s):

Robert Abo ◽

Kamel Barkaoui

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Probabilistic Model ◽

Wireless Sensor ◽

Probabilistic Model Checking ◽

Mobile Wireless ◽

Mobile Wireless Sensor Networks ◽

Mobile Wireless Sensor

Download Full-text

Modeling local broadcast behavior of wireless sensor networks with timed automata for model checking of WCTT

Proceeings of the 2nd International Workshop on Worst-Case Traversal Time - WCTT '12 ◽

10.1145/2428592.2428596 ◽

2012 ◽

Cited By ~ 2

Author(s):

Alexandre Mouradian ◽

Isabelle Augé-Blum

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Timed Automata ◽

Wireless Sensor ◽

Local Broadcast

Download Full-text

Probabilistic Model for Energy Estimation in Wireless Sensor Networks

Algorithmic Aspects of Wireless Sensor Networks - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27820-7_15 ◽

2004 ◽

pp. 157-170 ◽

Cited By ~ 4

Author(s):

Mounir Achir ◽

Laurent Ouvry

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Probabilistic Model ◽

Wireless Sensor ◽

Energy Estimation

Download Full-text

CaVi -- Simulation and Model Checking for Wireless Sensor Networks

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.32 ◽

2008 ◽

Cited By ~ 5

Author(s):

Athanassios Boulis ◽

Ansgar Fehnker ◽

Matthias Fruth ◽

Annabelle McIver

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Wireless Sensor

Download Full-text

Model Checking of a Target Tracking Protocol for Wireless Sensor Networks

2010 10th IEEE International Conference on Computer and Information Technology ◽

10.1109/cit.2010.479 ◽

2010 ◽

Cited By ~ 3

Author(s):

Sania Bhatti ◽

Jie Xu ◽

Mohsin Memon

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Target Tracking ◽

Wireless Sensor

Download Full-text

Location Estimation in Wireless Sensor Networks Based on Probabilistic Model with Variant Variance and Evolutionary Algorithm

Journal of Software ◽

10.3724/sp.j.1001.2013.04255 ◽

2014 ◽

Vol 24 (4) ◽

pp. 859-872

Author(s):

Miao YE ◽

Yu-Ping WANG

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Evolutionary Algorithm ◽

Probabilistic Model ◽

Location Estimation ◽

Wireless Sensor

Download Full-text

Model Checking Based Classification Technique for Wireless Sensor Networks

New Review of Information Networking ◽

10.1080/13614576.2012.724286 ◽

2012 ◽

Vol 17 (2) ◽

pp. 93-107 ◽

Cited By ~ 6

Author(s):

Samer Samarah ◽

Mohammed Al Zamil ◽

Ahmad Saifan

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Wireless Sensor ◽

Classification Technique

Download Full-text

Model checking and analyzing the security protocol for wireless sensor networks

Proceedings of 2011 International Conference on Electronic & Mechanical Engineering and Information Technology ◽

10.1109/emeit.2011.6023953 ◽

2011 ◽

Author(s):

Weihong Chen ◽

Weichu Xiao

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Security Protocol ◽

Wireless Sensor

Download Full-text

A probabilistic model for relative location estimation in wireless sensor networks

IEEE Communications Letters ◽

10.1109/lcomm.2009.12.090502 ◽

2009 ◽

Vol 13 (12) ◽

pp. 893-895 ◽

Cited By ~ 7

Author(s):

C.-H. Chang ◽

W. Liao

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Probabilistic Model ◽

Location Estimation ◽

Wireless Sensor ◽

Relative Location

Download Full-text