???global.info.a_carregar???
NOVA LINCS Group: Software Systems Research Topics: Model-Driven Software Development; Software Languages Engineering; Cyber-Physical Systems Modelling; Human Factors in Modelling Google Scholar: https://scholar.google.com/citations?user=p6lbgbAAAAAJ Bio: Associate Professor at the Department of Informatics at NOVA School of Sciences and Technology of NOVA University of Lisbon since 2005. Elected President of the Informatics Engineering College at the Portuguese Order of Engineers (Ordem of Engenheiros)(2022-2025). IFIP national representative (2022-2025). Advisor to the Secretary of State of Modernization and Digitalization for the XXIV Portuguese Government. Has a PhD from Mannheim University in 2005, under an FC&T fellowship, after a BSc from IST in 1998. His major areas of interest are Software Engineering in general and, in particular, Model-Driven Software Development, Domain-Specific Languages, and Cyber-Physical Systems Modelling. He has worked as a research collaborator at CERN (Geneva) and DESY (Hamburg) as a LIP-Lisbon member. Since 2006, he has been a research-integrated member at NOVA LINCS (previously CITI). He is a senior member of the Portuguese Academy of Engineering and a senior member of IEEE.  He was vice-chair of a COST Action on Multi-Paradigm Modelling for Cyber-physical Systems. he has also organized a series of 8 international doctoral Summer Schools (DSM-TP), a doctoral training school (MPM4CPS 2018), and workshops (MPM, HuFaMo). He was co-editor of Journal Special issues (Software Quality Journal, Comput. Lang. Syst. Struct.). He was also involved in organising international conferences (co-chair and PC chair of QUATIC14 and 2016, as well as other organizational roles in conferences such as VL/HCCC and MODELS). He supervised 2 Posdocs, 4 PhD students, 3 PhD ongoing supervision, and >70 MSc students. He has >100 peer-reviewed publications in journals, conferences and workshops. Selected Publications: -Daniel Pinho, Ademar Aguiar, Vasco Amaral: What about the usability in low-code platforms? A systematic literature review. J. Comput. Lang. 74: 101185 (2023) -Ameller, Franch, Gómez, Martínez-Fernández, Araújo, Biffl, Cabot, Cortellessa, Méndez Fernández, Moreira, Muccini, Vallecillo, Wimmer, Amaral, Böhm, Bruneliere, Burgueño, Goulão, Teufl, and Berardinelli: Dealing with non-functional requirements in model-driven development: A survey. Transactions on Software Engineering, 47 (4), 818-835, (2021) -Juan Carlos Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Miguel da Costa Sousa: Towards high-level fuzzy control specifications for building automation systems. Softw. Syst. Model. 19(3): 625-646 (2020) - Paulo Carreira, Vasco Amaral, Hans Vangheluwe: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, Book, Springer, (2020) -Cristiano De Faveri, Ana Moreira, Vasco Amaral: Multi-paradigm deception modeling for cyber defense. J. Syst. Softw. 141: 32-51 (2018)
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

