Vasco Miguel Moreira do Amaral

Eng., Doctor

  • 525 Citations
  • 13 h-Index
20052018
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.

  • 1 Similar Profiles
protons Physics & Astronomy
nuclei Physics & Astronomy
collisions Physics & Astronomy
Query languages Engineering & Materials Science
cross sections Physics & Astronomy
Semantics Engineering & Materials Science
Protons Engineering & Materials Science
High energy physics Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2005 2018

2 Downloads (Pure)

A building automation case study setup and challenges

Cambeiro, J., Gomes, C., Amaral, V., Rodrigues, A. & Cunha, J., 27 May 2018, Proceedings - 2018 ACM/IEEE 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2018. IEEE Computer Society, Vol. Part F138012. p. 41-44 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Automation
Control systems
Intelligent buildings
Controllers
Cyber Physical System

Comparing the usability of two multi-agents systems DSLs: Sea_ML++ and DSML4MAS study design

Silva, J., Barišić, A., Amaral, V., Goulão, M., Tezel, B. T., Alaca, O. F., Challenger, M. & Kardas, G., 1 Jan 2018, In : CEUR Workshop Proceedings. 2245, p. 770-777 8 p.

Research output: Contribution to journalConference article

DSL
Multi agent systems
Physics
Experiments
Concretes

Evaluating the efficiency of using a search-based automated model merge technique

Barisic, A., Debreceni, C., Varrot, D., Amaral, V. & Goulao, M., 23 Oct 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE Computer Society, Vol. 2018-October. p. 193-197 5 p. 8506512

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Software engineering
Students
Engineers
Experiments
1 Citation (Scopus)

Leveraging teenagers feedback in the development of a domain-specific language: the case of programming low-cost robots

Barisic, A., Cambeiro, J., Amaral, V., Goulão, M. & Mota, T., 9 Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1221-1229 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robots
Feedback
Engineers
Costs

ModelByVoice - towards a general purpose model editor for blind people

Lopes, J. R. E. M. D. C., Cambeiro, J. M. R. A. P. & Amaral, V., 15 Oct 2018, In : CEUR Workshop Proceedings. 2245, p. 762-769 8 p.

Research output: Contribution to journalConference article

Open Access
Software engineering
Human engineering
Speech recognition
Productivity
Concretes

Activities 2010 2018

  • 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

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

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

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