Photo of Vasco Miguel Moreira do Amaral

Vasco Miguel Moreira do Amaral

Eng., Doctor

  • 916 Citations
  • 17 h-Index
20052020

Research output per year

If you made any changes in Pure these will be visible here soon.

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 200217 Feb 2005

Computer Science, Bachelor, Instituto Superior Técnico

15 Sep 19931 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, 3

Research output: Contribution to journalArticle

  • 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 proceedingConference 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 proceedingConference 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 journalArticle

  • 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 proceedingConference contribution

  • 1 Citation (Scopus)

    Activities

    • 3 Editorial activity
    • 2 Types of Award - Election to learned society
    • 1 Participation in conference
    • 1 Types of External academic engagement - Contribution to the work of national or international committees and working groups

    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 20187 Sep 2018

    Activity: Publication peer-review and editorial workEditorial 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 workEditorial 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 20187 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

    Software Quality Journal (Journal)

    Vasco Miguel Moreira do Amaral (Guest editor)
    21 Jun 2016

    Activity: Publication peer-review and editorial workEditorial activity

    Membro do Conselho de Admissão e Qualificação - Ordem dos Engenheiros

    Vasco Miguel Moreira do Amaral (Recipient)
    1 Jul 20161 Jul 2019

    Activity: OtherTypes of Award - Election to learned society