Michael J. Breza
  According to our database1,
  Michael J. Breza
  authored at least 19 papers
  between 2007 and 2025.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2025
  2023
    Sensors, December, 2023
    
  
  2022
    IEEE Internet Things J., 2022
    
  
  2021
    ACM Trans. Cyber Phys. Syst., 2021
    
  
  2020
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.
    
  
    J. Comput. Sci., 2020
    
  
    CoRR, 2020
    
  
    Proceedings of the DATA@SenSys 2020: Proceedings of the Third Workshop on Data: Acquisition To Analysis, 2020
    
  
XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit.
    
  
    Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020
    
  
  2018
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.
    
  
    Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
    
  
    Comput. Commun. Rev., 2018
    
  
    Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018
    
  
    Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018
    
  
  2017
    Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017
    
  
  2013
    PhD thesis, 2013
    
  
Multi-protocol Scheduling for Service Provision in WSN.
  
    Proceedings of the SENSORNETS 2013, 2013
    
  
  2008
    Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems, 2008
    
  
  2007
    Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007