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.
Directory of Experts
Marsso, Lina
Directory of Experts
Marsso, Lina
Directory of Experts
Publications by type
Journal article (2)
Conference paper (11)
Book
Book chapter
Patent
Report
Thesis
Dataset
Teaching resource
Image
Audio recording
Video recording
Other
Lina Marsso (13)
- Journal articles (2)
- 2025
Journal article
- 2023
Journal article 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).
- 2025
- Conference papers (11)
- 2025
Conference paper Shen, H., Caroline Hu, B., Czarnecki, K., Marsso, L., & Chećhik, M. (2025, February). Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance [Paper]. IEEE/CVF Winter Conference on Applications of Computer Vision (WACV 2025), Tucson, AZ, USA.Conference paper Kolyakov, K., Marsso, L., Feng, N., Quan, J., & Chećhik, M. (2025, April). LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements [Paper]. 47th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2025), Ottawa, ON, Canada.Conference paper Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins [Paper] (2025, May). First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP2025), Hamilton, ON, Canada. Published in Electronic Proceedings in Theoretical Computer Science, 418.
- 2024
Conference paper 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. (2024, April). Analyzing and Debugging Normative Requirements via Satisfiability Checking [Paper]. 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal (12 pages).Conference paper Feng, N., Marsso, L., & Chechik, M. (2024, October). Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects [Paper]. 9th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Sacramento, California, USA.Conference paper 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. (2024, June). Normative Requirements Operationalization with Large Language Models [Paper]. 32nd IEEE International Requirements Engineering Conference (RE 2024), Reykjavik, Iceland.
- 2023
Conference paper Hu, B. C., Marsso, L., Dvornik, N., Shen, H., & Chechik, M. (2023, December). DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse [Paper]. 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), San Francisco, California, USA.Conference paper Feng, N., Marsso, L., Sabetzadeh, M., & Chechik, M. (2023, July). Early Verification of Legal Compliance via Bounded Satisfiability Checking [Paper]. 35th International Conference on Computer Aided Verification (CAV 2023), Paris, France.
Conference paper Feng, N., Marsso, L., Yaman, S. G., Townsend, B., Cavalcanti, A., Calinescu, R., & Chechik, M. (2023, September). Towards a Formal Framework for Normative Requirements Elicitation [Paper]. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), Kirchberg, Luxembourg.
- 2022
Conference paper Hu, B. C., Marsso, L., Czarnecki, K., Salay, R., Shen, H., & Chechik, M. (2022, May). If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components [Paper]. 44th IEEE/ACM International Conference on Software Engineering (ICSE 2022), Pittsburgh, Pennsylvania, USA.Conference paper Hu, B. C., Marsso, L., Czarnecki, K., & Chechik, M. (2022, October). What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components [Paper]. IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), Charlotte, North Carolina, USA.
- 2025