Endereços de correio eletrónico

  • vm@fct.unl.pt (Profissional)

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
2013 - Atual Investigador (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
1998 - 2005 Assistente de Investigação (carreira) (Investigação) Laboratório de Instrumentação e Física Experimental de Partículas, Portugal
2001 - 2004 Investigador visitante (Investigação) Deutsches Elektronen-Synchrotron, Alemanha
1998 - 2000 Investigador visitante (Investigação) European Organization for Nuclear Research, Suiça

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

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/04/22 - Atual Deputy of Secretary of State for Modernisation and Digitalisation - Portuguese Republic - XXIV Government Governo da República Portuguesa, Portugal
Governo da República Portuguesa, 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
2021/01 - 2023/09 Chair of Sectorial Commission for Quality in Information Systems (CS03) Instituto Português da Qualidade, 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
1998 - 2005 Research Collaborator (Database group at the Hera-B experiment) Deutsches Elektronen-Synchrotron, Alemanha
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
Concluído
2019/01/01 - 2019/12/31 NOVA Laboratory for Computer Science and Informatics
UID/CEC/04516/2019
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

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
Concluído
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
2011/01/01 - 2013/12/31 Strategic Project - UI 527 - 2011-2012
PEst-OE/EEI/UI0527/2011
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal

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
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. Gomes, Rodrigo; Amaral, Vasco; Abreu, Fernando Brito e. "Combining Different Data Sources for IIoT-Based Process Monitoring". Trabalho apresentado em Proceedings of International Conference on Information Technology and Applications, 2023.
    Publicado • 10.1007/978-981-19-9331-2_10
  2. de Moura, Pedro Estrela; Amaral, Vasco; e Abreu, Fernando Brito. "Assessing the Impact of Process Awareness in Industry 4.0". Trabalho apresentado em International Conference on Information Technology and Applications, Lisbon, 2023.
    Publicado • 10.1007/978-981-19-9331-2_26
  3. Barisic, Ankica; Amaral, V.; Challenger, M.. Autor correspondente: Barisic, Ankica. "Enhancing occupants comfort and well-being through a smart office setup". 2020.
    Publicado • 10.23919/MIPRO48935.2020.9245212
  4. Paris, Joana; Cambeiro, Joao; Amaral, Vasco; Rodrigues, Armanda. "Using Gamification to Motivate Occupants to Energy Efficiency in a Social Setting of a Building Automation System". Trabalho apresentado em 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), Milwakee, 2019.
    Publicado • 10.1109/compsac.2019.00097
  5. Henriques, Henrique; Lourenço, Hugo; Amaral, Vasco; Goulão, Miguel. "Improving the Developer Experience with a Low-Code Process Modelling Language". Trabalho apresentado em 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, Copenhaga, 2018.
    Publicado • 10.1145/3239372.3239387
  6. Cambeiro, João; Gomes, Cláudio; Amaral, Vasco; Rodrigues, Armanda; Cunha, Jácome. "A building automation case study setup and challenges". Trabalho apresentado em ICSE 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018.
    Publicado • 10.1145/3196478.3196482
  7. Miranda, Tomás; Challenger, Moharram; Tezel, Baris Tekin; Alaca, Omer Faruk; Barišic, Ankica; Amaral, Vasco; Goulão, Miguel; Kardas, Geylani. "Improving the Usability of a MAS DSML". Trabalho apresentado em 6th International Workshop on Engineering Multi-Agent Systems, EMAS 2018; Stockholm; Sweden; 14 July 2018 through 15 July 2018;, 2018.
    Publicado • 10.1007/978-3-030-25693-7_4
  8. Barisic, Ankica; Cambeiro, J.; Amaral, V.; Goulo, M.; Mota, T.. Autor correspondente: Barisic, Ankica. "Leveraging teenagers feedback in the development of a domain-specific language: The case of programming low-cost robots". Trabalho apresentado em ACM Symposium on Applied Computing, Pau France, France., 2018.
    Publicado • 10.1145/3167132.3167264
  9. Barisic, Ankica; Debreceni, C.; Varrot, D.; Amaral, V.; Goulao, M.. Autor correspondente: Barisic, Ankica. "Evaluating the efficiency of using a search-based automated model merge technique". Trabalho apresentado em EEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), lisbon, 2018.
    Publicado • 10.1109/VLHCC.2018.8506512
  10. Silva, J.; Barisic, Ankica; Amaral, V.; Goulão, M.; Tezel, B.T.; Alaca, O.F.; Challenger, M.; Kardas, G.. Autor correspondente: Silva, J.. "Comparing the usability of two multi-agents systems DSLs: Sea_ML++ and DSML4MAS study design". Trabalho apresentado em Human Factors in Modeling Workshop at MODELS international conference, 2018.
    Publicado
  11. 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.
    Publicado
  12. Faveri, Cristiano De; Moreira, Ana; Araujo, Joao; Amaral, Vasco. "Towards Security Modeling of e-Voting Systems". Trabalho apresentado em 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2017.
    Publicado • 10.1109/rew.2016.037
  13. 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
  14. Barišic, Ankica; Blouin, Dominique; Amaral, Vasco; Goulão, Miguel. "A requirements engineering approach for usability-driven DSL development". 2017.
    Publicado • 10.1145/3136014.3136027
  15. Silva, Lyrene; Moreira, Ana; Araújo, João; Gralha, Catarina; Goulão, Miguel; Amaral, Vasco; DI - Departamento de Informática; et al. "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
  16. Teixeira, R.; Amaral, V.. "On the emergence of patterns for spreadsheets data arrangements". Trabalho apresentado em STAF 2016: Software Technologies: Applications and Foundations, 2016.
    Publicado • 10.1007/978-3-319-50230-4_25
  17. Moreira, Ana; Amaral, Vasco; De Faveri, Cristiano. "Goal-Driven Deception Tactics Design". Trabalho apresentado em 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016.
    Publicado • 10.1109/issre.2016.44
  18. 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". Trabalho apresentado em Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016.
    Publicado
  19. 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
  20. 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.
    Publicado • 10.1109/RE.2015.7320424
  21. Gomes, Claudio; Barroca, Bruno; Amaral, Vasco; Dingel, J; Schulte, W; Ramos, I; Abrahao, S; et al. "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
  22. Silva, L.P.; E Abreu, F.B.; Amaral, V.. "A model-driven approach for mobile business information systems applications". Trabalho apresentado em Doctoral Symposium at MODELS'14 co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014.
    Publicado
  23. Barišic, A.; Amaral, V.; Goulão, M.; Aguiar, A.. "Introducing usability concerns early in the DSL development cycle: FlowSL experience report". Trabalho apresentado em 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014.
    Publicado
  24. 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.
    Publicado • 10.1145/2480362.2480596
  25. Amaral, V.; Cicchetti, A.; Deshayes, R.. "A multiparadigm approach to integrate gestures and sound in the modeling framework". Trabalho apresentado em Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013.
    Publicado
  26. Barisic, Ankica; Monteiro, Pedro; Amaral, Vasco; Goulão, Miguel; Monteiro, Miguel Pessoa. "Patterns for evaluating usability of domain-specific languages". Trabalho apresentado em Pattern Languages of Programs Conference, PLoP 2012, 2012.
    Publicado
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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.
    Publicado • 10.1109/ISGTEurope.2011.6162819
  33. 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
  34. Correia, A.; Brito e Abreu, F.; Amaral, V.. "SLALOM: A language for SLA specification and monitoring". Trabalho apresentado em INForum 2011 - Simpósio de Informática, Coimbra, Portugal, 2011.
    Publicado • 10.48550/arXiv.1109.6740
  35. Barisic, A.; Amaral, V.; Goulão, M.; Barroca, B.. "How to reach a usable DSL? Moving toward a systematic evaluation". 2011.
    Publicado • 10.14279/tuj.eceasst.50.741.750
  36. Barroca, B.; Lúcio, L.; Amaral, V.; Félix, R.; Sousa, V.; Barroca, Bruno; Lúcio, Levi; et al. "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
  37. 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
  38. 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
  39. 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
  40. 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
  41. Lucio, Levi; Barroca, Bruno; Amaral, Vasco; Lúcio, L.; Barroca, B.; Amaral, V.. "A Technique for Automatic Validation of Model Transformations". Trabalho apresentado em International Conference on Model Driven Engineering Languages and Systems MODELS 2010, 2010.
    Publicado • 10.1007/978-3-642-16145-2_10
  42. PEDRO, L; RISOLDI, M; BUCHS, D; BARROCA, B; AMARAL, V; JACKO, JA; Bari¿ic, A.; et al. "Composing Visual Syntax for Domain Specific Languages". Trabalho apresentado em International Conference on Human-Computer Interaction, San Diego, 2009.
    Publicado • 10.4018/978-1-4666-4301-7.ch098
  43. 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
  44. 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
  45. 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.
    Publicado • 10.1109/RCIS.2009.5089305
  46. 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
  47. Santos, João; Moreira, Ana; Ara újo, João; Amaral, Vasco; Alf érez, Mauricio; Kulesza, Uirá; Santos, J.; et al. "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
  48. Risoldi, M.; Buchs, D.; Masetti, L.; Amaral, V.; Barroca, B.. "A methodology for control systems GUI prototyping - A case study". Trabalho apresentado em PCaPAC 2008 proceedings, 2008.
    Publicado
  49. Barroca, B.; Amaral, V.; Calado, P.; Risoldi, M.; Caprini, M.; Moreira, A.; Araújo, J.; et al. "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
  50. 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
  51. 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". 2007.
    Publicado • 10.1109/NSSMIC.2007.4436475
  52. 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
  53. Risoldi, Matteo; Amaral, Vasco; Risoldi, M.; Amaral, V.. "Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping". Trabalho apresentado em Rapid Integration of Software Engineering Techniques. RISE 2006, 2007.
    Publicado • 10.1007/978-3-540-71876-5_10
  54. 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
  55. Amaral, Vasco; Helmer, Sven; Moerkotte, Guido. "PHEASANT: A PHysicist's EAsy ANalysis Tool". Trabalho apresentado em Flexible Query Answering Systems. FQAS 2004, 2004.
    Publicado • 10.1007/978-3-540-25957-2_19
  56. Amaral, V.; Helmer, S.; Moerkotte, G.. "A visual query language for HEP analysis". 2003.
    Publicado • 10.1109/nssmic.2003.1351826
  57. Amaral, V.; Helmer, S.; Moerkotte, G.. "Engineering a new abstraction layer to optimize the HEP analysis process". 2003.
    Publicado • 10.1109/TNS.2004.832551
  58. 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
  59. AMARAL, V; AMORIM, A; BATISTA, J; CHEN, HS. "Operational experience running the Hera-B database system". Trabalho apresentado em CHEP 2001: Proceedings of the International Conference on Computing in High Energy and Nuclear Physics September 3-7, 2001 Beijing, P.R. China, Pequim, 2001.
    Publicado
