Items where authors include "Calinescu, RADU CONSTANTIN"

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)

Zou, Jie, STEFANAKOS, IOANNIS orcid.org/0000-0003-3741-252X, Shahbeigi Roudposhti, Sepeedeh et al. (4 more authors) (2026) Structural Causal World Models for Safety Assurance of AI-based Autonomy. In: 41st ACM/SIGAPP Symposium on Applied Computing (SAC ’26). 41st ACM/SIGAPP Symposium on Applied Computing (SAC ’26), 23-27 Mar 2026. Applied Computing Conference - Proceedings . ACM , GRC . (In Press)