( en | de | ru )

 

Disambiguation of "Sandro, Alessio Di"

Author of the publication

copydeleteadd this publication to your clipboard
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models.

, , , , and . IEEE Trans. Software Eng., 42 (1): 2-25 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alessio Langiu

Alessio Meneghetti

Alessio Guerri

Alessio Vascon

Alessio Quaglino

 

Other publications of authors with the same name

The ForeMoSt approach to building valid model-based safety arguments., , , , , and . Softw. Syst. Model., 22 (5): 1473-1494 (October 2023)MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts., , , , , and . MoDELS (Companion), page 15:1-15:5. ACM, (2020)Validating Safety Arguments with Lean., , , , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 23-43. Springer, (2021)Assurance Case Development as Data: A Manifesto., , , , , and . ICSE (NIER), page 135-139. IEEE, (2023)Enriching megamodel management with collection-based operators., , , and . MoDELS, page 236-245. IEEE Computer Society, (2015)MMINT-A: A framework for model-based safety assurance., , , and . Sci. Comput. Program., (January 2024)MU-MMINT: An IDE for Model Uncertainty., , , , and . ICSE (2), page 697-700. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Querying Automotive System Models and Safety Artifacts with MMINT and Viatra., , , and . MoDELS (Companion), page 2-11. IEEE, (2019)Heterogeneous megamodel management using collection operators., , , , and . Softw. Syst. Model., 19 (1): 231-260 (2020)A Lean Approach to Building Valid Model-Based Safety Arguments., , , , and . MoDELS, page 194-204. IEEE, (2021)