Volgen
Alessio Di Sandro
Alessio Di Sandro
Software Engineer, University of Toronto
Geverifieerd e-mailadres voor cs.toronto.edu
Titel
Geciteerd door
Geciteerd door
Jaar
Managing requirements uncertainty with partial models
R Salay, M Chechik, J Horkoff, A Di Sandro
Requirements Engineering 18 (2), 107-128, 2013
1112013
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
832014
Transformation of models containing uncertainty
M Famelis, R Salay, A Di Sandro, M Chechik
International Conference on Model Driven Engineering Languages and Systems …, 2013
592013
MMINT: A Graphical Tool for Interactive Model Management
A Di Sandro, R Salay, M Famelis, S Kokaly, M Chechik
Proc. of MODELS 15, 2015
492015
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
362011
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
272014
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
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
212018
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
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
19*2023
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
142020
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
102020
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
92023
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
92021
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
92019
Adding Product-Line Capabilities to Your Favourite Modeling Language
A Di Sandro, R Shahin, M Chechik
Proceedings of the 17th International Working Conference on Variability …, 2023
82023
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
62021
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
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
T Viger, L Murphy, S Diemert, C Menghi, J Joyce, A Di Sandro, M Chechik
2024 IEEE 35th International Symposium on Software Reliability Engineering …, 2024
42024
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20