VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time

Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan. VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. In Jiman Hong, Sebastiano Battiato, Christian Esposito 0001, Juw Won Park, Adam Przybylek, editors, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. pages 1674-1691, ACM, 2025. [doi]

@inproceedings{AwadLBR25,
  title = {VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time},
  author = {Hiba Awad and Thomas Ledoux and Hugo Bruneliere and Jonathan Rivalan},
  year = {2025},
  doi = {10.1145/3672608.3707854},
  url = {https://doi.org/10.1145/3672608.3707854},
  researchr = {https://researchr.org/publication/AwadLBR25},
  cites = {0},
  citedby = {0},
  pages = {1674-1691},
  booktitle = {Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025},
  editor = {Jiman Hong and Sebastiano Battiato and Christian Esposito 0001 and Juw Won Park and Adam Przybylek},
  publisher = {ACM},
  isbn = {979-8-4007-0629-5},
}