???global.info.a_carregar???
I am currently an Associate Professor at the Department of Informatics at NOVA School of Sciences and Technology of NOVA University of Lisbon since 2005. I am also elected President of the Informatics Engineering College at the Portuguese Order of Engineers (Ordem of Engenheiros). I obtained a PhD from Mannheim University in 2005, under an FC&T fellowship, after a BSc from IST in 1998. My major areas of interest are Software Engineering in general, and in particular Model-Driven Software Development, Domain-Specific Languages, and Cyber-Physical Systems Modelling. I have worked as a research collaborator at CERN (Geneva) and DESY (Hamburg) as a LIP-Lisbon member. I am currently (since 2006) a research integrated member at NOVA LINCS (previously CITI). I am a senior member of the Portuguese Academy of Engineering and a senior member of IEEE.  I have been recently vice-chair of a COST Action on Multi-Paradigm Modelling for Cyber-physical Systems. I have also organized a series of 8 international doctoral Summer Schools (DSM-TP), a doctoral training school (MPM4CPS 2018), and workshops (MPM, HuFaMo). I was co-editor of Journal Special issues (Software Quality Journal, Comput. Lang. Syst. Struct.). I have also been involved in the organization of international Conferences (co-chair and PC chair of QUATIC14 and 2016, and other organization roles in conferences such as VL/HCCC and MODELS). I have supervised 4 PhD students and >50 MSc students. I have >100 peer-reviewed publications in journals, conferences and workshops.
Identification

Personal identification

Full name
Vasco Miguel Moreira do Amaral

Citation names

  • Amaral, Vasco
  • Amaral, V.

Author identifiers

Ciência ID
711F-D70D-EBEA
ORCID iD
0000-0003-3791-5151
Google Scholar ID
https://scholar.google.com/citations?user=p6lbgbAAAAAJ&hl=en
Researcher Id
A-7031-2010
Scopus Author Id
0000000337915151

Telephones

Fax
  • 212948300 (Professional)
Telephone
  • 212948536 (Professional)

Addresses

  • Universidade Nova de Lisboa. Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova,Quinta da Torre, 2829-516, Caparica, Almada, Portugal (Professional)

Websites

  • https://sites.google.com/site/vascoamaral/ (Professional)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
Education
Degree Classification
2005/02/17
Concluded
Computer Science (Doktor (PhD))
Universität Mannheim, Germany
"Increasing Productivity in High Energy Physics Data Mining with a Domain Specific Visual Query Language" (THESIS/DISSERTATION)
1993/09/15 - 1998/09/18
Concluded
Engenharia Informática e de Computadores (Licenciatura)
Major in Programação e Sistemas de Informação
Universidade de Lisboa Instituto Superior Técnico, Portugal
Affiliation

Science

Category
Host institution
Employer
1998 - 2005 Research Assistant (Research) Laboratório de Instrumentação e Física Experimental de Partículas, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2020/09/14 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005/03/01 - 2020/09/14 Assistant Professor (University Teacher) Universidade Nova de Lisboa, Portugal
2016 - 2019 Assistant Professor (University Teacher) Universidade Nova de Lisboa, Portugal
2013 - 2016 Assistant Professor (University Teacher) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Positions / Appointments

Category
Host institution
Employer
2021/01 - Current Chair of Sectorial Commission for Quality in Information Systems (CS03) Instituto Português da Qualidade, Portugal
2022/03/26 - 2025/03/26 Elected President of the Informatics Engineers College at the Portuguese Order of Engineers Ordem dos Engenheiros, Portugal
Ordem dos Engenheiros, Portugal
2019 - 2021 Membro Substituto do Concelho de Representantes (Eleito) Ordem dos Engenheiros, Portugal
2019 - 2021 Vice-chair of Sectorial Commission for Quality in Information Systems (CS/03) Instituto Português da Qualidade, Portugal
2016 - 2019 Membro do Concelho de Qualificação (Eleito) Ordem dos Engenheiros, Portugal
2015 - 2019 Vice-coordenador da "Chapter Computer Society - Portugal" (Eleito) IEEE Computer Society, United States
2013 - 2015 Coordenador do Colégio de Informática da Região Sul (Eleito) Ordem dos Engenheiros, Portugal
2009 - 2015 Member of the Coordinating Committee of the MSc Program at the Informatics Department Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2012 Coordenador do Colégio de Informática da Região Sul (Eleito) Ordem dos Engenheiros, Portugal
2007 - 2010 Vice-coordenador do Colégio de Informática da Região Sul (Eleito) Ordem dos Engenheiros, Portugal

Others

Category
Host institution
Employer
2002 - 2005 Awarded PhD grant ref. SFRH / BD / 8918 / 2002 Fundação para a Ciência e a Tecnologia, Portugal
2001 - 2004 Research Collaborator (Database group coordinator at Hera-B experiment) Deutsches Elektronen-Synchrotron, Germany
1998 - 2000 Research Collaborator (Database group at the Hera-B experiment) Deutsches Elektronen-Synchrotron, Germany
1998 - 2000 Research Collaborator (Trigger DAQ group at ATLAS experiment) European Organization for Nuclear Research, Switzerland
Projects

Contract

Designation Funders
2018 - 2020 Modelling Socio-Technical Cyber-Physical Systems
FCT/DAAD 2018/2019
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Associação para a Inovação e Desenvolvimento da FCT
Ongoing
2015 - 2019 ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)
IC1406
Researcher
European Cooperation in Science and Technology
Concluded
2014 - 2018/12 COST Action IC 1404 - Multi-Paradigm Modeling for Cyber-Physical Systems
IC 1404
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
European Commission
Concluded
2016 - 2018/11 Domain Specific Modeling Languages for Multi-Agents - DSM4MA
TUBITAK/0008/2014
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
FCT/MCTES
Concluded
2007 - 2011/02 Rapid Prototyping of User Interfaces for Control Systems based in specification models
Provided by PTCRIS: 65798
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2006 - 2009 AMPLE - Aspect Oriented, Model-Driven Product Line Engineering
AMPLE
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
European Commission Sixth Framework Programme
Concluded
Outputs

Publications

