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.
Répertoire des expertises
Marsso, Lina
Répertoire des expertises
Marsso, Lina
Répertoire des expertises
Publications par date
Article de revue (2)
Communication de conférence (11)
Livre
Chapitre de livre
Brevet
Rapport
Thèse
Ensemble de données
Ressource pédagogique
Image
Enregistrement audio
Enregistrement vidéo
Autre
Lina Marsso (13)
- 2025 (4)
Communication de conférence Communication de conférence 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.Communication de conférence 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.Article de revue 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.
- 2024 (3)
Communication de conférence Feng, N., Marsso, L., Getir Yaman, S., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G. N., Cavalcanti, A., Calinescu, R., & Chechik, M. (avril 2024). Analyzing and Debugging Normative Requirements via Satisfiability Checking [Communication écrite]. 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal (12 pages).Communication de conférence Feng, N., Marsso, L., & Chechik, M. (octobre 2024). Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects [Communication écrite]. 9th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Sacramento, California, USA.Communication de conférence Feng, N., Marsso, L., Yaman, S. G., Standen, I., Baatartogtokh, Y., Ayad, R., de Mello, V. O., Townsend, B., Bartels, H., Cavalcanti, A., Calinescu, R., & Chechik, M. (juin 2024). Normative Requirements Operationalization with Large Language Models [Communication écrite]. 32nd IEEE International Requirements Engineering Conference (RE 2024), Reykjavik, Iceland.
- 2023 (4)
Communication de conférence Hu, B. C., Marsso, L., Dvornik, N., Shen, H., & Chechik, M. (décembre 2023). DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse [Communication écrite]. 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), San Francisco, California, USA.Communication de conférence Feng, N., Marsso, L., Sabetzadeh, M., & Chechik, M. (juillet 2023). Early Verification of Legal Compliance via Bounded Satisfiability Checking [Communication écrite]. 35th International Conference on Computer Aided Verification (CAV 2023), Paris, France.
Communication de conférence Feng, N., Marsso, L., Yaman, S. G., Townsend, B., Cavalcanti, A., Calinescu, R., & Chechik, M. (septembre 2023). Towards a Formal Framework for Normative Requirements Elicitation [Communication écrite]. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), Kirchberg, Luxembourg.Article de revue Horel, J.-B., Ledent, P., Marsso, L., Muller, L., Laugier, C., Mateescu, R., Paigwar, A., Renzaglia, A., & Serwe, W. (2023). Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. Journal of Intelligent & Robotic Systems, 107, 59 (28 pages).
- 2022 (2)
Communication de conférence Hu, B. C., Marsso, L., Czarnecki, K., Salay, R., Shen, H., & Chechik, M. (mai 2022). If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components [Communication écrite]. 44th IEEE/ACM International Conference on Software Engineering (ICSE 2022), Pittsburgh, Pennsylvania, USA.Communication de conférence Hu, B. C., Marsso, L., Czarnecki, K., & Chechik, M. (octobre 2022). What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components [Communication écrite]. IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), Charlotte, North Carolina, USA.
