Items where authors include "VAZQUEZ FLORES, Gricel"

Proceedings Paper

Calinescu, RADU CONSTANTIN orcid.org/0000-0002-2678-9260, GERASIMOU, SIMOS orcid.org/0000-0002-2706-5272, Getir Yaman, Sinem et al. (2 more authors) (2026) Verification of Multi-Model Stochastic Systems. In: 48th IEEE/ACM International Conference on Software Engineering (ICSE 2026):. IEEE/ACM International Conference on Software Engineering, 15-17 Apr 2026. IEEE , BRA . (In Press)