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.
Directory of Experts
Marsso, Lina
Directory of Experts
Marsso, Lina
Directory of Experts
Publications by type
Journal article (4)
Conference paper (23)
Book
Book chapter
Patent
Report
Thesis
Dataset
Teaching resource
Image
Audio recording
Video recording
Other
Lina Marsso (27)
- Journal articles (4)
- 2025
Journal article
- 2023
Journal article 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.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).
- 2017
Journal article Garavel, H., & Marsso, L. (2017). A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. [Presentation]. Electronic Proceedings in Theoretical Computer Science, 244, 129-183. Presented at 2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppala, Sweden.
- 2025
- Conference papers (23)
- 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 Yang, Z., Merlo, E., Bénesse, C., & Marsso, L. (2025, October). Effective, Efficient, and Environmentally Friendly Out-of-Model-Scope Detection Methodology [Paper]. 36th International Symposium on Software Reliability Engineering (ISSRE 2025), São Paulo, Brazil.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). 1st International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, Hamilton, ON, Canada. Published in Electronic Proceedings in Theoretical Computer Science, 418.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.Conference paper Quan, J., Marsso, L., Alrajeh, D., & Chechik, M. (2025, April). Untangling Shared Phenomena for Improving Analysis of Normative Requirements [Paper]. Workshop on Multi-disciplinary, Open, and RElevant Requirements Engineering (MO2RE 2025), Ottawa, ON, Canada.
- 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 SE4SafeML 2023: Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components [Paper] (2023, December). 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023), San Francisco, CA, USA.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 Marsso, L., Mateescu, R., Muller, L., & Serwe, W. (2022, April). Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing [Paper]. 5th Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany. Published in Electronic Proceedings in Theoretical Computer Science, 355.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 Horel, J.-B., Laugier, C., Marsso, L., Mateescu, R., Muller, L., Paigwar, A., Renzaglia, A., & Serwe, W. (2022, March). Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles [Paper]. Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Antwerp, Belgium.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.
- 2020
Conference paper Marsso, L., Mateescu, R., & Serwe, W. (2020, December). Automated Transition Coverage in Behavioural Conformance Testing [Paper]. 32nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2020). Published in Lecture notes in computer science.Conference paper Marsso, L. (2020, April). Specifying a Cryptographical Protocol in Lustre and SCADE [Paper]. 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland. Published in Electronic Proceedings in Theoretical Computer Science, 316.
- 2019
Conference paper Marsso, L., Mateescu, R., Parissis, I., & Serwe, W. (2019, December). Asynchronous Testing of Synchronous Components in GALS Systems [Paper]. 15th International Conference on Integrated Formal Methods (IFM 2019), Bergen, Norway. Published in Lecture notes in computer science.
- 2018
Conference paper Bozic, J., Marsso, L., Mateescu, R., & Wotawa, F. (2018, April). A Formal TLS Handshake Model in LNT [Paper]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece (40 pages). Published in Electronic Proceedings in Theoretical Computer Science, 268.Conference paper Garavel, H., & Marsso, L. (2018, April). Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm [Paper]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece. Published in Electronic Proceedings in Theoretical Computer Science, 268.Conference paper Marsso, L., Mateescu, R., & Serwe, W. (2018, April). TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation [Paper]. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Thessaloniki, Greece. Published in Lecture notes in computer science.
- 2025
