Documents publiés en "2025"

Département de génie informatique et génie logiciel

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins [Communication écrite] (mai 2025). First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP2025), Hamilton, ON, Canada. Publié dans Electronic Proceedings in Theoretical Computer Science, 418. Lien externe

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins [Communication écrite] (mai 2025). 1st International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, Hamilton, ON, Canada. Publié dans Electronic Proceedings in Theoretical Computer Science, 418. Lien externe

Feng, N., Marsso, L., Kholodetska, Y., & Chechik, M. (2025). Bounded satisfiability checking of FOL* formulas with aggregations. Formal Methods in System Design, 67(3), 282-315. Lien externe

Shen, H., Caroline Hu, B., Czarnecki, K., Marsso, L., & Chećhik, M. (février 2025). Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance [Communication écrite]. IEEE/CVF Winter Conference on Applications of Computer Vision (WACV 2025), Tucson, AZ, USA. Lien externe