Photo of Vasco Miguel Moreira do Amaral

Vasco Miguel Moreira do Amaral

Eng., Doctor

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
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

Award Date: 17 Feb 2005

Computer Science, Bachelor, Instituto Superior Técnico

15 Sep 19931 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.
  • 2 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.