Book
  1. Amaral, Vasco; Tekinerdogan, Bedir; Hans Vangheluwe; Paulo Carreira; Dominique Blouin; Miguel Goulão. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. Elsevier. 2021.
    Published • 10.1016/c2018-0-04990-7 • Editor
  2. Paulo Carreira; Amaral, Vasco; Hans Vangheluwe. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Germany: Springer International Publishing. 2020.
    Published • 10.1007/978-3-030-43946-0
  3. Amaral, Vasco; Antonia Bertolino; Paulo Rupino; Marco Vieira. 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018. IEEE Computer Society ISBN 978-1-5386-5841-3. 2018.
    Editor
  4. Störrle, H.; Chaudron, M.R.V.; Amaral, V.; Goulão, M.. Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016. CEUR-WS. 2016.
    Published • Editor
  5. Amaral, Vasco; Mark Paulk; Ricardo Machado; Miguel Brito; Miguel Goulão. 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016. IEEE Computer Society. 2016.
    Published • Editor
  6. Störrle, H.; Chaudron, M.R.V.; Amaral, V.; Goulão, M.. Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. CEUR-WS. 2015.
    Published • Editor
  7. Barišic, A.; Goulão, M.; Amaral, V.; Barroca, B.. Evaluating the usability of domain-specific languages. 2013.
    10.4018/978-1-4666-4301-7.ch098
  8. Amaral, Vasco; Cecile Hardebolle; Hans Vangheluwe; Laszlo Lengyel; Peter Bunus. Proceedings of the 5th International Workshop on Multi-Paradigm Modeling 2011 co-located with {ACM/IEEE} 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. Electronic Communications of the EASST. 2011.
    Published • Editor
  9. Amaral, Vasco; Hans Vangheluwe; Cecile Hardebolle; Lengyel Laszlo. Proceedings of the 4th International Workshop on Multi-Paradigm Modeling 2010 co-located with ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), Oslo, Norway. Electronic Communications of the EASST. 2010.
    Published • Editor
  10. Amaral, Vasco; Luís Veiga; Nigel Horspool; Giacomo Cabri. Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, {PPPJ} 2008, Modena, Italy, September 9-11,2008. ACM. 2008.
    Published • Editor
  11. Santos, Joao; Moreira, Ana; Araujo, Joao; Amaral, Vasco; Alferez, Mauricio; Kulesza, Uira; Ieee,. Generating Requirements Analysis Models from Textual Requirements. 2008.
  12. Amaral, Vasco; Luís Veiga; Luís Marcelino; Conrad Cunningham. Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, {PPPJ} 2007, Lisboa, Portugal, September 5-7, 2007. ACM. 2007.
    Published • Editor
  13. Amaral, Vasco; Levi Lúcio. Programação em Perl. Lisboa, Portugal: FCA. 2001.
    Published
Book chapter
  1. Challenger, Moharram; Tezel, Baris Tekin; Amaral, Vasco; Goulão, Miguel; Kardas, Geylani. "Agent-based cyber-physical system development with SEA_ML++". In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 195-219. Elsevier, 2021.
    10.1016/b978-0-12-819105-7.00013-1
  2. Barišic, Ankica; Amaral, Vasco; Goulão, Miguel; Barroca, Bruno. "Evaluating the Usability of Domain-Specific Languages". In Formal and Practical Aspects of Domain-Specific Languages, 386-407. United States: IGI Global, 2013.
    10.4018/978-1-4666-2092-6.ch014
  3. Barroca, Bruno; Lucio, Levi; Amaral, Vasco; Felix, Roberto; Sousa, Vasco. "DSLTrans: A Turing Incomplete Transformation Language". edited by Malloy, B.; Staab, S.; VanDenBrand, M., 296-305. 2011.
  4. Alferez, Mauricio; Santos, Joao; Moreira, Ana; Garcia, Alessandro; Kulesza, Uira; Araujo, Joao; Amaral, Vasco. "Multi-view Composition Language for Software Product Line Requirements". edited by VanDenBrand, M. Gasevic D. Gray J., 103-122. 2010.
  5. Alférez, M.; Moreira, A.; Amaral, V.; Araújo, J.. "Model-driven requirements specification for software product lines". In Proceedings of 2008 First International Workshop on Managing Requirements Knowledge, 369-386. United States: IGI Global, 2010.
    Published • 10.4018/978-1-61692-874-2.ch017
  6. Amaral, Vasco; Hardebolle, Cecile; Karsai, Gabor; Lengyel, Laszlo; Levendovszky, Tihamer. "Recent Advances in Multi-paradigm Modeling". edited by Ghosh, S., 220-224. 2010.
  7. Risoldi, M.; Amaral, V.; Barroca, B.; Bazargan, K.; Buchs, D.; Cretton, F.; Falquet, G.; et al. "A language and a methodology for prototyping user interfaces for control systems". In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 221-248. Germany: Springer, 2009.
    Published • 10.1007/978-3-642-00437-7_9
  8. Risoldi, Matteo; Amaral, Vasco. "Towards a formal, model-based framework for control systems interaction prototyping". edited by Guelfi, N.; Buchs, D., 144-159. 2007.
  9. Amaral, V.; Helmer, S.; Moerkotte, G.. "A visual query language for HEP analysis". edited by Metzler, S. D., 829-833. 2004.
  10. Amaral, V.; Helmer, S.; Moerkotte, G.. "PHEASANT: A PHysicist's EAsy ANalysis tool". edited by Christiansen, H.; Hacid, M. S.; Andreasen, T.; Larsen, H. L., 229-242. 2004.
Conference abstract
  1. Carreira, P.; Amaral, V.. "Preface". Paper presented in First International Workshop of Information Technologies for Energy applications - IT4Energy 2016, 2012.
    Published
  2. Amaral, V.; Hardebolle, C.; Vangheluwe, H.; Lengyel, L.; Bunus, P.. "Summary of the workshop on multi-paradigm modelling: Concepts and tools". 2012.
    10.1007/978-3-642-29645-1_10
  3. Amaral, V.. "Foreword: Quality in model driven engineering". 2012.
    10.1109/QUATIC.2012.77
  4. Vangheluwe, H.; Amaral, V.; Hardebolle, C.; Lengyel, L.. "Summary of the workshop on multi-paradigm modelling: Concepts and tools". Paper presented in Workshop on multi-paradigm modelling: Concepts and tools, 2011.
    10.1007/978-3-642-21210-9_26
  5. Amaral, V.; Hardebolle, C.; Karsai, G.; Lengyel, L.; Levendovszky, T.. "Recent advances in multi-paradigm modeling". Paper presented in Multi-Paradigm Modelling Workshop. Workshops and Symposia on Models in Software Engineering, MODELS 2009, 2010.
    10.1007/978-3-642-12261-3_21