Artigo em revista
  1. Barišic, Ankica; Cunha, Jácome; Ruchkin, Ivan; Moreira, Ana; Araújo, João; Challenger, Moharram; Savic, Dušan; Amaral, Vasco. "Modelling sustainability in cyber–physical systems: A systematic mapping study". Sustainable Computing: Informatics and Systems 45 (2025): 101051. https://doi.org/10.1016/j.suscom.2024.101051.
    10.1016/j.suscom.2024.101051
  2. 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.
    Publicado • 10.1016/j.csi.2021.103513
  3. 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.
    Publicado • 10.1016/j.parco.2019.102584
  4. 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
  5. 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
  6. 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.
    Publicado • 10.1016/j.cl.2017.06.005
  7. 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.
    Publicado • 10.1016/j.egypro.2017.12.580
  8. 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.
    Publicado • 10.1007/s11219-016-9352-4
  9. 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
  10. Alferez, Mauricio; Lopez-Herrejon, Roberto E.; Moreira, Ana; Amaral, Vasco; 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://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000339391100004&KeyUID=WOS:000339391100004.
    Publicado
  11. 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.
    Publicado • 10.1007/978-3-642-21347-2_3
  12. 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.
    Publicado • 10.1140/epjc/s10052-009-1138-4
  13. 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.
    Publicado • 10.1140/epjc/s10052-009-1005-3
  14. 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.
    Publicado • 10.1140/epjc/s10052-009-0957-7
  15. 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.
    Publicado • 10.1140/epjc/s10052-009-0965-7
  16. 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.
    Publicado • 10.1103/PhysRevD.79.012001
  17. 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.
    Publicado • 10.1088/1742-6596/119/4/042027
  18. 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.
    Publicado • 10.1016/j.nima.2007.09.011
  19. 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.
    Publicado • 10.1140/epjc/s10052-007-0427-z
  20. 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.
    Publicado • 10.1016/j.physletb.2007.04.022
  21. 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.
    Publicado • 10.1140/epjc/s10052-007-0237-3
  22. 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.
    Publicado • 10.1140/epjc/s10052-006-0139-9
  23. 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.
    Publicado • 10.1016/j.physletb.2006.03.064
  24. 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.
    Publicado • 10.1016/j.physletb.2006.05.040
  25. 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.
    Publicado • 10.1016/j.physletb.2006.04.042
  26. 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.
    Publicado • 10.1103/PhysRevD.73.052005
  27. 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.
    Publicado • 10.1140/epjc/s2005-02308-8
  28. 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.
    Publicado • 10.1103/PhysRevLett.93.212003
  29. 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.
    Publicado • 10.1016/j.physletb.2004.06.097
  30. 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.
    Publicado • 10.1016/S0370-2693(03)00407-6
  31. 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.
    Publicado • 10.1140/epjc/s2002-01071-8
  32. 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 29 2 (2003): 181-190. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000184639400003&KeyUID=WOS:000184639400003.
    Publicado • 10.1140/epjc/s2003-01200-y
  33. 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.
    Publicado • 10.1016/s0370-2693(03)00407-6
  34. 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.
    Publicado • 10.1016/s0010-4655(01)00268-5
