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)

RAFIQ, YASMEEN, VAZQUEZ FLORES, Gricel, Calinescu, RADU orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2025) Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. In: Taibi, Davide and Smite, Darja, (eds.) 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA. 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA, 10 Sep 2024 - 12 Sep 2025. Springer , ITA , pp. 290-308.