Search filters

List of works by Lina Marsso

6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)

scientific article published on 22 October 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking

scientific article published on 12 April 2024

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

scientific article published on 30 November 2023

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

scientific article published on 18 October 2024

Paulina is supported by:

About Paulina

Help