Artigo em revista (magazine)
  1. Amaral, Vasco. "O DIGITAL É PARA TOD@S POTENCIALIDADES E AMEAÇAS, VIRTUDES E PROBLEMAS, PAPEL DO ENGENHEIRO", INGENIUM, 2024, https://www.ordemengenheiros.pt/pt/centro-de-informacao/publicacoes/revista-ingenium/ingenium-n-184-abril-maio-junho-2024/.
  2. Amaral, Vasco. Autor correspondente: Amaral, Vasco. "Sobre os Desafios Nacionais da Transformação Digital", INGeNIUM, 2024, https://www.ordemengenheiros.pt/pt/centro-de-informacao/publicacoes/revista-ingenium/ingenium-n-183-janeiro-fevereiro-marco-2024/.
  3. Amaral, Vasco; Brito e Abreu, F.. "CS/03: 30 anos ao serviço das Tecnologias da Informação e Comunicações", EspaçoQ, 2023, http://www1.ipq.pt/PT/Site/EspacoQ/historico/site/index.aspx.
  4. Amaral, Vasco; Fernanda Pedro; João Oliveira. Autor correspondente: Amaral, Vasco. "Jovens Engenheir@s Informátic@s, eles e elas", INGENIUM, 2022, https://www.ordemengenheiros.pt/pt/centro-de-informacao/publicacoes/revista-ingenium/ingenium-n-176-edicao-de-abril-maio-e-junho-de-2022/.
  5. Amaral, Luis; Amaral, Vasco. Autor correspondente: Amaral, Luis. "Conselho de Admissão e Qualificação Engenharia Informática: 80 anos de prestígio ao serviço da Engenharia e do País", INGENIUM, 2016, https://www.ordemengenheiros.pt/pt/centro-de-informacao/publicacoes/revista-ingenium/revista-ingenium-n-156-novembro-dezembro/.
  6. Monteiro, Rui; João Baptista da Silva Araujo Junior; Amaral, Vasco; Goulão, Miguel; Patrício, Pedro. "Adding Interoperability to Requirements Models", Software Quality Professional Magazine, 2013, https://secure.asq.org/perl/msg.pl?prvurl=http://rube.asq.org/software-quality/2013/09/software-quality/adding-interoperability-to-requirements-models.pdf.
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.
    Publicado • 10.1016/b978-0-12-819105-7.00013-1
  2. Tekinerdogan, Bedir; Blouin, Dominique; Vangheluwe, Hans; Goulão, Miguel; Carreira, Paulo; Amaral, Vasco. "Introduction". In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, editado por Bedir Tekinerdogan; Blouin, Dominique; Hans Vangheluwe; Goulão, Miguel; Carreira, Paulo; Amaral, Vasco, 1-6. Estados Unidos: Elsevier, 2021.
    Publicado • 10.1016/b978-0-12-819105-7.00006-4
  3. Alferez, Mauricio; Santos, Joao; Moreira, Ana; Garcia, Alessandro; Kulesza, Uira; Araujo, Joao; Amaral, Vasco; et al. "Multi-view Composition Language for Software Product Line Requirements". In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), editado por VanDenBrand, M. Gasevic D. Gray J., 103-122. Springer, 2010.
    Publicado • 10.1007/978-3-642-12107-4_8
  4. 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
  5. 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
