Publications | LM Lab

2025

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements

Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik

ICSE 2025 · Tool Demonstrations Conference

2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking

Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley Townsend, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaina Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

ICSE 2024 Conference ACM SIGSOFT Distinguished Paper Award

Paper Tool Case-studies Slides

2024

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects

Nick Feng, Lina Marsso, Marsha Chechik

ASE 2024 Conference

Paper Tool Slides

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 Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

RE 2024 Conference

Paper Tool Slides

2023

DecompoVision: Reliability Analysis of Machine Vision Components Through Decomposition and Reuse

Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik

ESEC/FSE 2023 Conference

Paper Material

2023

Early Verification of Legal Compliance via Bounded Satisfiability Checking

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

CAV 2023 Conference

Extended paper Tool

2023

Towards a Formal Framework for Normative Requirements Elicitation

Nick Feng, Lina Marsso, Sinem Getir-Yaman, Townsend Beverley, Radu Calinescu, Ana Cavalcanti, Marsha Chechik

ASE 2023 · NIER Conference

Paper Slides Tool

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, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

Journal of Intelligent & Robotic Systems Journal

Paper Scenarios