 | Up a level |
Lina MarssoDepartment of Computer Engineering and Software Engineering
Profile in the Directory of Experts of Polytechnique Montréal
Collaboration networkThis graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
Word cloudA word cloud is a visual representation of the most frequently used words in a text or a set of texts. The words appear in different sizes, with the size of each word being proportional to its frequency of occurrence in the text. The more frequently a word is used, the larger it appears in the word cloud. This technique allows for a quick visualization of the most important themes and concepts in a text.
In the context of this page, the word cloud was generated from the publications of the author {}. The words in this cloud come from the titles, abstracts, and keywords of the author's articles and research papers. By analyzing this word cloud, you can get an overview of the most recurring and significant topics and research areas in the author's work.
The word cloud is a useful tool for identifying trends and main themes in a corpus of texts, thus facilitating the understanding and analysis of content in a visual and intuitive way.
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. External link
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. External link
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). External link
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. External link
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. External link
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. External link
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. External link
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. External link
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). External link
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. External link
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. External link
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. External link
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. External link
