A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. - Hubert Garavel; Lina Marsso (MARS@ETAPS, 2017)

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. - Lina Marsso; Radu Mateescu 001; Wendelin Serwe (TACAS (2), 2018)

A Formal TLS Handshake Model in LNT. - Josip Bozic; Lina Marsso; Radu Mateescu 001; Franz Wotawa (MARS/VPT@ETAPS, 2018)

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. - Hubert Garavel; Lina Marsso (MARS/VPT@ETAPS, 2018)

Asynchronous Testing of Synchronous Components in GALS Systems. - Lina Marsso; Radu Mateescu 001; Ioannis Parissis; Wendelin Serwe (IFM, 2019)

On Model-based Testing of GALS Systems. (Etude de génération de tests à partir d'un modèle pour les systèmes GALS). - Lina Marsso (2019)

Automated Transition Coverage in Behavioural Conformance Testing. - Lina Marsso; Radu Mateescu 001; Wendelin Serwe (ICTSS, 2020)

Specifying a Cryptographical Protocol in Lustre and SCADE. - Lina Marsso (MARS@ETAPS, 2020)

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. - Jean-Baptiste Horel; Christian Laugier; Lina Marsso; Radu Mateescu 001; Lucie Muller; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (DATE, 2022)

If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. - Boyue Caroline Hu; Lina Marsso; Krzysztof Czarnecki 001; Rick Salay; Huakun Shen; Marsha Chechik (ICSE, 2022)

What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. - Boyue Caroline Hu; Lina Marsso; Krzysztof Czarnecki 001; Marsha Chechik (ISSRE, 2022)

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. - Lina Marsso; Radu Mateescu 001; Lucie Muller; Wendelin Serwe (MARS@ETAPS, 2022)

Bounded Satisfiability Checking of Metric First-order Temporal Logic. - Nick Feng; Lina Marsso; Mehrdad Sabetzadeh; Marsha Chechik (CoRR, 2022)

Early Verification of Legal Compliance via Bounded Satisfiability Checking. - Nick Feng; Lina Marsso; Mehrdad Sabetzadeh; Marsha Chechik (CAV (3), 2023)

Towards a Formal Framework for Normative Requirements Elicitation. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Beverley A. Townsend; Ana Cavalcanti 001; Radu Calinescu; Marsha Chechik (ASE, 2023)

DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. - Boyue Caroline Hu; Lina Marsso; Nikita Dvornik; Huakun Shen; Marsha Chechik (ESEC/SIGSOFT FSE, 2023)

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. - Jean-Baptiste Horel; Philippe Ledent; Lina Marsso; Lucie Muller; Christian Laugier; Radu Mateescu 001; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (J. Intell. Robotic Syst., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Analyzing and Debugging Normative Requirements via Satisfiability Checking. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Yesugen Baatartogtokh; Reem Ayad; Victória Oldemburgo de Mello; Beverley A. Townsend; Isobel Standen; Ioannis Stefanakos; Calum Imrie; Genaína Nunes Rodrigues; Ana Cavalcanti 001; et al. (ICSE, 2024)

6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024). - Marco Autili; Alessio Bucaioni; Gianluca Filippone; Lina Marsso; Gian Luca Scoccia (ASE Workshops, 2024)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. - Nick Feng; Lina Marsso; Marsha Chechik (ASE, 2024)

Normative Requirements Operationalization with Large Language Models. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Isobel Standen; Yesugen Baatartogtokh; Reem Ayad; Victória Oldemburgo de Mello; Beverley A. Townsend; Hanne Bartels; Ana Cavalcanti 001; Radu Calinescu; Marsha Chechik (RE, 2024)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. - Kevin Kolyakov; Lina Marsso; Nick Feng; Junwei Quan; Marsha Chechik (ICSE Companion, 2025)

Untangling Shared Phenomena for Improving Analysis of Normative Requirements. - Junwei Quan; Lina Marsso; Dalal Alrajeh; Marsha Chechik (MO2RE, 2025)

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. - Huakun Shen; Boyue Caroline Hu; Krzysztof Czarnecki 001; Lina Marsso; Marsha Chechik (WACV, 2025)

Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024. - Marco Autili; Alessio Bucaioni; Gianluca Filippone; Lina Marsso; Gian Luca Scoccia (ACM SIGSOFT Softw. Eng. Notes, 2025)