Alessio Di Sandro

29 papers A* 1A 5B 2Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evaluating AI-supported eliminative argumentation for developing reliable assurance cases.
Empir. Softw. Eng.
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Aren A. Babikian, Jeff Joyce, Alessio Di Sandro, Naweed Anwari, Erin Cyffka, Marsha Chechik
2025 J jnl
A structural taxonomy for lifted software product line analyses.
J. Syst. Softw.
Logan Murphy, Mahmood Saifi, Alessio Di Sandro, Marsha Chechik
2025 J jnl
Assurance Case Development for Evolving Software Product Lines: A Formal Approach.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik
2024 A conf
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.
ISSRE
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik
2024 — conf
Evaluation of Automotive OTA Updates Using Assurance Cases.
MoDELS (Companion)
Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik
2024 — conf
From Products to Product Lines: a Model-based Methodology.
MoDELS (Companion)
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024 J jnl
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program.
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024 B conf
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
IFM
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024 J jnl
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2023 — conf
Adding Product-Line Capabilities to Your Favourite Modeling Language.
VaMoS
Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2023 — conf
Assurance Case Development as Data: A Manifesto.
ICSE (NIER)
Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik
2023 — conf
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models.
SPLC (A)
Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2023 J jnl
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model.
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
2021 A conf
A Lean Approach to Building Valid Model-Based Safety Arguments.
MoDELS
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2021 B conf
Validating Safety Arguments with Lean.
SEFM
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2020 J jnl
Heterogeneous megamodel management using collection operators.
Softw. Syst. Model.
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
2020 — conf
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.
MoDELS (Companion)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
2019 — conf
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.
MoDELS (Companion)
Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2018 — conf
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.
SAFECOMP Workshops
Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
2016 J jnl
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models.
IEEE Trans. Software Eng.
Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, Alessio Di Sandro
2015 A conf
Enriching megamodel management with collection-based operators.
MoDELS
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
2015 — conf
MMINT: A Graphical Tool for Interactive Model Management.
P&D@MoDELS
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
2015 — conf
MU-MMINT: An IDE for Model Uncertainty.
ICSE (2)
Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik
2015 — conf
Migrating Automotive Product Lines: A Case Study.
ICMT
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
2014 A* conf
Lifting model transformations to product lines.
ICSE
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik
2014 A conf
Supporting early decision-making in the presence of uncertainty.
RE
Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro
2013 J jnl
Managing requirements uncertainty with partial models.
Requir. Eng.
Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro
2013 A conf
Transformation of Models Containing Uncertainty.
MoDELS
Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik
2011 J jnl
Is my model right? Let me ask the expert.
J. Syst. Softw.
Antonia Bertolino, Guglielmo De Angelis, Alessio Di Sandro, Antonino Sabetta