Edição de 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 • 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 • Editor
  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.
    Publicado • 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. Paulk, Mark; Machado, Ricardo; Brito, Miguel Abrunhosa; Amaral, Vasco; Goulão, Miguel. 10th International Conference on the Quality of Information and CommunicationsTechnology (QUATIC 2016). IEEE. 2016.
    Publicado
  7. Störrle, Harald; Chaudron, Michel R.V.; Goulão, Miguel; Amaral, Vasco. Second international workshop on human factors in modeling (HuFaMo 2016). St. Malo, França: CEUR. 2016.
    Publicado
  8. 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
  9. Störrle, Harald; Chaudron, Michel R.V.; Amaral, Vasco; Goulão, Miguel. First International Workshop on Human Factors in Modeling (HuFaMo 2015). Países Baixos. 2015.
    Publicado
  10. 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
  11. 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
  12. 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
  13. 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
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; 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. Störrle, Harald; Chaudron, Michel R.V.; Amaral, Vasco; Goulão, Miguel. "Second International Workshop on Human Factors in Modeling (HuFaMo 2015)". Prefácio para SecondInternational Workshop on Human Factors in Modeling (HuFaMo 2015). CEUR. 2015.
    Publicado
  3. 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
  4. 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
Relatório
  1. Carreira, Paulo; Amaral, Vasco; Goulão, Miguel; Lukovic, Ivan; Kieseberg, Peter; Podobnik, Vedran. 2016. COST IC1404 WG4 Y1 and Y2 Technical Report WG4.1 CPS Profile - Brainstorming session.
    https://doi.org/10.5281/zenodo.223913
  2. Amaral, Vasco; Goulão, Miguel; Carreira, Paulo; Martinovic, Goran; Banjanovic- Mehmedovic, Lejla. 2016. COST IC1404 WG4 Y1 and Y2 Technical Report WG4.2 CPS profile - Systematic Search.
    http://doi.org/10.5281/zenodo.223856
  3. Goulão, Miguel; Carreira, Paulo; Amaral, Vasco; Zabasta, Anatoijs; Nikiforova, Oksana; Savic, Dusan. 2016. COST IC1404 WG4 Y1 and Y2 Technical Report WG4.3 CPS profile - Pilot Assessment.
    http://doi.org/10.5281/zenodo.223900
