???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Vasco Miguel Moreira do Amaral

Nomes de citação

  • Amaral, Vasco
  • Amaral, V.

Identificadores de autor

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

Telefones

Fax
  • 212948300 (Profissional)
Telefone
  • 212948536 (Profissional)

Moradas

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Formação
Grau Classificação
2005/02/17
Concluído
 Computer Science (Doktor (PhD))
Universität Mannheim, Alemanha
"Increasing Productivity in High Energy Physics Data Mining with a Domain Specific Visual Query Language" (TESE/DISSERTAÇÃO)
1993/09/15 - 1998/09/18
Concluído
 Engenharia Informática e de Computadores (Licenciatura)
Especialização em Programação e Sistemas de Informação
Universidade de Lisboa Instituto Superior Técnico, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
1998 - 2005 Assistente de Investigação (carreira) (Investigação) Laboratório de Instrumentação e Física Experimental de Partículas, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/09/14 - Atual Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005/03/01 - 2020/09/14 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa, Portugal
2016 - 2019 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa, Portugal
2013 - 2016 Professor Auxiliar (Docente Universitário) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/01 - Atual 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, Estados Unidos
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

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
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, Alemanha
1998 - 2000 Research Collaborator (Database group at the Hera-B experiment) Deutsches Elektronen-Synchrotron, Alemanha
1998 - 2000 Research Collaborator (Trigger DAQ group at ATLAS experiment) European Organization for Nuclear Research, Suiça
Projetos

Projeto

