DSLTrans: A Turing Incomplete Transformation Language. - Bruno Barroca; Levi Lucio; Vasco Amaral 001; Roberto Félix; Vasco Sousa (SLE, 2010)

Verifying Access Control in Statecharts. - Levi Lucio; Qin Zhang 002; Vasco Sousa; Yves Le Traon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

An Expeditious Approach to Modeling IDE Interaction Design. - Vasco Sousa; Eugene Syriani (GEMOC+MPM@MoDELS, 2015)

Adapting modeling environments to domain specific interactions. - Vasco Sousa (EICS, 2017)

Towards Collaborative Modeling Using a Concern-driven Version Control System. - Omar Alam; Vasco Sousa; Eugene Syriani (MoDELS (Satellite Events), 2017)

Feedback on how MDE tools are used prior to academic collaboration. - Vasco Sousa; Eugene Syriani; Martin Paquin (SAC, 2017)

Operationalizing the integration of user interaction specifications in the synthesis of modeling editors. - Vasco Sousa; Eugene Syriani; Khady Fall (SLE, 2019)

Structure and behavior preserving statecharts refinements. - Eugene Syriani; Vasco Sousa; Levi Lúcio (Sci. Comput. Program., 2019)

Refining Statecharts while preserving the structure and behavior. - Eugene Syriani; Vasco Sousa; Levi Lúcio (SEAA, 2020)

Opportunities in Robotic Process Automation by and for Model-Driven Software Engineering. - Istvan David; Vasco Sousa; Eugene Syriani (BPMDS/EMMSAD@CAiSE, 2023)