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
Computer Science, Bachelor, Instituto Superior Técnico
15 Sep 1993 → 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.
- 3 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output at NOVA
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
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
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
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
Ameller, D., Franch, X., Gómez, C., Martínez-Fernández, S., Araujo, J., Biffl, S., Cabot, J., Cortellessa, V., Fernández, D. M., Moreira, A., Muccini, H., Vallecillo, A., Wimmer, M., Amaral, V., Böhm, W., Brunelière, H., Burgueño, L., Goulão, M., Teufl, S. & Beradinelli, L., 24 Feb 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering. 17 p.Research output: Contribution to journal › Article
Improving the Usability of a MAS DSML
Miranda, T., Challenger, M., Tezel, B. T., Alaca, O. F., Barišić, A., Amaral, V., Goulão, M. & Kardas, G., 1 Jan 2019, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Revised Selected Papers. Mascardi, V., Weyns, D. & Ricci, A. (eds.). Cham: Springer Verlag, p. 55-75 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11375 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1
Citation
(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 2018
Activity: 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 2018
Activity: 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 2018
Activity: Participating in or organising an event › Participation in conference
Software Quality Journal (Journal)
Vasco Miguel Moreira do Amaral (Guest editor)21 Jun 2016
Activity: 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 2019
Activity: Other › Types of Award - Election to learned society