Research output per year
Research output per year
Personal profile
Research interests
- Domain Specific Languages and Software Language Engineering - Research on Systematic Approaches for Software Language Engineering, namely Domain Engineering and Language Quality evaluation. This work has led already to several publications (book chapter, and conferences)
- Model-Driven Development and Cyber-Physical Systems Modeling - One of the challenges of MDD is to build (efficient) Model Transformation tools, adequate to the specific purpose of the transformation, with guarantees that certain properties hold in the transformation process. For this purpose, we use Verification and Validation techniques (Model Based Checking and Testing). We have developed a Model-Transformation tool (and language) which was designed to assure termination and confluence of transformations. I'm interested in Multi-paradigm modelling of complex cyber-physical systems and their simulation;
- Applied Computing - Intervention areas: Visual Query Languages for High Energy Physics Computing; Software Games; Robotics/Domotics aka Home Automation; SmartCities and Energy Efficiency, Spreadsheet modeling for tax authorities.
Education/Academic qualification
Computer Science, Doctorate, Universität Mannheim
15 Sep 2002 → 17 Feb 2005
Award Date: 17 Feb 2005
Computer Science, Bachelor, Instituto Superior Técnico
15 Sep 1993 → 1 Oct 1998
Award Date: 1 Oct 1998
Keywords
- QA75 Electronic computers. Computer science
- QA76 Computer software
Fingerprint
Dive into the research topics where Vasco Miguel Moreira do Amaral is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
AgentDSM-Eval: A framework for the evaluation of domain-specific modeling languages for multi-agent systems
Alaca, O. F., Tezel, B. T., Challenger, M., Goulão, M., Amaral, V. & Kardas, G., Jun 2021, In: Computer Standards and Interfaces. 76, 103513.Research output: Contribution to journal › Article › peer-review
7 Citations (Scopus) -
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
Ameller, D., Franch, X., Gomez, C., Martinez-Fernandez, S., Araújo, J., Biffl, S., Cabot, J., Cortellessa, V., Fernandez, D. M., Moreira, A., Muccini, H., Vallecillo, A., Wimmer, M., Amaral, V., Bohm, W., Bruneliere, H., Burgueno, L., Goulão, M., Teufl, S. & Berardinelli, L., 1 Apr 2021, In: IEEE Transactions on Software Engineering. 47, 4, p. 818-835 18 p., 8665968.Research output: Contribution to journal › Review article › peer-review
18 Citations (Scopus) -
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
Tekinerdoǧan, B., Blouin, D., Vangheluwe, H., Goulão, M., Carreira, P. & Amaral, V., 2021, Academic Press.Research output: Book/Report › Book › peer-review
-
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals
Cambeiro, J., Deantoni, J. & Amaral, V., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 317-321 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Towards a modelling workbench with flexible interaction models for model editors operating through voice and gestures
de Carvalho, J. F. & Amaral, V., Jul 2021, Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021. Chan, W. K., Claycomb, B., Takakura, H., Yang, J-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1026-1031 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Activities
-
Computer Languages, Systems and Structures (Journal)
Vasco Amaral (Guest editor), Jordi Cabot (Guest editor) & Miguel Carlos Pacheco Afonso Goulão (Guest editor)
1 Dec 2018Activity: Publication peer-review and editorial work › Editorial activity
-
International Conference on the Quality of Information and Communications Technology (Event)
Antonia Bertolino (Editor), Vasco Miguel Moreira do Amaral (Editor), Paulo Rupino (Editor) & Marco Vieira (Editor)
4 Sep 2018 → 7 Sep 2018Activity: Publication peer-review and editorial work › Editorial activity
-
11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)
Antonia Bertolino (Chair), Vasco Amaral (Chair), Paulo Rupino da Cunha (Organiser) & Marco Vieira (Organiser)
4 Sep 2018 → 7 Sep 2018Activity: Participating in or organising an event › Participation in conference
-
Membro do Conselho de Admissão e Qualificação - Ordem dos Engenheiros
Vasco Miguel Moreira do Amaral (Recipient)
1 Jul 2016 → 1 Jul 2019Activity: Other › Types of Award - Election to learned society
-
Software Quality Journal (Journal)
Vasco Miguel Moreira do Amaral (Guest editor)
21 Jun 2016Activity: Publication peer-review and editorial work › Editorial activity