Michael J. Breza
According to our database1,
Michael J. Breza
authored at least 18 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
1
1
1
4
2
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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