Search filters

List of works by Marsha Chechik

A Meta-Study of Software-Change Intentions

scientific article published on 25 April 2024

A Vision on Intentions in Software Engineering

scientific article published on 30 November 2023

Analyzing and Debugging Normative Requirements via Satisfiability Checking

scientific article published on 12 April 2024

Code-Level Functional Equivalence Checking of Annotative Software Product Lines

scientific article published on 25 August 2023

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

Evaluation of Automotive OTA Updates Using Assurance Cases

scientific article published on 31 October 2024

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models

scientific article published on 25 August 2023

Towards Feature-Based Analysis of the Machine Learning Development Lifecycle

scientific article published on 30 November 2023

Paulina is supported by:

About Paulina

Help