Conference paper
  1. Cambeiro, João; Gomes, Cláudio; Amaral, Vasco; Rodrigues, Armanda; Cunha, Jácome; NOVALincs; DI - Departamento de Informática. "A building automation case study setup and challenges". 2018.
    https://doi.org/10.1145/3196478.3196482
  2. Zabasta, Anatolijs; Carreira, Paulo; Nikiforova, Oksana; Amaral, Vasco; Kunicina, Nadezda; Goulao, Miguel; Sukovskis, Uldis; Ribickis, Leonids; IEEE. "Developing a Mutually-Recognized Cross-Domain Study Program in Cyber-Physical Systems". Paper presented in 2017 IEEE Global Engineering Education Conference (EDUCON), 2017.
  3. De Faveri, C.D.; Moreira, A.; Araújo, J.; Amaral, V.. "Towards security modeling of E-voting systems". 2017.
    10.1109/REW.2016.37
  4. Zabasta, A.; Carreira, P.; Nikiforova, O.; Amaral, V.; Kunicina, N.; Goulao, M.; Sukovskis, U.; Ribickis, L.. "Developing a mutually-recognized cross-domain study program in cyber-physical systems". 2017.
    10.1109/EDUCON.2017.7942937
  5. Barišic, A.; Blouin, D.; Amaral, V.; Goulão, M.. "A requirements engineering approach for usability-driven DSL development". 2017.
    10.1145/3136014.3136027
  6. Silva, L.; Moreira, A.; Araújo, J.; Gralha, C.; Goulão, M.; Amaral, V.. "Exploring views for goal-oriented requirements comprehension". Paper presented in International Conference on Conceptual Modeling - ER 2016, 2016.
    Published • 10.1007/978-3-319-46397-1_12
  7. Silva, Lyrene; Moreira, Ana; Araújo, João; Gralha, Catarina; Goulão, Miguel; Amaral, Vasco; DI - Departamento de Informática; NOVALincs. "Exploring Views for Goal-Oriented Requirements Comprehension". Paper presented in International Conference on Conceptual Modeling ER 2016, 2016.
    Published • 10.1007/978-3-319-46397-1Scopus
  8. Teixeira, R.; Amaral, V.. "On the emergence of patterns for spreadsheets data arrangements". Paper presented in STAF 2016: Software Technologies: Applications and Foundations, 2016.
    10.1007/978-3-319-50230-4_25
  9. Faveri, C.D.; Moreira, A.; Amaral, V.. "Goal-Driven Deception Tactics Design". 2016.
    10.1109/ISSRE.2016.44
  10. Vangheluwe, H.; Amaral, V.; Giese, H.; Broenink, J.; Schätz, B.; Norta, A.; Carreira, P.; et al. "MPM4CPS: Multi-paradigm modelling for cyber-physical systems". 2016.
  11. Ameller, David; Franch, Xavier; Gomez, Cristina; Araujo, Joao; Svensson, Richard Berntsson; Biffl, Stefan; Cabot, Jordi; et al. "Handling Non-functional Requirements in Model-Driven Development: An Ongoing Industrial Survey". Paper presented in 2015 IEEE 23rd International Requirements Engineering Conference (RE), 2015.
    Published
  12. Ameller, D.; Franch, X.; Gómez, C.; Araujo, J.; Svensson, R.B.; Biffl, S.; Cabot, J.; et al. "Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey". 2015.
    10.1109/RE.2015.7320424
  13. Gomes, C.; Barroca, B.; Amaral, V.. "Classification of model transformation tools: Pattern matching techniques". Paper presented in International Conference on Model Driven Engineering Languages and Systems - MODELS 2014, Valência, 2014.
    Published
  14. Silva, L.P.; E Abreu, F.B.; Amaral, V.. "A model-driven approach for mobile business information systems applications". 2014.
  15. Barišic, A.; Amaral, V.; Goulão, M.; Aguiar, A.. "Introducing usability concerns early in the DSL development cycle: FlowSL experience report". 2014.
  16. Araújo, J.; Goulão, M.; Moreira, A.; Simão, I.; Amaral, V.; Baniassad, E.. "Advanced modularity for building SPL feature models: A model-driven approach". Paper presented in 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, 2013.
    10.1145/2480362.2480596
  17. Amaral, V.; Cicchetti, A.; Deshayes, R.. "A multiparadigm approach to integrate gestures and sound in the modeling framework". 2013.
  18. Barisic, Ankica; Amaral, Vasco; Goulao, Miguel. "Usability Evaluation of Domain-Specific Languages". 2012.
    Published • 10.1109/quatic.2012.63
  19. Barišic, A.; Amaral, V.; Goulão, M.; Barroca, B.. "Evaluating the usability of domain-specific languages". Paper presented in International Conference on the Quality of Information and Communications Technology, Lisbon, 2012.
    Published • 10.1109/QUATIC.2012.63
  20. Monteiro, Rui; Araujo, Joao; Amaral, Vasco; Goulao, Miguel; Patricio, Pedro. "Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches". Paper presented in 2012 Eighth International Conference on the Quality of Information and Communications Technology (Quatic 2012), 2012.
    Published • 10.1109/quatic.2012.38
  21. Barišic, A.; Amaral, V.; Goulão, M.. "Usability evaluation of domain-specific languages". 2012.
    Published • 10.1109/QUATIC.2012.63
  22. Marques, E.; Balegas, V.; Barroca, B.F.; Barišic, A.; Amaral, V.. "The RPG DSL: A case study of language engineering using MDD for generating RPG games for mobile phones". Paper presented in SPLASH 2012: DSM 2012 - Proceedings of the 2012 ACM Workshop on Domain-Specific Modeling, 2012.
    Published • 10.1145/2420918.2420923
  23. Amaral, Vasco; Barroca, Bruno; Carreira, Paulo. "Towards a robust solution in Building Automation Systems: supporting rapid prototyping and analysis". Paper presented in 2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012.
    Published • 10.1109/quatic.2012.59
  24. Barišic, A.; Amaral, V.; Goulão, M.; Barroca, B.. "Quality in use of domain-specific languages: A case study". Paper presented in PLATEAU'11 - Proceedings of the 3rd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, 2011.
    Published • 10.1145/2089155.2089170
  25. Carreira, P.; Nunes, R.; Amaral, V.. "SmartLink: A hierarchical approach for connecting smart buildings to smart grids". Paper presented in 11th International Conference on Electrical Power Quality and Utilisation, 2011.
    Published • 10.1109/EPQU.2011.6128857
  26. Carreira, P.; Amaral, V.; Barroca, B.. "The case for a systematic development of Building Automation Systems". Paper presented in IEEE PES Innovative Smart Grid Technologies Conference Europe, 2011.
    10.1109/ISGTEurope.2011.6162819
  27. Patricio, Pedro; Amaral, Vasco; Araujo, Joao; Monteiro, Rui; Ieee,. "Towards a Unified Goal-Oriented Language". Paper presented in Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, 2011.
    Published • 10.1109/compsac.2011.83
  28. Barroca, B.; Lúcio, L.; Amaral, V.; Félix, R.; Sousa, V.. "DSLTrans: A turing incomplete transformation language". Paper presented in Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, 2010.
    Published • 10.1007/978-3-642-19440-5_19
  29. Oliveira, A.R.; Araújo, J.; Amaral, V.. "The VisualAORE DSL". Paper presented in 2010 5th International Workshop on Requirements Engineering Visualization, REV 2010, 2010.
    Published • 10.1109/REV.2010.5625665
  30. Monteiro, R.; Araújo, J.; Amaral, V.; Patrício, P.. "MDGore: Towards model-driven and Goal-Oriented Requirements Engineering". Paper presented in 18th IEEE International Requirements Engineering Conference (RE 2010), 2010.
    Published • 10.1109/RE.2010.60
  31. Gabriel, P.; Goulão, M.; Amaral, V.. "Do software languages engineers evaluate their languages?". Paper presented in CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering", 2010.
    Published
  32. Pedro, L.; Risoldi, M.; Buchs, D.; Amaral, V.. "Developing domain-specific modeling languages by metamodel semantic enrichment and composition: A case study". Paper presented in Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM'10, Reno Nevada, 2010.
    Published • 10.1145/2060329.2060364
  33. Lúcio, L.; Barroca, B.; Amaral, V.. "A technique for automatic validation of model transformations". Paper presented in Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, 2010.
    Published • 10.1007/978-3-642-16145-2_10
  34. Lucio, Levi; Barroca, Bruno; Amaral, Vasco. "A Technique for Automatic Validation of Model Transformations". Paper presented in International Conference on Model Driven Engineering Languages and Systems MODELS 2010, 2010.
    Published
  35. PEDRO, L; RISOLDI, M; BUCHS, D; BARROCA, B; AMARAL, V; JACKO, JA. "Composing Visual Syntax for Domain Specific Languages". Paper presented in International Conference on Human-Computer Interaction, San Diego, 2009.
    Published
  36. Nunes, C.; Araujo, J.; Amaral, V.; Silva, C.. "A domain specific language for the I* framework". Paper presented in ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings, Milão, 2009.
    Published
  37. Alférez, M.; Santos, J.; Moreira, A.; Garcia, A.; Kulesza, U.; Araújo, J.; Amaral, V.. "Multi-view composition language for software product line requirements". Paper presented in 2nd International Conference on Software Language Engineering, 2009.
    10.1007/978-3-642-12107-4_8
  38. Alférez, M.; Moreira, A.; Kulesza, U.; Araújo, J.; Mateus, R.; Amaral, V.. "Detecting feature interactions in SPL requirements analysis models". Paper presented in FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009.
    Published • 10.1145/1629716.1629738
  39. Pedro, L.; Risoldi, M.; Buchs, D.; Barroca, B.; Amaral, V.. "Composing visual syntax for domain specific languages". Paper presented in Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, 2009.
    Published • 10.1007/978-3-642-02577-8_97
  40. Dias, A.; Amaral, V.; Araújo, J.. "Towards a domain specific language for a goal-oriented approach based on KAOS". Paper presented in 2009 Third International Conference on Research Challenges in Information Science, 2009.
    10.1109/RCIS.2009.5089305
  41. Rosa, A.; Amaral, V.; Barroca, B.. "Designing a DSL solution for the domain of augmented reality software applications specification". Paper presented in International Conference on Technologies for E-Learning and Digital Entertainment Edutainment 2009, 2009.
    Published • 10.1007/978-3-642-03364-3_51
  42. Santos, João; Moreira, Ana; Ara újo, João; Amaral, Vasco; Alf érez, Mauricio; Kulesza, Uirá. "Generating Requirements Analysis Models from Textual Requirements". Paper presented in First International Workshop on Managing Requirements Knowledge, Barcelona, 2008.
    Published • 10.1109/mark.2008.4
  43. Risoldi, M.; Buchs, D.; Masetti, L.; Amaral, V.; Barroca, B.. "A methodology for control systems GUI prototyping - A case study". 2008.
  44. Barroca, B.; Amaral, V.; Calado, P.; Risoldi, M.; Caprini, M.; Moreira, A.; Araújo, J.. "Towards the application of a model based design methodology for reliable control systems on HEP experiments". Paper presented in IEEE Nuclear Science Symposium Conference, 2008.
    Published • 10.1109/NSSMIC.2008.4774651
  45. Alférez, M.; Kulesza, U.; Sousa, A.; Santos, J.; Moreira, A.; Araújo, J.; Amaral, V.. "A model-driven approach for software product lines requirements engineering". Paper presented in 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008, 2008.
    Published
  46. Sousa, Vasco; Amaral, Vasco; Barroca, Bruno; Ieee,. "Towards a full implementation of a robust solution of a Domain Specific Visual Query Language for HEP Physics analysis". Paper presented in IEEE Nuclear Science Symposium Conference, 2007.
    Published
  47. Risoldi, M.; Amaral, V.. "Towards a formal, model-based framework for control systems interaction prototyping". Paper presented in International Workshop on Rapid Integration of Software Engineering Techniques RISE 2006, 2006.
    Published
  48. Amaral, V.; Helmer, S.; Moerkotte, G.. "PHEASANT: A PHysicist's EAsy ANalysis tool". Paper presented in Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004,, 2004.
    Published
  49. AMARAL, V; MOERKOTTE, G; AMORIM, A; HELMER, S; CHEN, HS. "Studies for optimization of data analysis queries for HEP using HERA-B commissioning data". Paper presented in CHEP 2001 Conference Computing in High Energy and Nuclear Physics ¿, Pequim, 2001.
    Published
  50. AMARAL, V; AMORIM, A; BATISTA, J; CHEN, HS. "Operational experience running the Hera-B database system". Pequim, 2001.
    Published
