Connor Wojtak

According to our database¹, Connor Wojtak authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems.

[BibT_eX]

[DOI]

CoRR, September, 2025

Formal Methods for Verifying Authorization Policy in Microservice Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented System Engineering, 2025