Michael Breza

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Environmental Conditions

Formal Verification

Sparsely Connected

Cyber Physical Systems

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

IEEE Internet Things J.

Publications

Aisha Kanwal Junejo, Michael Breza, Julie A. McCann
Threat Modeling for Communication Security of IoT-Enabled Digital Logistics. Sensors 23 (23) (2023)
Laksh Bhatia, Po-Yu Chen, Michael Breza, Cong Zhao, Julie A. McCann
IRONWAN: Increasing Reliability of Overlapping Networks in LoRaWAN. IEEE Internet Things J. 9 (13) (2022)
Laksh Bhatia, Po-Yu Chen, Michael Breza, Cong Zhao, Julie A. McCann
IRONWAN: Increasing Reliability of Overlapping Networks in LoRaWAN. CoRR (2021)
Laksh Bhatia, Ivana Tomic, Anqi Fu, Michael Breza, Julie A. McCann
Control Communication Co-Design for Wide Area Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 5 (2) (2021)
Laksh Bhatia, Michael Breza, Ramona Marfievici, Julie A. McCann
Dataset: LoED: The LoRaWAN at the Edge Dataset. CoRR (2020)
Laksh Bhatia, Ivana Tomic, Anqi Fu, Michael Breza, Julie A. McCann
Control Communication Co-Design for Wide Area Cyber-Physical Systems. CoRR (2020)
Laksh Bhatia, Michael Breza, Ramona Marfievici, Julie A. McCann
LoED: The LoRaWAN at the edge dataset: dataset. DATA@SenSys (2020)
Alberto Spina, Michael Breza, Naranker Dulay, Julie Ann McCann
XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit. EWSN (2020)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45 (2020)
Alberto Spina, Michael Breza, Naranker Dulay, Julie A. McCann
XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit. CoRR (2019)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)