Alessio Di Sandro

According to our database, Alessio Di Sandro authored at least 26 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MMINT-A: A framework for model-based safety assurance.

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik

Sci. Comput. Program., January, 2024

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.

Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik

CoRR, 2024

From Products to Product Lines: a Model-based Methodology.

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Evaluation of Automotive OTA Updates Using Assurance Cases.

Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

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., October, 2023

Adding Product-Line Capabilities to Your Favourite Modeling Language.

Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

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

Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Assurance Case Development as Data: A Manifesto.

Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2022

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik

Dataset, March, 2022

2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Dataset, July, 2021

Validating Safety Arguments with Lean.

Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

Heterogeneous megamodel management using collection operators.

Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik

Softw. Syst. Model., 2020

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

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.

Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

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

Proceedings of the Computer Safety, Reliability, and Security, 2018

2016

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

2015

MMINT: A Graphical Tool for Interactive Model Management.

Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Enriching megamodel management with collection-based operators.

Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

MU-MMINT: An IDE for Model Uncertainty.

Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

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

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Supporting early decision-making in the presence of uncertainty.

Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Lifting model transformations to product lines.

Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Managing requirements uncertainty with partial models.

Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro

Requir. Eng., 2013

Transformation of Models Containing Uncertainty.

Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2011

Is my model right? Let me ask the expert.

Antonia Bertolino, Guglielmo De Angelis, Alessio Di Sandro, Antonino Sabetta

J. Syst. Softw., 2011