Designação Financiadores
2018 - 2020 Modelling Socio-Technical Cyber-Physical Systems
FCT/DAAD 2018/2019
Investigador responsável
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
Em curso
2015 - 2019 ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)
IC1406
Investigador
European Cooperation in Science and Technology
Concluído
2014/12 - 2018/12 COST Action IC 1404 - Multi-Paradigm Modeling for Cyber-Physical Systems
IC 1404
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission
Concluído
2016/11 - 2018/11 Domain Specific Modeling Languages for Multi-Agents - DSM4MA
TUBITAK/0008/2014
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 FCT/MCTES
Concluído
2007/12 - 2011/02 Rapid Prototyping of User Interfaces for Control Systems based in specification models
Provided by PTCRIS: 65798
Investigador responsável
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.
Concluído
2006 - 2009 AMPLE - Aspect Oriented, Model-Driven Product Line Engineering
AMPLE
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission Sixth Framework Programme
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em 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". Trabalho apresentado em International Conference on Conceptual Modeling - ER 2016, 2016.
    Publicado • 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". Trabalho apresentado em International Conference on Conceptual Modeling ER 2016, 2016.
    Publicado • 10.1007/978-3-319-46397-1Scopus
  8. Teixeira, R.; Amaral, V.. "On the emergence of patterns for spreadsheets data arrangements". Trabalho apresentado em 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". Trabalho apresentado em 2015 IEEE 23rd International Requirements Engineering Conference (RE), 2015.
    Publicado
  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". Trabalho apresentado em International Conference on Model Driven Engineering Languages and Systems - MODELS 2014, Valência, 2014.
    Publicado
  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". Trabalho apresentado em 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.
    Publicado • 10.1109/quatic.2012.63
  19. Barišic, A.; Amaral, V.; Goulão, M.; Barroca, B.. "Evaluating the usability of domain-specific languages". Trabalho apresentado em International Conference on the Quality of Information and Communications Technology, Lisbon, 2012.
    Publicado • 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". Trabalho apresentado em 2012 Eighth International Conference on the Quality of Information and Communications Technology (Quatic 2012), 2012.
    Publicado • 10.1109/quatic.2012.38
  21. Barišic, A.; Amaral, V.; Goulão, M.. "Usability evaluation of domain-specific languages". 2012.
    Publicado • 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". Trabalho apresentado em SPLASH 2012: DSM 2012 - Proceedings of the 2012 ACM Workshop on Domain-Specific Modeling, 2012.
    Publicado • 10.1145/2420918.2420923
  23. Amaral, Vasco; Barroca, Bruno; Carreira, Paulo. "Towards a robust solution in Building Automation Systems: supporting rapid prototyping and analysis". Trabalho apresentado em 2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012.
    Publicado • 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". Trabalho apresentado em PLATEAU'11 - Proceedings of the 3rd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, 2011.
    Publicado • 10.1145/2089155.2089170
  25. Carreira, P.; Nunes, R.; Amaral, V.. "SmartLink: A hierarchical approach for connecting smart buildings to smart grids". Trabalho apresentado em 11th International Conference on Electrical Power Quality and Utilisation, 2011.
    Publicado • 10.1109/EPQU.2011.6128857
  26. Carreira, P.; Amaral, V.; Barroca, B.. "The case for a systematic development of Building Automation Systems". Trabalho apresentado em 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". Trabalho apresentado em Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, 2011.
    Publicado • 10.1109/compsac.2011.83
  28. Barroca, B.; Lúcio, L.; Amaral, V.; Félix, R.; Sousa, V.. "DSLTrans: A turing incomplete transformation language". Trabalho apresentado em Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, 2010.
    Publicado • 10.1007/978-3-642-19440-5_19
  29. Oliveira, A.R.; Araújo, J.; Amaral, V.. "The VisualAORE DSL". Trabalho apresentado em 2010 5th International Workshop on Requirements Engineering Visualization, REV 2010, 2010.
    Publicado • 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". Trabalho apresentado em 18th IEEE International Requirements Engineering Conference (RE 2010), 2010.
    Publicado • 10.1109/RE.2010.60
  31. Gabriel, P.; Goulão, M.; Amaral, V.. "Do software languages engineers evaluate their languages?". Trabalho apresentado em CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering", 2010.
    Publicado
  32. Pedro, L.; Risoldi, M.; Buchs, D.; Amaral, V.. "Developing domain-specific modeling languages by metamodel semantic enrichment and composition: A case study". Trabalho apresentado em Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM'10, Reno Nevada, 2010.
    Publicado • 10.1145/2060329.2060364
  33. Lúcio, L.; Barroca, B.; Amaral, V.. "A technique for automatic validation of model transformations". Trabalho apresentado em Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, 2010.
    Publicado • 10.1007/978-3-642-16145-2_10
  34. Lucio, Levi; Barroca, Bruno; Amaral, Vasco. "A Technique for Automatic Validation of Model Transformations". Trabalho apresentado em International Conference on Model Driven Engineering Languages and Systems MODELS 2010, 2010.
    Publicado
  35. PEDRO, L; RISOLDI, M; BUCHS, D; BARROCA, B; AMARAL, V; JACKO, JA. "Composing Visual Syntax for Domain Specific Languages". Trabalho apresentado em International Conference on Human-Computer Interaction, San Diego, 2009.
    Publicado
  36. Nunes, C.; Araujo, J.; Amaral, V.; Silva, C.. "A domain specific language for the I* framework". Trabalho apresentado em ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings, Milão, 2009.
    Publicado
  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". Trabalho apresentado em 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". Trabalho apresentado em FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009.
    Publicado • 10.1145/1629716.1629738
  39. Pedro, L.; Risoldi, M.; Buchs, D.; Barroca, B.; Amaral, V.. "Composing visual syntax for domain specific languages". Trabalho apresentado em Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, 2009.
    Publicado • 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". Trabalho apresentado em 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". Trabalho apresentado em International Conference on Technologies for E-Learning and Digital Entertainment Edutainment 2009, 2009.
    Publicado • 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". Trabalho apresentado em First International Workshop on Managing Requirements Knowledge, Barcelona, 2008.
    Publicado • 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". Trabalho apresentado em IEEE Nuclear Science Symposium Conference, 2008.
    Publicado • 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". Trabalho apresentado em 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008, 2008.
    Publicado
  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". Trabalho apresentado em IEEE Nuclear Science Symposium Conference, 2007.
    Publicado
  47. Risoldi, M.; Amaral, V.. "Towards a formal, model-based framework for control systems interaction prototyping". Trabalho apresentado em International Workshop on Rapid Integration of Software Engineering Techniques RISE 2006, 2006.
    Publicado
  48. Amaral, V.; Helmer, S.; Moerkotte, G.. "PHEASANT: A PHysicist's EAsy ANalysis tool". Trabalho apresentado em Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004,, 2004.
    Publicado
  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". Trabalho apresentado em CHEP 2001 Conference Computing in High Energy and Nuclear Physics ¿, Pequim, 2001.
    Publicado
  50. AMARAL, V; AMORIM, A; BATISTA, J; CHEN, HS. "Operational experience running the Hera-B database system". Pequim, 2001.
    Publicado
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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
Capítulo de livro
  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. Estados Unidos: 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". editado por 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". editado por 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. Estados Unidos: IGI Global, 2010.
    Publicado • 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". editado por 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. Alemanha: Springer, 2009.
    Publicado • 10.1007/978-3-642-00437-7_9
  8. Risoldi, Matteo; Amaral, Vasco. "Towards a formal, model-based framework for control systems interaction prototyping". editado por Guelfi, N.; Buchs, D., 144-159. 2007.
  9. Amaral, V.; Helmer, S.; Moerkotte, G.. "A visual query language for HEP analysis". editado por Metzler, S. D., 829-833. 2004.
  10. Amaral, V.; Helmer, S.; Moerkotte, G.. "PHEASANT: A PHysicist's EAsy ANalysis tool". editado por Christiansen, H.; Hacid, M. S.; Andreasen, T.; Larsen, H. L., 229-242. 2004.
