Darek Gajewski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2025
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems. | Connor Wojtak, Darek Gajewski, Toms Cern |
| 2024 | ECSA | Case Study: Applying Automated Optimization Tooling to Microservice Environments that Scale Safely at Ancestry.com and the Learnings. | Darek Gajewski, Muhammad Ashfakur Rahman Arju, Amr S. Abdelfattah, Toms Cern |