 | Monter d'un niveau |
Autili, M., Bucaioni, A., Filippone, G., Marsso, L., & Luca Scoccia, G. (2025). Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024. ACM SIGSOFT Software Engineering Notes, 50(2), 20-22. Lien externe
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
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
Kolyakov, K., Marsso, L., Feng, N., Quan, J., & Chećhik, M. (avril 2025). LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements [Communication écrite]. 47th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2025), Ottawa, ON, Canada. 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
Yang, Z., Merlo, E., Bénesse, C., & Marsso, L. (octobre 2025). Effective, Efficient, and Environmentally Friendly Out-of-Model-Scope Detection Methodology [Communication écrite]. 36th International Symposium on Software Reliability Engineering (ISSRE 2025), São Paulo, Brazil. Lien externe
