On Formal Modeling and Validation of Wireless Sensor Network Protocols

Wireless Personal Communications ◽

10.1007/s11277-020-07507-8 ◽

2020 ◽

Vol 114 (4) ◽

pp. 2855-2888

Author(s):

Rachid Bechar ◽

Mounir Tahar Abbes ◽

Fareha Mezoudj ◽

Ladjel Bellatreche

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor ◽

Formal Modeling

Download Full-text

Correction to: On Formal Modeling and Validation of Wireless Sensor Network Protocols

Wireless Personal Communications ◽

10.1007/s11277-021-08738-z ◽

2021 ◽

Author(s):

Rachid Bechar ◽

Mounir Tahar Abbes ◽

Freha Mezzoudj ◽

Ladjel Bellatreche

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor ◽

Formal Modeling

Download Full-text

Investigating the Prevalent Security Techniques in Wireless Sensor Network Protocols

2019 30th Irish Signals and Systems Conference (ISSC) ◽

10.1109/issc.2019.8904934 ◽

2019 ◽

Author(s):

George D. O'Mahony ◽

Philip J. Harris ◽

Colin C. Murphy

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor

Download Full-text

Understanding radio activity signature of wireless sensor network protocols

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems - SenSys '14 ◽

10.1145/2668332.2668368 ◽

2014 ◽

Author(s):

Dong Han ◽

Omprakash Gnawali ◽

Abhishek Sharma

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor

Download Full-text

Effect of gossiping on some basic wireless sensor network protocols

2017 21st International Conference on System Theory, Control and Computing (ICSTCC) ◽

10.1109/icstcc.2017.8107052 ◽

2017 ◽

Author(s):

Chiranjib Patra ◽

Nicolae Botezatu

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor

Download Full-text

Analysis of Wireless Sensor Network Protocols using Data Mining Techniques

International Journal of Advanced Engineering Research and Science ◽

10.22161/ijaers/3.9.14 ◽

2016 ◽

Vol 3 (9) ◽

pp. 90-94

Author(s):

Siddhi Raut ◽

Lalit Dole ◽

Jayant Rajurkar

Keyword(s):

Data Mining ◽

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor ◽

Data Mining Techniques ◽

Download Full-text

Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude

Theoretical Computer Science ◽

10.1016/j.tcs.2008.09.022 ◽

2009 ◽

Vol 410 (2-3) ◽

pp. 254-280 ◽

Author(s):

Peter Csaba Ölveczky ◽

Stian Thorvaldsen

Keyword(s):

Wireless Sensor Network ◽

Model Checking ◽

Real Time ◽

Sensor Network ◽

Performance Estimation ◽

Wireless Sensor ◽

Formal Modeling ◽

Network Algorithms

Download Full-text

A Survey on Wireless Sensor Network Protocols for Transport Layer

2018 Second International Conference on Electronics, Communication and Aerospace Technology (ICECA) ◽

10.1109/iceca.2018.8474610 ◽

2018 ◽

Author(s):

Utkarsh Dwivedi ◽

Ashwani Agarwal ◽

Ahona Roy ◽

Adrija Chakraborty ◽

Amrit Mukherjee

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Transport Layer ◽

Wireless Sensor

Download Full-text

Comparison of traffic dependent wireless sensor network protocols

2010 Second International Conference on Ubiquitous and Future Networks (ICUFN) ◽

10.1109/icufn.2010.5547218 ◽

2010 ◽

Author(s):

JaeHyun Kim ◽

MyungJune Youn ◽

HahnEarl Jeon ◽

Jaiyong Lee

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor

Download Full-text

A Comparison of Blockchain-Based Wireless Sensor Network Protocols

2020 11th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON) ◽

10.1109/uemcon51285.2020.9298055 ◽

2020 ◽

Author(s):

Abena Primo

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Network Protocols ◽

Wireless Sensor

Download Full-text

Review on Energy Efficient Wireless Sensor Network Protocols

10.1109/eeeic/icpseurope51590.2021.9584696 ◽

2021 ◽

Author(s):

M Ravinder ◽

Vikram Kulkarni

Keyword(s):

Wireless Sensor Network ◽

Sensor Network ◽

Energy Efficient ◽

Network Protocols ◽

Wireless Sensor

Download Full-text