Edição de número de revista
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado
Livro
  1. Amaral, Vasco; Tekinerdogan, Bedir; Hans Vangheluwe; Paulo Carreira; Dominique Blouin; Miguel Goulão. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. Elsevier. 2021.
    Publicado • 10.1016/c2018-0-04990-7 • Editor
  2. Paulo Carreira; Amaral, Vasco; Hans Vangheluwe. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Alemanha: Springer International Publishing. 2020.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • Editor
  13. Amaral, Vasco; Levi Lúcio. Programação em Perl. Lisboa, Portugal: FCA. 2001.
    Publicado
Poster em conferência
  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". Trabalho apresentado em CHEP 2001 - International Conference on Computing in High Energy and Nuclear Physics, 2001.
    10.1109/vlhcc.2005.38
Prefácio / Posfácio
  1. Paulk, M.; Machado, R.J.; Brito, M.A.; Goulão, M.; Amaral, V.. "Message from the conference chairs: QUATIC 2016". Prefácio para Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018, x-xi. Estados Unidos: IEEE Computer Society. 2016.
    Publicado • 10.1109/QUATIC.2016.007
  2. Aleksy, M.; Amaral, V.; Gitzel, R.; Power, J.; Waldron, J.. "PPPJ special issue-Foreword". Prefácio para Science of Computer Programming, 259-260. Elsevier. 2009.
    Publicado • 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". Prefácio para Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ACM. 2008.
    Publicado
