Is my model right? Let me ask the expert. - Antonia Bertolino; Guglielmo De Angelis; Alessio Di Sandro; Antonino Sabetta (J. Syst. Softw., 2011)

Transformation of Models Containing Uncertainty. - Michalis Famelis; Rick Salay; Alessio Di Sandro; Marsha Chechik (MoDELS, 2013)

Managing requirements uncertainty with partial models. - Rick Salay; Marsha Chechik; Jennifer Horkoff; Alessio Di Sandro (Requir. Eng., 2013)

Lifting model transformations to product lines. - Rick Salay; Michalis Famelis; Julia Rubin; Alessio Di Sandro; Marsha Chechik (ICSE, 2014)

Supporting early decision-making in the presence of uncertainty. - Jennifer Horkoff; Rick Salay; Marsha Chechik; Alessio Di Sandro (RE, 2014)

Migrating Automotive Product Lines: A Case Study. - Michalis Famelis; Levi Lucio; Gehan M. K. Selim; Alessio Di Sandro; Rick Salay; Marsha Chechik; James R. Cordy; Jürgen Dingel; Hans Vangheluwe; S. Ramesh 002 (ICMT, 2015)

MU-MMINT: An IDE for Model Uncertainty. - Michalis Famelis; Naama Ben-David; Alessio Di Sandro; Rick Salay; Marsha Chechik (ICSE (2), 2015)

Enriching megamodel management with collection-based operators. - Rick Salay; Sahar Kokaly; Alessio Di Sandro; Marsha Chechik (MoDELS, 2015)

MMINT: A Graphical Tool for Interactive Model Management. - Alessio Di Sandro; Rick Salay; Michalis Famelis; Sahar Kokaly; Marsha Chechik (P&D@MoDELS, 2015)

A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. - Marco Autili; Antonia Bertolino; Guglielmo De Angelis; Davide Di Ruscio; Alessio Di Sandro (IEEE Trans. Software Eng., 2016)

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. - Nick L. S. Fung; Sahar Kokaly; Alessio Di Sandro; Rick Salay; Marsha Chechik (SAFECOMP Workshops, 2018)

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. - Alessio Di Sandro; Sahar Kokaly; Rick Salay; Marsha Chechik (MoDELS (Companion), 2019)

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. - Alessio Di Sandro; Gehan M. K. Selim; Rick Salay; Torin Viger; Marsha Chechik; Sahar Kokaly (MoDELS (Companion), 2020)

Heterogeneous megamodel management using collection operators. - Rick Salay; Sahar Kokaly; Alessio Di Sandro; Nick L. S. Fung; Marsha Chechik (Softw. Syst. Model., 2020)

A Lean Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (MoDELS, 2021)

Validating Safety Arguments with Lean. - Logan Murphy; Torin Viger; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (SEFM, 2021)

A Lean Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (Zenodo, 2021)

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Zenodo, 2022)

Assurance Case Development as Data: A Manifesto. - Claudio Menghi; Torin Viger; Alessio Di Sandro; Chris Rees; Jeff Joyce; Marsha Chechik (ICSE (NIER), 2023)

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. - Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (SPLC (A), 2023)

Adding Product-Line Capabilities to Your Favourite Modeling Language. - Alessio Di Sandro; Ramy Shahin; Marsha Chechik (VaMoS, 2023)

The ForeMoSt approach to building valid model-based safety arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Softw. Syst. Model., 2023)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. - Logan Murphy; Torin Viger; Alessio Di Sandro; Marsha Chechik (IFM, 2024)

AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. - Torin Viger; Logan Murphy; Simon Diemert; Claudio Menghi; Jeff Joyce; Alessio Di Sandro; Marsha Chechik (ISSRE, 2024)

Evaluation of Automotive OTA Updates Using Assurance Cases. - Ali Raeisdanaei; Logan Murphy; Alessio Di Sandro; Mehrnoosh Askarpour; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

From Products to Product Lines: a Model-based Methodology. - Alessio Di Sandro; Logan Murphy; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

MMINT-A: A framework for model-based safety assurance. - Alessio Di Sandro; Logan Murphy; Torin Viger; Marsha Chechik (Sci. Comput. Program., 2024)

A structural taxonomy for lifted software product line analyses. - Logan Murphy; Mahmood Saifi; Alessio Di Sandro; Marsha Chechik (J. Syst. Softw., 2025)