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, Increasing productivity in high energy physics data mining with a domain specific visual query language, Universität Mannheim
15 Sept 2002 → 17 Feb 2005
Award Date: 17 Feb 2005
Computer Science, Bachelor, Abacus - Open source Spreadsheet, Instituto Superior Técnico
15 Sept 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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Modelling sustainability in cyber–physical systems: A systematic mapping study
Barišić, A., Cunha, J., Ruchkin, I., Moreira, A., Araújo, J., Challenger, M., Savić, D. & Amaral, V., Jan 2025, In: Sustainable Computing: Informatics and Systems. 45, 101051.Research output: Contribution to journal › Article › peer-review
4 Link opens in a new tab Citations (Scopus) -
A Survey of Federative Approaches for Model Management in MBSE
Amrani, M., Mittal, R., Goulão, M., Amaral, V., Guérin, S., Martínez, S., Blouin, D., Bhobe, A. & Hallak, Y., 31 Oct 2024, Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. ACM - Association for Computing Machinery, p. 990-999 10 p. (Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile9 Link opens in a new tab Citations (Scopus)61 Downloads (Pure) -
Digital twinning for smart restoration of classic cars
Ferreira, F., Amaral, V. & Brito e Abreu, F., 2024, In: Procedia Computer Science. 232, p. 2521-2530 10 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile6 Link opens in a new tab Citations (Scopus)44 Downloads (Pure) -
Human factors in model-driven engineering: future research goals and initiatives for MDE
Liebel, G., Klünder, J., Hebig, R., Lazik, C., Nunes, I., Graßl, I., Steghöfer, J. P., Exelmans, J., Oertel, J., Marquardt, K., Juhnke, K., Schneider, K., Gren, L., Happe, L., Herrmann, M., Wyrich, M., Tichy, M., Goulão, M., Wohlrab, R. & Kalantari, R. & 6 others, , Aug 2024, In: Software and Systems Modeling. 23, 4, p. 801-819 19 p.Research output: Contribution to journal › Article › peer-review
12 Link opens in a new tab Citations (Scopus) -
SCCD Debugger: a Debugger for Statecharts and Class Diagrams
Simões, F., Goulão, M., Amaral, V., Exelmans, J. & Vangheluwe, H., 31 Oct 2024, Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. ACM - Association for Computing Machinery, p. 61-65 5 p. (Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile14 Downloads (Pure)
Activities
-
Computer Languages, Systems and Structures (Journal)
Amaral, V. (Guest editor), Cabot, J. (Guest editor) & Goulão, M. C. P. A. (Guest editor)
1 Dec 2018Activity: Publication peer-review and editorial work › Editorial activity
-
International Conference on the Quality of Information and Communications Technology (Event)
Bertolino, A. (Editor), Amaral, V. M. M. D. (Editor), Rupino, P. (Editor) & Vieira, M. (Editor)
4 Sept 2018 → 7 Sept 2018Activity: Publication peer-review and editorial work › Editorial activity
-
11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)
Bertolino, A. (Chair), Amaral, V. (Chair), Cunha, P. R. D. (Organiser) & Vieira, M. (Organiser)
4 Sept 2018 → 7 Sept 2018Activity: Participating in or organising an event › Participation in conference
-
Software Quality Journal (Journal)
Amaral, V. M. M. D. (Guest editor)
21 Jun 2016Activity: Publication peer-review and editorial work › Editorial activity
-
Membro do Conselho de Admissão e Qualificação - Ordem dos Engenheiros
Amaral, V. M. M. D. (Recipient)
1 Jul 2016 → 1 Jul 2019Activity: Other › Types of Award - Election to learned society