Resumo em conferência
  1. Carreira, P.; Amaral, V.. "Preface". Trabalho apresentado em First International Workshop of Information Technologies for Energy applications - IT4Energy 2016, 2012.
    Publicado
  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". Trabalho apresentado em 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". Trabalho apresentado em Multi-Paradigm Modelling Workshop. Workshops and Symposia on Models in Software Engineering, MODELS 2009, 2010.
    10.1007/978-3-642-12261-3_21
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2019 - Atual Transparent Integration of Multi-Fidelity Heterogeneous Models using a System Engineering Approach
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Université Côte d'Azur Institut Universitaire de Technologie, França
2020 - 2021/03 A Blockchain Gamification Solution For A Sustainable Campus
Orientador
 Mestrado em Engenharia Informática (Mestrado)
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
Orientador
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
Orientador
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
Orientador de Joana Páris Pereira
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 A Model-Driven Approach to the Generation of Front-Ends
Coorientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 A modeling plataform for visually impaired or blind people
Orientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Usability Evaluation of Multi Agent Systems
Orientador
 Engenharia Informática (Mestrado)
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
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 IoT Platforms for Building Automation with Energy Efficiency and Comfort Concerns
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Software Language Engineering: Interaction and Usability Modeling of Language Editors
Orientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Modelo de Custos para Linguagens de Domínio Específico
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2017 Usability Evaluation of Domain - Specific Languages
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 A Model-Driven Approach for Mobile Business Intelligence
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Controlled Specification and Generation of Spreasheets
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Domain Specific Language Evaluation: OutSystems' Business Process Technology
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Sistema de Configuração de Redes aviónicas
Orientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Gesture Language Editor - Modeling and Recognition
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Geração de Interfaces Móveis a partir de Ontologias
Coorientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
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
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 Família de DSLs para integrated modular avionics
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 A domain specific language for domotic systems
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 A Software Product Line of DSLs for Modular Avionics
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2014 Quality of Process Modeling Using BPMN: A Model-Driven Approach
Coorientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2013 Child programming: an adequate domain specific language for programming specific robots
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2013 A framework for efficient model transformations
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2013 Analysable Software Language Translations
Orientador de 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
Orientador
 Engenharia Informática (Mestrado)
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
Coorientador de Edward Mauricio Alférez Salinas
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010 Software languages engineering: experimental evaluation
Orientador
 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
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 Uma linguagem de domínio específico para a framework i*
Coorientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2008 DSLtranslator - ferramenta para transformação de modelos
Orientador
 Engenharia Informática (Mestrado)
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
Orientador
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2018/09 - Atual QUATIC'2018 : 11th International Conference on the Quality of Information and Communications Technology (2018/09)
Conferência (Coorganizador)
 Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2016 - Atual QUATIC'2016 2016 : 10th International Conference on the Quality of Information and Communications Technology (2016/09/06 - 2016/09/09)
Conferência (Coorganizador)
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - Atual Primeiro Congresso Ibérico dos Jovens Engenheiros (International Young Engineers' Iberian Conference), Braga, Portugal, CIJE 2012 (2012)
Conferência (Coorganizador)
 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)
Outro
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)
Conferência (Coorganizador)
 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)
Outro (Coorganizador)
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)
Conferência (Coorganizador)
 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)
Conferência (Presidente da Comissão Organizadora)
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Júri de grau académico

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

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2020 - Atual Evaluation of proposals for ANI – Agência Nacional de Inovação
Avaliador
 Agência Nacional de Inovação SA, Portugal
2019 - Atual OE+EUR-ACE certification (ENAEE - European Network for Accreditation of Engineering Education)
Avaliador
 ENAEE - European Network for Accreditation of Engineering Education, Bélgica
2019 - Atual Evaluation of project proposals NSERC - Natural Sciences and Engineering Research Council of Canada
Avaliador
 Natural Sciences and Engineering Research Council of Canada, Canadá
2018 - 2020 Evaluation of University's Education Programmes for A3ES - (Agência de Avaliação e Acreditação do Ensino Superior)
Outro
 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
Avaliador
 COST (European Framework Cooperation in Science and Technology), Bélgica

Membro de associação

Nome da associação Tipo de participação
2002 - Atual IEEE Membro Sénior
2000 - Atual Ordem dos Engenheiros Membro Sénior
Distinções

Prémio

2020 Certificate of Excellence in Reviewing Elsevier, Journal of Computer Languages
Elsevier BV, Países Baixos
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, Bélgica

Título

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