Conference poster
  1. Amaral, V.; Helmer, S.; Moerkotte, G.. "Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis". Paper presented in CHEP 2001 - International Conference on Computing in High Energy and Nuclear Physics, 2001.
    10.1109/vlhcc.2005.38
Journal article
  1. Alaca, Omer Faruk; Tezel, Baris Tekin; Challenger, Moharram; Goulão, Miguel; Amaral, Vasco; Kardas, Geylani. "AgentDSM-Eval: A framework for the evaluation of domain-specific modeling languages for multi-agent systems". Computer Standards & Interfaces 76 (2021): 103513. http://dx.doi.org/10.1016/j.csi.2021.103513.
    10.1016/j.csi.2021.103513
  2. Vasco Amaral; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira; et al. "Programming languages for data-Intensive HPC applications: A systematic mapping study". Parallel Computing (2020): 102584-102584. https://doi.org/10.1016/j.parco.2019.102584.
    10.1016/j.parco.2019.102584
  3. Ameller, David; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Bohm, Wolfgang; et al. "Dealing with Non-Functional Requirements in Model-Driven Development: A Survey". IEEE Transactions on Software Engineering (2019): 1-1. http://dx.doi.org/10.1109/tse.2019.2904476.
    Published • 10.1109/tse.2019.2904476
  4. De Faveri, Cristiano; Moreira, Ana; Amaral, Vasco. "Multi-paradigm deception modeling for cyber defense". Journal of Systems and Software 141 (2018): 32-51. http://dx.doi.org/10.1016/j.jss.2018.03.031.
    Published • 10.1016/j.jss.2018.03.031
  5. Barišic, A.; Amaral, V.; Goulão, M.. "Usability driven DSL development with USE-ME". Computer Languages, Systems and Structures 51 (2018): 1339-1351. http://www.scopus.com/inward/record.url?eid=2-s2.0-85028946457&partnerID=MN8TOARS.
    10.1016/j.cl.2017.06.005
  6. Carreira, Paulo; Mendes, Gonçalo; Barroca, Bruno; Amaral, Vasco; Honkapuro, Samuli; Prada, Rui. "Energy behaviour engagement in smart urban environments". Energy Procedia 142 (2017): 2080-2088. http://dx.doi.org/10.1016/j.egypro.2017.12.580.
    10.1016/j.egypro.2017.12.580
  7. Barroca, B.; Amaral, V.; Buchs, D.. "Semantic languages for developing correct language translations". Software Quality Journal (2017): 1-37. http://www.scopus.com/inward/record.url?eid=2-s2.0-85007583407&partnerID=MN8TOARS.
    10.1007/s11219-016-9352-4
  8. Goulão, M.; Amaral, V.; Mernik, M.. "Quality in model-driven engineering: a tertiary study". Software Quality Journal 24 3 (2016): 601-633. http://www.scopus.com/inward/record.url?eid=2-s2.0-84976331533&partnerID=MN8TOARS.
    Published • 10.1007/s11219-016-9324-8
  9. Alferez, Mauricio; Lopez-Herrejon, Roberto E.; Moreira, Ana; Amaral, Vasco. "Consistency Checking in Early Software Product Line Specifications - The VCC Approach". Journal of Universal Computer Science 20 5 (2014): 640-665. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000339391100004&KeyUID=WOS:000339391100004.
  10. Alférez, M.; Lopez-Herrejón, R.E.; Moreira, A.; Amaral, V.; Egyed, A.. "Consistency checking in early Software Product Line Specifications - The VCC approach". Journal of Universal Computer Science 20 5 (2014): 640-665. http://www.scopus.com/inward/record.url?eid=2-s2.0-84904756853&partnerID=MN8TOARS.
  11. Gomes, Claudio; Barroca, Bruno; Amaral, Vasco; Dingel, J; Schulte, W; Ramos, I; Abrahao, S; Insfran, E. "Classification of Model Transformation Tools: Pattern Matching Techniques". Model-Driven Engineering Languages and Systems, Models 2014 8767 (2014): 619-635. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000345508500038&KeyUID=WOS:000345508500038.
  12. Alférez, M.; Lopez-Herrejon, R.E.; Moreira, A.; Amaral, V.; Egyed, A.. "Supporting consistency checking between features and software product line use scenarios". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6727 LNCS (2011): 20-35. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959662057&partnerID=MN8TOARS.
    10.1007/978-3-642-21347-2_3
  13. BARROCA, B; AMARAL, V; CALADO, P; RISOLDI, M; CAPRINI, M; MOREIRA, A; ARAUJO, J. "Towards the application of a model based design methodology for reliable control systems on HEP experiments". 2008 IEEE NUCLEAR SCIENCE SYMPOSIUM AND MEDICAL IMAGING CONFERENCE (2008 NSS/MIC), VOLS 1-9 (2009): 84-91. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000268656000016&KeyUID=WOS:000268656000016.
  14. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Erratum: V0 production in p+A collisions at v s=41.6 GeV (European Physical Journal C (2009) 61 (207-221) DOI: 10.1140/epjc/s10052-009-1005-3)". European Physical Journal C 64 1 (2009): 167-168. http://www.scopus.com/inward/record.url?eid=2-s2.0-70350375285&partnerID=MN8TOARS.
    10.1140/epjc/s10052-009-1138-4
  15. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "FV 0 production in p+A collisions at vs=41.6 GeV". European Physical Journal C 61 2 (2009): 207-221. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349125171&partnerID=MN8TOARS.
    10.1140/epjc/s10052-009-1005-3
  16. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Angular distributions of leptons from J/¿'s produced in 920 GeV fixed-target proton-nucleus collisions". European Physical Journal C 60 4 (2009): 517-524. http://www.scopus.com/inward/record.url?eid=2-s2.0-64849112682&partnerID=MN8TOARS.
    10.1140/epjc/s10052-009-0957-7
  17. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Kinematic distributions and nuclear effects of J/¿ production in 920 GeV fixed-target proton-nucleus collisions". European Physical Journal C 60 4 (2009): 525-542. http://www.scopus.com/inward/record.url?eid=2-s2.0-64849105422&partnerID=MN8TOARS.
    10.1140/epjc/s10052-009-0965-7
  18. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Production of the charmonium states ¿c1 and ¿c2 in proton nucleus interactions at s=41.6GeV". Physical Review D - Particles, Fields, Gravitation and Cosmology 79 1 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-59249093373&partnerID=MN8TOARS.
    10.1103/PhysRevD.79.012001
  19. Nunes, C.; Araujo, J.; Amaral, V.; Silva, C.. "A domain specific language for the I* framework". ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings DISI (2009): 158-163. http://www.scopus.com/inward/record.url?eid=2-s2.0-74849119145&partnerID=MN8TOARS.
  20. Nunes, C.; Araujo, J.; Amaral, V.; Silva, C.. "A domain specific language for the I* framework". ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings DISI (2009): 158-163. http://www.scopus.com/inward/record.url?eid=2-s2.0-74849119145&partnerID=MN8TOARS.
  21. Sousa, V.; Amaral, V.; Conde, P.. "Towards a full implementation of a robust solution of a domain specific visual query language for HEP physics analysis". Journal of Physics: Conference Series 119 4 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-50849088663&partnerID=MN8TOARS.
    10.1088/1742-6596/119/4/042027
  22. Santos, J.; Moreira, A.; Araújo, J.; Amaral, V.; Alférez, M.; Kulesza, U.. "Generating requirements analysis models from textual requirements". 2008 1st International Workshop on Managing Requirements Knowledge, MARK'08 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-64849086682&partnerID=MN8TOARS.
    10.1109/MARK.2008.4
  23. Veiga, L.; Amaral, V.; Horspool, N.; Cabri, G.. "Principles and Practice of Programming in Java - Proceedings of the 6th International Conference, PPPJ 2008: Message from the Editors". Principles and Practice of Programming in Java - Proceedings of the 6th International Conference, PPPJ 2008 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-59249084354&partnerID=MN8TOARS.
  24. Sousa, V.; Amaral, V.; Barroca, B.. "Towards a full implementation of a robust solution of a Domain Specific Visual Query Language for HEP Physics analysis". IEEE Nuclear Science Symposium Conference Record 1 (2007): 910-917. http://www.scopus.com/inward/record.url?eid=2-s2.0-48349144605&partnerID=MN8TOARS.
    10.1109/NSSMIC.2007.4436475
  25. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Luminosity determination at HERA-B". Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 582 2 (2007): 401-412. http://www.scopus.com/inward/record.url?eid=2-s2.0-35548990106&partnerID=MN8TOARS.
    10.1016/j.nima.2007.09.011
  26. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Measurement of D0, D+, Ds + and D*+ production in fixed target 920¿GeV proton-nucleus collisions". European Physical Journal C 52 3 (2007): 531-542. http://www.scopus.com/inward/record.url?eid=2-s2.0-35748969868&partnerID=MN8TOARS.
    10.1140/epjc/s10052-007-0427-z
  27. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Bottom production cross section from double muonic decays of b-flavoured hadrons in 920 GeV proton-nucleus collisions". Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 650 2-3 (2007): 103-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-34250355991&partnerID=MN8TOARS.
    10.1016/j.physletb.2007.04.022
  28. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "K*0 and f meson production in proton-nucleus interactions at vs=41.6 GeV". European Physical Journal C 50 2 (2007): 315-328. http://www.scopus.com/inward/record.url?eid=2-s2.0-34047134274&partnerID=MN8TOARS.
    10.1140/epjc/s10052-007-0237-3
  29. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "A measurement of the ¿' to J/¿ production ratio in 920 GeV proton-nucleus interactions". European Physical Journal C 49 2 (2007): 545-558. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846786821&partnerID=MN8TOARS.
    10.1140/epjc/s10052-006-0139-9
  30. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Measurement of the J / ¿ production cross section in 920  GeV / c fixed-target proton-nucleus interactions". Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 638 5-6 (2006): 407-414. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745536405&partnerID=MN8TOARS.
    10.1016/j.physletb.2006.03.064
  31. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Polarization of ¿ and over(¿, ¯) in 920 GeV fixed-target proton-nucleus collisions". Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 638 5-6 (2006): 415-421. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745577961&partnerID=MN8TOARS.
    10.1016/j.physletb.2006.05.040
  32. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Measurement of the ¿{hooked} production cross section in 920 GeV fixed-target proton-nucleus collisions". Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 638 1 (2006): 13-21. http://www.scopus.com/inward/record.url?eid=2-s2.0-33744947038&partnerID=MN8TOARS.
    10.1016/j.physletb.2006.04.042
  33. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Improved measurement of the bb¯ production cross section in 920 GeV fixed-target proton-nucleus collisions". Physical Review D - Particles, Fields, Gravitation and Cosmology 73 5 (2006): http://www.scopus.com/inward/record.url?eid=2-s2.0-33644853861&partnerID=MN8TOARS.
    10.1103/PhysRevD.73.052005
  34. Zoccoli, A.; Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; et al. "Charm, beauty and charmonium production at HERA-B". European Physical Journal C 43 1-4 (2005): 179-186. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000231220200031&KeyUID=WOS:000231220200031.
    10.1140/epjc/s2005-02308-8
  35. Amaral, V.; Helmer, S.; Moerkotte, G.. "Formally specifying the syntax and semantics of a visual query language for the domain of High Energy Physics data analysis". Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing 2005 (2005): 251-258. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746538898&partnerID=MN8TOARS.
    10.1109/VLHCC.2005.38
  36. Amaral, V.; Helmer, S.; Moerkotte, G.. "Engineering a new abstraction layer to optimize the HEP analysis process". IEEE Transactions on Nuclear Science 51 4 I (2004): 1441-1448. http://www.scopus.com/inward/record.url?eid=2-s2.0-4444292766&partnerID=MN8TOARS.
    10.1109/TNS.2004.832551
  37. Abt, I.; Adams, M.; Agari, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; et al. "Limits for the central production of T+ and ¿- - pentaquarks in 920-GeV pA collisions". Physical Review Letters 93 21 (2004): http://www.scopus.com/inward/record.url?eid=2-s2.0-37649028167&partnerID=MN8TOARS.
    10.1103/PhysRevLett.93.212003
  38. Abt, I.; Adams, M.; Albrecht, H.; Aleksandrov, A.; Amaral, V.; Amorim, A.; Aplin, S.J.; et al. "Search for the flavor-changing neutral current decay D0 ¿ µ+µ- with the HERA-B detector". Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 596 3-4 (2004): 173-183. http://www.scopus.com/inward/record.url?eid=2-s2.0-3242892940&partnerID=MN8TOARS.
    10.1016/j.physletb.2004.06.097
  39. Amaral, V.; Helmer, S.; Moerkotte, G.. "Engineering a new abstraction layer to optimize the HEP analysis process". IEEE Nuclear Science Symposium Conference Record 2 (2003): 824-828. http://www.scopus.com/inward/record.url?eid=2-s2.0-11944262914&partnerID=MN8TOARS.
  40. Amaral, V.; Helmer, S.; Moerkotte, G.. "A visual query language for HEP analysis". IEEE Nuclear Science Symposium Conference Record 2 (2003): 829-833. http://www.scopus.com/inward/record.url?eid=2-s2.0-12144270051&partnerID=MN8TOARS.
  41. Abt, I.; Abyzov, A.; Adams, M.; Albrecht, H.; Amaral, V.; Amorim, A.; Aplin, S.J.; et al. "Inclusive V0 production cross sections from 920 GeV fixed target proton-nucleus collisions: The HERA-B Collaboration". European Physical Journal C 29 2 (2003): 181-190. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042914771&partnerID=MN8TOARS.
  42. Abt, I.; Abyzov, A.; Adams, M.; Albrecht, H.; Amaral, V.; Amorim, A.; Aplin, S.J.; et al. "J/¿ production via ¿c decays in 920 GeV pA interactions". Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 561 1-2 (2003): 61-72. http://www.scopus.com/inward/record.url?eid=2-s2.0-0038034194&partnerID=MN8TOARS.
    10.1016/S0370-2693(03)00407-6
  43. Abt, I.; Abyzov, A.; Adams, M.; Albrecht, H.; Amaral, V.; Amorim, A.; Aplin, S.J.; et al. "Measurement of the bb¯ production cross section in 920 GeV fixed-target proton-nucleus collisions: The HERA - B collaboration". European Physical Journal C 26 3 (2003): 345-355. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037274007&partnerID=MN8TOARS.
    10.1140/epjc/s2002-01071-8
  44. Abt, I.; Abyzov, A.; Adams, M.; Albrecht, H.; Amaral, V.; Amorim, A.; Aplin, S. J.; et al. "Inclusive V-0 production cross sections from 920 GeV fixed target proton-nucleus collisions". European Physical Journal C (2003): http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000184639400003&KeyUID=WOS:000184639400003.
    10.1140/epjc/s2003-01200-y
  45. Abt, I.; Adams, M.; Albrecht, H.; Amaral, V.; Amorim, A.; Aplin, S. J.; Arefiev, A.; et al. "J/psi production via chi(c) decays in 920 GeV pA interactions". Physics Letters B (2003): http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000182760200008&KeyUID=WOS:000182760200008.
    10.1016/s0370-2693(03)00407-6
  46. Amaral, V.; Helmer, S.; Moerkotte, G.. "A visual query language for HEP analysis". IEEE Nuclear Science Symposium Conference Record 2 (2003): 829-833. http://www.scopus.com/inward/record.url?eid=2-s2.0-12144270051&partnerID=MN8TOARS.
  47. Amaral, V.; Helmer, S.; Moerkotte, G.. "Engineering a new abstraction layer to optimize the HEP analysis process". IEEE Nuclear Science Symposium Conference Record 2 (2003): 824-828. http://www.scopus.com/inward/record.url?eid=2-s2.0-11944262914&partnerID=MN8TOARS.
  48. Amorim, A.; Amaral, V.; Marconi, U.; Steinbeck, S.; Tome, A.; Vagnoni, V.; Wolters, H.. "The HERA-B database services for detector configuration, calibration, alignment, slow control and data classification". Computer Physics Communications 140 1-2 (2001): 172-178. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000171527500020&KeyUID=WOS:000171527500020.
    10.1016/s0010-4655(01)00268-5
