Darek Gajewski
Orcid: 0009-0005-0441-4213
According to our database1,
Darek Gajewski authored at least 4 papers
between 2024 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
J. Syst. Softw., 2026
2025
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems.
Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025
2024
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024
Case Study: Applying Automated Optimization Tooling to Microservice Environments that Scale Safely at Ancestry.com and the Learnings.
Proceedings of the Software Architecture - 18th European Conference, 2024