Personal information

No personal information available

Activities

Collapse all

Works (4)

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

2024-10-27 | Conference paper
DOI: 10.1145/3691621.3694960
Contributors: Marco Autili; Alessio Bucaioni; Gianluca Filippone; Lina Marsso; Gian Luca Scoccia
Source: check_circle
Crossref

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

2024-10-27 | Conference paper
DOI: 10.1145/3691620.3695522
Contributors: Nick Feng; Lina Marsso; Marsha Chechik
Source: check_circle
Crossref

Analyzing and Debugging Normative Requirements via Satisfiability Checking

2024-04-12 | Conference paper
DOI: 10.1145/3597503.3639093
Contributors: Nick Feng; Lina Marsso; Sinem Getir Yaman; Yesugen Baatartogtokh; Reem Ayad; Victoria Oldemburgo De Mello; Beverley Townsend; Isobel Standen; Ioannis Stefanakos; Calum Imrie et al.
Source: check_circle
Crossref

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

2023-11-30 | Conference paper
DOI: 10.1145/3611643.3616333
Contributors: Boyue Caroline Hu; Lina Marsso; Nikita Dvornik; Huakun Shen; Marsha Chechik
Source: check_circle
Crossref
How many people are using ORCID?