Journal issue
  1. Amaral, Vasco; Jordi Cabot; Miguel Goulão. "Special issue on quality in Model-Driven Engineering". Computer Languages, Systems & Structures 54 (2018): https://doi.org/10.1016/j.cl.2018.03.001.
    Published • Editor
  2. Amaral, V.; Mernik, M.. "Special issue on quality in model-driven engineering". Software Quality Journal 24 3 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-84975298382&partnerID=MN8TOARS.
    Published • 10.1007/s11219-016-9327-5 • Editor
  3. Amaral, Vasco; Markus Aleksy; Ralf Gitzel; James Power; John Waldron. "Special Issue on Principles and Practices of Programming in Java (PPPJ 2007)". Science of Computer Programming 74 5-6 (2009): https://www.sciencedirect.com/journal/science-of-computer-programming/vol/74/issue/5.
    Published
Preface / Postscript
  1. Paulk, M.; Machado, R.J.; Brito, M.A.; Goulão, M.; Amaral, V.. "Message from the conference chairs: QUATIC 2016". Preface to Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018, x-xi. United States: IEEE Computer Society. 2016.
    Published • 10.1109/QUATIC.2016.007
  2. Aleksy, M.; Amaral, V.; Gitzel, R.; Power, J.; Waldron, J.. "PPPJ special issue-Foreword". Preface to Science of Computer Programming, 259-260. Elsevier. 2009.
    Published • 10.1016/j.scico.2009.01.008
  3. Veiga, L.; Amaral, V.; Horspool, N.; Cabri, G.. "Principles and Practice of Programming in Java - Proceedings of the 6th International Conference, PPPJ 2008: Message from the Editors". Preface to Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ACM. 2008.
    Published
