Author of the publication

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.

, , , , and . ECEASST, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Separator, a Two-Phase Oil and Water Gravity CPS Separator Testbed., , , , , , and . CoRR, (2020)XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit., , , and . CoRR, (2019)IRONWAN: Increasing Reliability of Overlapping Networks in LoRaWAN., , , , and . IEEE Internet Things J., 9 (13): 10763-10776 (2022)An adaptive middleware framework for context-aware applications., and . Personal and Ubiquitous Computing, 10 (1): 12-20 (2006)A Survey of Potential Security Issues in Existing Wireless Sensor Network Protocols., and . IEEE Internet of Things Journal, 4 (6): 1910-1923 (2017)Making Sense of the World: Models for Reliable Sensor-Driven Systems., , , and . CoRR, (2018)Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks., , , , and . ECEASST, (2018)Dragon: Data discovery and collection architecture for distributed IoT., and . IOT, page 91-96. IEEE, (2014)Aerial Interactions with Wireless Sensors., , and . SenSys, page 373-374. ACM, (2018)Recycling Cellular Energy for Self-Sustainable IoT Networks: A Spatiotemporal Study., , , and . IEEE Trans. Wirel. Commun., 19 (4): 2699-2712 (2020)