Autor der Publikation

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.

, , , , und . J. Comput. Sci., (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit., , , und . CoRR, (2019)Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks., , , , und . ECEASST, (2018)Dragon: Data discovery and collection architecture for distributed IoT., und . IOT, Seite 91-96. IEEE, (2014)The Separator, a Two-Phase Oil and Water Gravity CPS Separator Testbed., , , , , , und . CoRR, (2020)A Survey of Potential Security Issues in Existing Wireless Sensor Network Protocols., und . IEEE Internet of Things Journal, 4 (6): 1910-1923 (2017)Poster Abstract: LPWA-MAC - a Low Power Wide Area network MAC protocol for cyber-physical systems., , und . CoRR, (2018)Making Sense of the World: Models for Reliable Sensor-Driven Systems., , , und . CoRR, (2018)Aerial Interactions with Wireless Sensors., , und . SenSys, Seite 373-374. ACM, (2018)EBS: decentralised slot synchronisation for broadcast messaging for low-power wireless embedded systems., und . COMSWARE, Seite 9. ACM, (2011)Non-Orthogonal Multiple Access in Large-Scale Heterogeneous Networks., , , , und . IEEE J. Sel. Areas Commun., 35 (12): 2667-2680 (2017)