Activities

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2019 - Current Transparent Integration of Multi-Fidelity Heterogeneous Models using a System Engineering Approach
Supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Université Côte d'Azur Institut Universitaire de Technologie, France
2020 - 2021/03 A Blockchain Gamification Solution For A Sustainable Campus
Supervisor
Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/03 Modelo de interação flexível num Editor de Modelos operado por voz e gestos
Supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021/03 Plataforma de construção de Linguagens de Modelação com sintaxe concreta Som e Voz
Supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 Gamification in building automation - the Human in the loop in a Cyber-Physical System
Supervisor of Joana Páris Pereira
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 A Model-Driven Approach to the Generation of Front-Ends
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 The Human in the loop in Cyber-Physical Systems: the case of Building Automation
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Linguagens para a Computação de Alto Desempenho, utilizadas no processamento de Big Data: Um Estudo de Mapeamento Sistemático
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 A modeling plataform for visually impaired or blind people
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Systematic Literature Review of Domain Specific Languages and Computational Models for High-Performance Computing
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Usability Evaluation of Multi Agent Systems
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 A Rule-based Engine to support a Framework for the Experimental Validation of Domain Specific Languages
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 IoT Platforms for Building Automation with Energy Efficiency and Comfort Concerns
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Software Language Engineering: Interaction and Usability Modeling of Language Editors
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Specifying, Analyzing, Integrating Mobile Apps and Location Sensors as part of Cyber-Physical Systems in the Classroom Environment
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Modelo de Custos para Linguagens de Domínio Específico
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2017 Usability Evaluation of Domain - Specific Languages
Supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 A Model-Driven Approach for Mobile Business Intelligence
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Controlled Specification and Generation of Spreasheets
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Domain Specific Language Evaluation: OutSystems' Business Process Technology
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Sistema de Configuração de Redes aviónicas
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 A Domain Specific Language for Home Automation Systems focused on Statements that Specify Imprecision
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Gesture Language Editor - Modeling and Recognition
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Geração de Interfaces Móveis a partir de Ontologias
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 A Domain Specific Query Language for Querying Building Data Streams of energy, Weather and occupation Data
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 Testing methodology for real time operating systems assuring conformity with ARINC 653
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 Família de DSLs para integrated modular avionics
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 A domain specific language for domotic systems
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 A Software Product Line of DSLs for Modular Avionics
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2014 Quality of Process Modeling Using BPMN: A Model-Driven Approach
Co-supervisor
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2013 Child programming: an adequate domain specific language for programming specific robots
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2013 A framework for efficient model transformations
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2013 Analysable Software Language Translations
Supervisor of Bruno Fontes Barroca
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Test Selection from Algebraic Petri Nets: an operational method and a tool
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2012 Managing Variability Requirements in Software Product Lines in the Presence of Volatile Requirements
Co-supervisor of Edward Mauricio Alférez Salinas
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010 Software languages engineering: experimental evaluation
Supervisor
Engenharia Informática
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 Uma Linguagem específica do domínio para uma abordagem orientada aos objectivos baseada em KAOS
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 Uma linguagem de domínio específico para a framework i*
Co-supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2008 DSLtranslator - ferramenta para transformação de modelos
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006 - 2007 (H)ALL: a DSL for Rapid Prototyping of User Interfaces for Control Systems for Critical Complex Control Systems
Supervisor
Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event organisation

