Procedure-modular verification of control flow safety properties. - Siavash Soleimanifard; Dilian Gurov; Marieke Huisman (FTfJP@ECOOP, 2010)

Compositional Algorithmic Verification of Software Product Lines. - Ina Schaefer; Dilian Gurov; Siavash Soleimanifard (FMCO, 2010)

Inferring Compact Models of Communication Protocol Entities. - Therese Bohlin; Bengt Jonsson 001; Siavash Soleimanifard (ISoLA (1), 2010)

ProMoVer: Modular Verification of Temporal Safety Properties. - Siavash Soleimanifard; Dilian Gurov; Marieke Huisman (SEFM, 2011)

Algorithmic Verification of Procedural Programs in the Presence of Code Variability. - Siavash Soleimanifard (2014)

Procedure-modular specification and verification of temporal safety properties. - Siavash Soleimanifard; Dilian Gurov; Marieke Huisman (Softw. Syst. Model., 2015)

Algorithmic verification of procedural programs in the presence of code variability. - Siavash Soleimanifard; Dilian Gurov (Sci. Comput. Program., 2016)

MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale. - Arnab Choudhury; Yang Wang 009; Tuomas Pelkonen; Kutta Srinivasan; Abha Jain; Shenghao Lin; Delia David; Siavash Soleimanifard; Michael Chen; Abhishek Yadav; Ritesh Tijoriwala; Denis Samoylov; et al. (OSDI, 2024)