Resumo em conferência
  1. Amaral, Vasco. "Foreword: Quality in model driven engineering". Trabalho apresentado em 2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012.
    Publicado • 10.1109/quatic.2012.77
  2. Carreira, P.; Amaral, V.. "Preface". Trabalho apresentado em First International Workshop of Information Technologies for Energy applications - IT4Energy 2016, 2012.
    Publicado
  3. Amaral, V.; Hardebolle, C.; Vangheluwe, H.; Lengyel, L.; Bunus, P.. "Summary of the workshop on multi-paradigm modelling: Concepts and tools". Trabalho apresentado em Workshop on multi-paradigm modelling: Concepts and tools, 2012.
    Publicado • 10.1007/978-3-642-29645-1_10
  4. Amaral, V.; Hardebolle, C.; Karsai, G.; Lengyel, L.; Levendovszky, T.; Amaral, Vasco; Hardebolle, Cecile; et al. "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

Outros

Outra produção
  1. SLAME: A Service Level Agreements Method Elicitation. Actas da 11ª Conferência da Associação Portuguesa de Sistemas de Informação (CAPSI?2011). 2011. Correia, Anacleto; Brito e Abreu, F.; Amaral, Vasco. http://pascal.iseg.utl.pt/~capsi2011/documentos/LivroCAPSI.pdf.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/09/30 Invited: Ordem: o que é que eu ganho com isso? ENEI - Encontro Nacional de Estudantes de Informática
Universidade de Aveiro (Aveiro, Portugal)
2022/04/20 Porquê e para quê um Colégio Nacional de Engenharia Informática?
ISEC (Coimbra, Portugal)

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 de João Miguel Reis Araújo Proença Cambeiro
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Université Côte d'Azur Institut Universitaire de Technologie, França
2022 - 2023/11/30 Usability Evaluation of OFLAT Platform
Orientador de David Alexandre Passão Pereira
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/06/19 CI/CD pipeline for distributed IOT devices & SLR on Devops platforms
Orientador de Afonso Mastbaum de Sousa Figuinha
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/06/12 Constructing An Auditory Notation in Software Engineering: Understanding UML ModelsWith Voice And Sound
Orientador de Nuno Renato Nascimento Guerreiro
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/05/23 Collaborative Modeling Interaction Mechanisms
Coorientador de Maria Inês Ferreira Góis
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/05/23 Combining different data sources for industrial process monitoring
Orientador de Rodrigo Ulisses Lopes Gomes
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/12/29 Assessing the impact of process awareness in Industry 4.0: the case of a classic car restoration shop
Orientador de Pedro Miguel Estrela de Moura
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/07/28 Módulo de Avaliação Automático de Modelos UML em Contexto Educativo
Orientador de João Pedro Almeida Carvalho
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/06/08 Usability Evaluation of Oflat Platform
Orientador de Beatriz Dinis Ramos
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/02/19 Modeling of building automation systems with humans-in-the-loop
Orientador de Luis Duarte Oliveira
 Mestrado integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/01 Process orchestrator and Information System modules of a classic cars repairs' monitoring framework
