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, University of 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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
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
-
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
6 Citations (Scopus) -
Towards high-level fuzzy control specifications for building automation systems
Vidal, J. C., Carreira, P., Amaral, V., Aguiam, J. & Sousa, J., 1 May 2020, In: Software And Systems Modeling. 19, 3Research output: Contribution to journal › Article › peer-review
-
A Family of Domain-Specific Languages for Integrated Modular Avionics
Alves, R., Amaral, V., Cintra, J. & Tavares, B., 2019, Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Proceedings. Piattini, M., Rupino da Cunha, P., García Rodríguez de Guzmán, I. & Pérez-Castillo, R. (eds.). Cham: Springer Verlag, p. 239-254 16 p. (Communications in Computer and Information Science; vol. 1010).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A mobile system to increase efficiency of the lecturers when preventing academic dishonesty during written exams
Maroco, P., Cambeiro, J. & Amaral, V., Jul 2019, Proceedings - 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019. Getov, V., Gaudiot, J-L., Yamai, N., Cimato, S., Chang, M., Teranishi, Y., Yang, J-J., Leong, H. V., Shahriar, H., Takemoto, M., Towey, D., Takakura, H., Elci, A., Takeuchi, S. & Puri, S. (eds.). IEEE Computer Society, p. 236-241 6 p. 8754351. (Proceedings - International Computer Software and Applications Conference; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Activities
-
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
-
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
-
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