 | Monter d'un niveau |
Lina MarssoDépartement de génie informatique et génie logiciel
Voir sa fiche dans le Répertoire des Expertises de Polytechnique Montréal
Réseau de collaborationCe graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.
Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.
Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.
Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.
Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.
Nuage de motsUn nuage de mots est une représentation visuelle des mots les plus fréquemment utilisés dans un texte ou un ensemble de textes. Les mots apparaissent dans différentes tailles, la taille de chaque mot étant proportionnelle à sa fréquence d'apparition dans le texte. Plus un mot est utilisé fréquemment, plus il apparaît en grand dans le nuage de mots. Cette technique permet de visualiser rapidement les thèmes et les concepts les plus importants d'un texte.
Dans le contexte de cette page, le nuage de mots a été généré à partir des publications de l'auteur {}. Les mots présents dans ce nuage proviennent des titres, résumés et mots-clés des articles et travaux de recherche de cet auteur. En analysant ce nuage de mots, vous pouvez obtenir un aperçu des sujets et des domaines de recherche les plus récurrents et significatifs dans les travaux de cet auteur.Le nuage de mots est un outil utile pour identifier les tendances et les thèmes principaux dans un corpus de textes, facilitant ainsi la compréhension et l'analyse des contenus de manière visuelle et intuitive.
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
Weyns, D., Călinescu, R., Mirandola, R., Tei, K., Acosta, M., Bencomo, N., Bennaceur, A., Boltz, N., Bureš, T., Cámara, J., Diaconescu, A., Engels, G., Gerasimou, S., Gerostathopoulos, I., Getir Yaman, S., Grassi, V., Hahner, S., Inverardi, P., Van Landuyt, D., ... Zisman, A. (2023). Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems. ACM SIGSOFT Software Engineering Notes, 48(4), 20-36. Lien externe
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). Lien externe
Garavel, H., & Marsso, L. (2017). A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. [Présentation]. Electronic Proceedings in Theoretical Computer Science, 244, 129-183. Présentée à 2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppala, Sweden. 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
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
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
Quan, J., Marsso, L., Alrajeh, D., & Chechik, M. (avril 2025). Untangling Shared Phenomena for Improving Analysis of Normative Requirements [Communication écrite]. Workshop on Multi-disciplinary, Open, and RElevant Requirements Engineering (MO2RE 2025), Ottawa, ON, Canada. Lien externe
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). Lien externe
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. Lien externe
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. Lien externe
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. Lien externe
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. Lien externe
SE4SafeML 2023: Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components [Communication écrite] (décembre 2023). 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023), San Francisco, CA, USA. Lien externe
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. Lien externe
Marsso, L., Mateescu, R., Muller, L., & Serwe, W. (avril 2022). Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing [Communication écrite]. 5th Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany. Publié dans Electronic Proceedings in Theoretical Computer Science, 355. Lien externe
Horel, J.-B., Laugier, C., Marsso, L., Mateescu, R., Muller, L., Paigwar, A., Renzaglia, A., & Serwe, W. (mars 2022). Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles [Communication écrite]. Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Antwerp, Belgium. Lien externe
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. Lien externe
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. Lien externe
Marsso, L. (avril 2020). Specifying a Cryptographical Protocol in Lustre and SCADE [Communication écrite]. 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland. Publié dans Electronic Proceedings in Theoretical Computer Science, 316. Lien externe
Marsso, L., Mateescu, R., & Serwe, W. (décembre 2020). Automated Transition Coverage in Behavioural Conformance Testing [Communication écrite]. 32nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2020). Publié dans Lecture notes in computer science. Lien externe
Marsso, L., Mateescu, R., Parissis, I., & Serwe, W. (décembre 2019). Asynchronous Testing of Synchronous Components in GALS Systems [Communication écrite]. 15th International Conference on Integrated Formal Methods (IFM 2019), Bergen, Norway. Publié dans Lecture notes in computer science. Lien externe
Garavel, H., & Marsso, L. (avril 2018). Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm [Communication écrite]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece. Publié dans Electronic Proceedings in Theoretical Computer Science, 268. Lien externe
Bozic, J., Marsso, L., Mateescu, R., & Wotawa, F. (avril 2018). A Formal TLS Handshake Model in LNT [Communication écrite]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece (40 pages). Publié dans Electronic Proceedings in Theoretical Computer Science, 268. Lien externe
Marsso, L., Mateescu, R., & Serwe, W. (avril 2018). TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation [Communication écrite]. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Thessaloniki, Greece. Publié dans Lecture notes in computer science. Lien externe