Orientador de Diogo Filipe dos Santos Tito Lívio
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/01 An automated system for monitoring and control classic cars' restorations
Orientador de Diogo Saraiva Cavalheiro Neves Pereira
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/01 A Simulation Framework for UML Education
Orientador de Miguel Appleton Fernandes
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/10/29 On the impact of noise on software development work productivity
Orientador de Tiago Caldinhas
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/10/25 An Evolvable Gamification Model For Sustainable User Engagement
Coorientador de Vicente Moitinho de Almeida
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/10/22 Plataforma de gestão de modelos de projectos de modelação para educação e concursos
Orientador de Maria Bernardo Courelas Lobo da Silva
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/03 A Blockchain Gamification Solution For A Sustainable Campus
Orientador de Ana Catarina Vitorino Urgueira
 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 de João Miguel Fonseca de Carvalho
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021/02/24 Plataforma de construção de Linguagens de Modelação com sintaxe concreta Som e Voz
Orientador de Teresa Pinto Araújo Chambel
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021/02/18 Modelo De Interação Do Editor Model-By-Voice
Orientador de João Carvalho
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, 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 de Everton Nascimento
 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 de João Cambeiro
 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 de João Lopes
 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 de Beatriz Norberto
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Usability Evaluation of Multi Agent Systems
Orientador de João Silva
 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 de Sara Russo Rosa
 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 de Pedro Alexandre Afonso Simão
 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 de Tomás Rogeiro Brochado De Miranda
 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 de Pedro Miguel Real Maroco
 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 de Hugo Cabrita
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2017 Usability Evaluation of Domain - Specific Languages
Orientador de Ankica Barisic
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 A Model-Driven Approach for Mobile Business Intelligence
Orientador de David Duarte
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Controlled Specification and Generation of Spreasheets
Coorientador de Ricardo Teixeira
 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 de Henrique Henriques
 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 de Celso Alexandre
 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 de Ricardo Monteiro
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Gesture Language Editor - Modeling and Recognition
Orientador de Nuno Oliveira
 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 de Alexandre Garcia
 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 de Cátia Moreira
 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 de Pedro Costa
 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 de Ricardo Alves
 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 de João Taborda
 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 de Ricardo Alves
 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 de Anacleto Cortez e Correia
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 de Pedro Leonardo
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2013 A framework for efficient model transformations
Orientador de Cláudio Gomes
 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 de Rui Domingues
 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
