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
3 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
4 Citations (Scopus) -
Enhancing occupants comfort and well-being through a smart office setup
Barisic, A., Amaral, V. & Challenger, M., 28 Sep 2020, 2020 43rd International Convention on Information, Communication and Electronic Technology, MIPRO 2020 - Proceedings. Koricic, M., Skala, K., Car, Z., Cicin-Sain, M., Sruk, V., Skvorc, D., Ribaric, S., Jerbic, B., Gros, S., Vrdoljak, B., Mauher, M., Tijan, E., Katulic, T., Pale, P., Grbac, T. G., Fijan, N. F., Boukalov, A., Cisic, D. & Gradisnik, V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1825-1830 6 p. 9245212Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Preface
Amaral, V., 2020, In: CEUR Workshop Proceedings. 2822Research output: Contribution to journal › Editorial › peer-review
-
Programming languages for data-Intensive HPC applications: A systematic mapping study
Amaral, V., Norberto, B., Goulão, M., Aldinucci, M., Benkner, S., Bracciali, A., Carreira, P., Celms, E., Correia, L., Grelck, C., Karatza, H., Kessler, C., Kilpatrick, P., Martiniano, H., Mavridis, I., Pllana, S., Respício, A., Simão, J., Veiga, L. & Visa, A., 1 Mar 2020, In: Parallel Computing. 91, 102584.Research output: Contribution to journal › Article › peer-review
10 Citations (Scopus)
Activities
-
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
-
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
-
11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)
Antonia Bertolino (Chair), Vasco Amaral (Chair), Paulo Rupino da Cunha (Chair) & Marco Vieira (Invited speaker)
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