Follow
Alessio Di Sandro
Alessio Di Sandro
Software Engineer, University of Toronto
Verified email at cs.toronto.edu
Title
Cited by
Cited by
Year
Managing requirements uncertainty with partial models
R Salay, M Chechik, J Horkoff, A Di Sandro
Requirements Engineering 18 (2), 107-128, 2013
1082013
Lifting model transformations to product lines
R Salay, M Famelis, J Rubin, A Di Sandro, M Chechik
Proceedings of the 36th International Conference on Software Engineering …, 2014
742014
Transformation of models containing uncertainty
M Famelis, R Salay, A Di Sandro, M Chechik
International Conference on Model Driven Engineering Languages and Systems …, 2013
562013
MMINT: A Graphical Tool for Interactive Model Management
A Di Sandro, R Salay, M Famelis, S Kokaly, M Chechik
Proc. of MODELS 15, 2015
442015
Is my model right? Let me ask the expert
A Bertolino, G De Angelis, A Di Sandro, A Sabetta
Journal of Systems and Software 84 (7), 1089-1099, 2011
332011
Supporting early decision-making in the presence of uncertainty
J Horkoff, R Salay, M Chechik, A Di Sandro
2014 IEEE 22nd International Requirements Engineering Conference (RE), 33-42, 2014
262014
Enriching megamodel management with collection-based operators
R Salay, S Kokaly, A Di Sandro, M Chechik
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
222015
Migrating automotive product lines: a case study
M Famelis, L Lúcio, G Selim, A Di Sandro, R Salay, M Chechik, JR Cordy, ...
International Conference on Theory and Practice of Model Transformations, 82-97, 2015
212015
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases
NLS Fung, S Kokaly, A Di Sandro, R Salay, M Chechik
International Conference on Computer Safety, Reliability, and Security, 60-70, 2018
202018
MU-MMINT: An IDE for Model Uncertainty
M Famelis, N Ben-David, A Di Sandro, R Salay, M Chechik
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International …, 2015
182015
Heterogeneous megamodel management using collection operators
R Salay, S Kokaly, A Di Sandro, NLS Fung, M Chechik
Software and Systems Modeling 19, 231-260, 2020
112020
A Lean Approach to Building Valid Model-Based Safety Arguments
T Viger, L Murphy, A Di Sandro, R Shahin, M Chechik
2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021
72021
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts
A Di Sandro, G Selim, R Salay, T Viger, M Chechik, S Kokaly
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
72020
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra
A Di Sandro, S Kokaly, R Salay, M Chechik
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
72019
A tool-supported methodology for validation and refinement of early-stage domain models
M Autili, A Bertolino, G De Angelis, D Di Ruscio, A Di Sandro
IEEE Transactions on Software Engineering 42 (1), 2-25, 2015
62015
The ForeMoSt approach to building valid model-based safety arguments
T Viger, L Murphy, A Di Sandro, C Menghi, R Shahin, M Chechik
Software and Systems Modeling 22 (5), 1473-1494, 2023
52023
Assurance Case Development as Data: A Manifesto
C Menghi, T Viger, A Di Sandro, C Rees, J Joyce, M Chechik
2023 IEEE/ACM 45th International Conference on Software Engineering: New …, 2023
42023
Assurance Case Property Checking with MMINT-A and OCL
NLS Fung, S Kokaly, A Di Sandro, M Chechik
Recent Trends and Advances in Model Based Systems Engineering, 351-360, 2022
42022
Validating safety arguments with lean
L Murphy, T Viger, AD Sandro, R Shahin, M Chechik
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
42021
Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study
A Di Sandro, S Kokaly, R Salay, M Chechik
Journal of Automotive Software Engineering 1 (1), 34-50, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20