2011 - 2011/09 Para ser Mestre
Orientador de Anabela Gonçalves Teixeira Lobato Correia
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/09/04 Building a Domain Specific Query Language for the AMPLE Traceability Framework (ATF)
Orientador de Ricardo João Dias Mateus
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/09 Uma Linguagem de Domínio Específico para AORE
Coorientador de Ana Rita Oliveira
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2010 - 2010/04 Para ser Mestre
Orientador de João Alberto Amoreira Casteleiro Alves
 MIEI (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/04 Engenharia de Requisitos Orientada a Modelos: O Caso das Abordagens Orientadas a Objectivos
Coorientador de Rui Monteiro
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/03/04 A DSML for Specification of Ubiquitous Games
Orientador de Ricardo Guerreiro
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/03/04 DSL Translator - Ferramenta para a Transformação de Modelos
Orientador de Roberto Félix
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010 Software languages engineering: experimental evaluation
Orientador de Pedro Gabriel
 Engenharia Informática
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009/10/20 Run-time for parallel execution of domain specific languages (DSL)
Coorientador de João Carlos Tanganho de Sousa
 Engª Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/05/20 Specifying Adaptivity rules for building user interfaces for complex Control Systems
Orientador de Pedro Ricardo dos Santos Calado
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/04/24 BATIC3S - Modeling Control Systems' Interfaces (DSL Editors and Model Transformation)
Orientador de Vasco Sousa
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/03/09 Designing a DSL solution for the domain of Augmented Reality Software applications Specification
Orientador de André da Fonseca Rosa
 Engª Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/03/09 Towards a DSL based on KAOS goal and agent-oriented paradigms
Coorientador de Ana Cristina de Freitas Dias
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009 Uma Linguagem específica do domínio para uma abordagem orientada aos objectivos baseada em KAOS
Orientador de Ana Cristina de Freitas Dias
 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 de Carlos Miguel Marques Martins Simões Nunes
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2008/11/21 Traceability Support in Software Product Lines
Coorientador de André Sousa
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2007 - 2008/10/27 Paving the way from Requirements to Architecture: From AORA to an improved AspectualACME
Coorientador de João Marques
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2007 - 2008 DSLtranslator - ferramenta para transformação de modelos
Orientador de Roberto Luís Fernandes Silva Félix
 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 de Bruno Fontes Barroca
 Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002 - 2003/06/19 Automating the Calibration and Alignment revision process in Hera-B
Coorientador de Galya Deyanova
 Physics and Mathematics (Mestrado)
Tehniceski universitet-Sofia Katedra Prilozna fizika, Bulgária

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
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
2020/09/08 - 2020/09/11 8th SEDES Software Engineering Doctoral Symposium Workshop co-located with 13th International Conference on the Quality of Information and Communications Technology (QUATIC 2020), Universidade do Algarve (Host), Faro, Portugal (2018/09)
Conferência (Presidente da Comissão Organizadora)
 Universidade do Algarve - Campus de Gambelas, Portugal
2018/11 - 2018/11 Training School on Multi-Paradigm Modelling for Cyber-Physical Systems, Doctoral School, ISTI - Istituto di Scienza e Tecnologie dell'Informazione A.Faedo (Host), Pisa, Italy (2018/11 - 2018/11)
Outro
 Consiglio Nazionale delle Ricerche Istituto di Scienza e Tecnologie dell'Informazione Alessandro Faedo, Itália
2018/10/01 - 2018/10/04 IEEE Symposium on Visual Languages and Human-Centric Computing, NOVA School of Science and Technology (Host), Lisbon, 2018 (2018/10/01 - 2018/10/04)
Conferência (Membro da Comissão Organizadora)
 IEEE, Estados Unidos
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
2009 - 2018 International Summer School on Domain-Specific Modelling - Theory and Practice (DSM-TP) Series of Yearly Event (9 in total) (2009 - 2019)
Outro (Coorganizador)
2017/09/04 - 2017/09/08 25th IEEE International Requirements Engineering Conference, Universidade Nova (Host), Lisbon (2017/09/04 - 2017/09/08)
Conferência (Membro da Comissão Organizadora)
 IEEE, Estados Unidos
2016/10/02 - 2016/10/07 Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France (2016/10/02 - 2016/10/07)
Oficina (workshop) (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
2015/09/27 - 2015/10/02 First International Workshop on Human Factors in Modeling (HuFaMo 2015) at ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015/09/27 - 2015/10/02)
Oficina (workshop) (Coorganizador)
 University of Ottawa, Canadá
2012/09/06 - 2012/09/07 IT4ENERGY 2012, Information Technology for Energy Applications, Lisbon, Portugal, September 6-7, Gulbenkian,, 2012. (2012/09/06 - 2012/09/07)
Oficina (workshop) (Coorganizador)
 Fundação Calouste Gulbenkian, Portugal
2011/10/16 - 2011/10/21 International Workshop on Multi-Paradigm Modeling, at MODELs 2011, ACM/IEEE International Conference on Model Driven Engineering, Victoria University of Wellington, New Zealand, 2011. (2011/10/16 - 2011/10/21)
Oficina (workshop) (Coorganizador)
 Victoria University of Wellington, Nova Zelândia
2011/10/16 - 2011/10/21 Tutorial Chair, MODELs 2011, ACM/IEEE International Conference on Model Driven Engineering, New Zealand, 2011. (2011/10/16 - 2011/10/21)
Conferência (Membro da Comissão Organizadora)
 Victoria University of Wellington, Nova Zelândia
2010/10/03 - 2010/10/08 International Workshop on Multi-Paradigm Modeling, at MODELs 2010, ACM/IEEE International Conference on Model-Driven Engineering, SINTEF, University of Oslo, Norway, 2010. (2010/10/03 - 2010/10/08)
Oficina (workshop) (Coorganizador)
 SINTEF, Noruega
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
2023/09/20 Título de Especialista em Engenharia Informática
Arguente
 Diogo Sérgio Esteves Cardoso (Outro)
Instituto Politécnico de Lisboa, Portugal
2023/02/07 Melhoria do processo legislativo no âmbito parlamentar pela introdução de tecnologias digitais do domínio legal
Arguente principal
 Ambrósio Soares (Doutoramento)
Universidade do Algarve - Campus de Gambelas, Portugal
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
2023 - Atual OE+EUR-ACE certification (ENAEE - European Network for Accreditation of Engineering Education)
Avaliador
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

Entrevista / Programa (rádio / tv)

Programa Tema
2022/07/10 - Atual Noticiário Diário RTP Madeira - Madeira RTP TV Daily News Encontros sobre os desafios da Engenharia Informática: Há informáticos sem formação para atos que praticam
2022/05/03 - Atual Notíciário TSF - Radio News Interview Ataque informático a Ordem dos Engenheiros

Membro de associação

Nome da associação Tipo de participação
2021/04 - Atual General Assembly of the International Federation for Information Processing (IFIP). National delegate
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