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.
- 1 Similar Profiles
protons
Physics & Astronomy
nuclei
Physics & Astronomy
collisions
Physics & Astronomy
Query languages
Engineering & Materials Science
cross sections
Physics & Astronomy
High energy physics
Engineering & Materials Science
Semantics
Engineering & Materials Science
Protons
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output at NOVA 2005 2019
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
Maintainability
Industry
Productivity
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
Domain-specific Languages
Modeling Language
Usability
Notation
Physics
1
Citation
(Scopus)
3
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 proceeding › Conference 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 journal › Conference 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. 8506512Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Software engineering
Students
Engineers
Experiments
Activities 2010 2018
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
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
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
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