Event name
Type of event (Role)
Institution / Organization
2018/09 - Current QUATIC'2018 : 11th International Conference on the Quality of Information and Communications Technology (2018/09)
Conference (Co-organisor)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2016 - Current QUATIC'2016 2016 : 10th International Conference on the Quality of Information and Communications Technology (2016/09/06 - 2016/09/09)
Conference (Co-organisor)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - Current Primeiro Congresso Ibérico dos Jovens Engenheiros (International Young Engineers' Iberian Conference), Braga, Portugal, CIJE 2012 (2012)
Conference (Co-organisor)
Ordem dos Engenheiros, Portugal
2018/11 - 2018/11 Training School on Multi-Paradigm Modelling for Cyber-Physical Systems, Doctoral School held at Pisa, Italy (2018/11 - 2018/11)
Other
2018 - 2018 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018 (2018/09/04 - 2018/09/07)
Conference (Co-organisor)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1999 - 2018 International Summer School on Domain-Specific Modelling - Theory and Practice (DSM-TP) Series of Yearly Event (9 in total) (2009 - 2019)
Other (Co-organisor)
2016/09/06 - 2016/09/09 Organization of QUATIC 2016 - 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016. (2016/09/06 - 2016/09/09)
Conference (Co-organisor)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/09/05 - 2007/09/07 5th International Symposium on Principles and Practice of Programming in Java (Cooperation with ACM), PPPJ 2007, Lisboa, Portugal, September 5-7, 2007 (2007/09/05)
Conference (President of the Organising Committee)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2019 On the use of DSLs for data-mining democratisation
(Thesis) Main arguer
Alfonso de la Vega (PhD)
Universidad de Cantabria, Spain
2019 A Foundation for Inconsistency Management in Model-Based Systems Engineering
(Thesis) Main arguer
David Istvan (PhD)
Universiteit Antwerpen, Belgium
2018 Design, Implementation and Evaluation of Model-Driven Spreadsheets
(Thesis) Main arguer
Jorge Cunha Mendes (PhD)
Universidade do Minho, Portugal
2017 Mining complete, precise and simple process models
(Thesis) Main arguer
Borja Vazquez Barreiros (PhD)
Universidade de Santiago de Compostela, Spain
2016 Sensor Observation Service Semantic Mediation: Generic Wrappers for In-Situ and Remote Devices
(Thesis) Main arguer
Manuel Antonio Regueiro (PhD)
Universidade de Santiago de Compostela, Spain
2016 Context-Based Thermodynamic Modeling and Optimal Management of Energy and Occupant Comfort for Building Spaces
(Thesis) Main arguer
Pedro Fazenda (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 A Graph-Based Framework For Optimal Semantic Web Service Composition
(Thesis) Main arguer
Pablo Rodriguez Mier (PhD)
Universidade de Santiago de Compostela, Spain
2013 Development of CMS-based Web Applications with a Multi-Language Model-Driven Approach
(Thesis) Main arguer
João de Sousa Saraiva (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models
(Thesis) Main arguer
António Miguel Ribeiro dos Santos Rosado da Cruz (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2008 A Methodology For The Development Of Complex Domain Specific Languages
(Thesis) Main arguer
Matteo Risoldi (PhD)
Universite de Geneve, Switzerland

Association member

Society Organization name Role
2002 - Current IEEE Membro Sénior
2000 - Current Ordem dos Engenheiros Membro Sénior

Evaluation committee

Activity description
Role
Institution / Organization Funding entity
2020 - Current Evaluation of proposals for ANI – Agência Nacional de Inovação
Evaluator
Agência Nacional de Inovação SA, Portugal
2019 - Current OE+EUR-ACE certification (ENAEE - European Network for Accreditation of Engineering Education)
Evaluator
ENAEE - European Network for Accreditation of Engineering Education, Belgium
2019 - Current Evaluation of project proposals NSERC - Natural Sciences and Engineering Research Council of Canada
Evaluator
Natural Sciences and Engineering Research Council of Canada, Canada
2018 - 2020 Evaluation of University's Education Programmes for A3ES - (Agência de Avaliação e Acreditação do Ensino Superior)
Other
Ordem dos Engenheiros, Portugal
2015 - 2020 Reviewer of COST action proposals for COST (European Framework Cooperation in Science and Technology), EU Framework Programme Horizon 2020
Evaluator
COST (European Framework Cooperation in Science and Technology), Belgium
Distinctions

Award

2020 Certificate of Excellence in Reviewing Elsevier, Journal of Computer Languages
Elsevier BV, Netherlands
2020 SoSyM First Paper Award, Presented virtually at MODELS 2020 – Montreal, Canada, "Towards High-level Fuzzy Control Specifications for Building Automation Systems", J.Vidal, P. Carreira, V. Amaral
2012 European Citizen Prize
European Parliament Brussels, Belgium

Title

2022 Elected President of the Informatics Engineers College at the Portuguese Order of Engineers
Ordem dos Engenheiros, Portugal
2011 Ordem dos Engenheiro Senior Member
2011 IEEE Senior Member