???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)
Read full resume ↓
Identification

Personal identification

Full name
Vasco Miguel Moreira do Amaral

Citation names

  • Amaral, Vasco
  • Amaral, V.

Author identifiers

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

Email addresses

  • vm@fct.unl.pt (Professional)

Telephones

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

Addresses

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

Websites

Knowledge fields

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

Science

Category
Host institution 		Employer
2013 - Current Researcher (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
1998 - 2005 Research Assistant (Research) Laboratório de Instrumentação e Física Experimental de Partículas, Portugal
2001 - 2004 Visiting Researcher (Research) Deutsches Elektronen-Synchrotron, Germany
1998 - 2000 Visiting Researcher (Research) European Organization for Nuclear Research, Switzerland

Teaching in Higher Education

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

Positions / Appointments

Category
Host institution 		Employer
2024/04/22 - Current Advisor 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, United States
2013 - 2015 Coordenador do Colégio de Informática da Região Sul (Eleito) Ordem dos Engenheiros, Portugal
2009 - 2015 Member of the Coordinating Committee of the MSc Program at the Informatics Department Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2012 Coordenador do Colégio de Informática da Região Sul (Eleito) Ordem dos Engenheiros, Portugal
2007 - 2010 Vice-coordenador do Colégio de Informática da Região Sul (Eleito) Ordem dos Engenheiros, Portugal

Others

Category
Host institution 		Employer
2002 - 2005 Awarded PhD grant ref. SFRH / BD / 8918 / 2002 Fundação para a Ciência e a Tecnologia, Portugal
1998 - 2005 Research Collaborator (Database group at the Hera-B experiment) Deutsches Elektronen-Synchrotron, Germany
Projects

Contract

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

Publications

Book
  1. Amaral, Vasco; Levi Lúcio. Programação em Perl. Lisboa, Portugal: FCA. 2001.
    Published
Book chapter
  1. Challenger, Moharram; Tezel, Baris Tekin; Amaral, Vasco; Goulão, Miguel; Kardas, Geylani. "Agent-based cyber-physical system development with SEA_ML++". In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 195-219. Elsevier, 2021.
    Published • 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, edited by Bedir Tekinerdogan; Blouin, Dominique; Hans Vangheluwe; Goulão, Miguel; Carreira, Paulo; Amaral, Vasco, 1-6. United States: Elsevier, 2021.
    Published • 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), edited by VanDenBrand, M. Gasevic D. Gray J., 103-122. Springer, 2010.
    Published • 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. United States: IGI Global, 2010.
    Published • 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. Germany: Springer, 2009.
    Published • 10.1007/978-3-642-00437-7_9
Conference abstract
  1. Amaral, Vasco. "Foreword: Quality in model driven engineering". Paper presented in 2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012.
    Published • 10.1109/quatic.2012.77
  2. Carreira, P.; Amaral, V.. "Preface". Paper presented in First International Workshop of Information Technologies for Energy applications - IT4Energy 2016, 2012.
    Published
  3. Amaral, V.; Hardebolle, C.; Vangheluwe, H.; Lengyel, L.; Bunus, P.. "Summary of the workshop on multi-paradigm modelling: Concepts and tools". Paper presented in Workshop on multi-paradigm modelling: Concepts and tools, 2012.
    Published • 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". Paper presented in Multi-Paradigm Modelling Workshop. Workshops and Symposia on Models in Software Engineering, MODELS 2009, 2010.
    10.1007/978-3-642-12261-3_21
Conference paper
  1. Simões, Francisco; Goulão, Miguel; Amaral, Vasco; Exelmans, Joeri; Vangheluwe, Hans. "SCCD Debugger: a Debugger for Statecharts and Class Diagrams". Paper presented in ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz, 2024.
    Published • 10.1145/3652620.3687792
  2. Amrani, Moussa; Mittal, Rakshit; Goulão, Miguel; Amaral, Vasco; Guérin, Sylvain; Martínez, Salvador; Blouin, Dominique; Bhobe, Anish; Hallak, Yara. "A Survey of Federative Approaches for Model Management in MBSE". Paper presented in ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems - 1st International Workshop on Model Management, Linz, 2024.
    Published • 10.1145/3652620.3688221
  3. Ferreira, Frederico; Amaral, Vasco; Brito e Abreu, F.. "Digital twinning for smart restoration of classic cars". Paper presented in Procedia Computer Science, --, 2024.
    Published • 10.1016/j.procs.2024.02.070
  4. Murta, José; Amaral, Vasco; Brito e Abreu, F.. "Trusted Evidences on the Digital Transformation of Classic Cars Restoration". Paper presented in Procedia Computer Science, --, 2024.
    Published • 10.1016/j.procs.2024.01.025
  5. Gomes, Rodrigo; Amaral, Vasco; Abreu, Fernando Brito e. "Combining Different Data Sources for IIoT-Based Process Monitoring". Paper presented in Proceedings of International Conference on Information Technology and Applications, 2023.
    Published • 10.1007/978-981-19-9331-2_10
  6. de Moura, Pedro Estrela; Amaral, Vasco; e Abreu, Fernando Brito. "Assessing the Impact of Process Awareness in Industry 4.0". Paper presented in International Conference on Information Technology and Applications, Lisbon, 2023.
    Published • 10.1007/978-981-19-9331-2_26
  7. Barisic, Ankica; Amaral, V.; Challenger, M.. Corresponding author: Barisic, Ankica. "Enhancing occupants comfort and well-being through a smart office setup". 2020.
    Published • 10.23919/MIPRO48935.2020.9245212
  8. 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". Paper presented in 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), Milwakee, 2019.
    Published • 10.1109/compsac.2019.00097
  9. Henriques, Henrique; Lourenço, Hugo; Amaral, Vasco; Goulão, Miguel. "Improving the Developer Experience with a Low-Code Process Modelling Language". Paper presented in 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, Copenhaga, 2018.
    Published • 10.1145/3239372.3239387
  10. Cambeiro, João; Gomes, Cláudio; Amaral, Vasco; Rodrigues, Armanda; Cunha, Jácome. "A building automation case study setup and challenges". Paper presented in ICSE 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018.
    Published • 10.1145/3196478.3196482
  11. 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". Paper presented in 6th International Workshop on Engineering Multi-Agent Systems, EMAS 2018; Stockholm; Sweden; 14 July 2018 through 15 July 2018;, 2018.
    Published • 10.1007/978-3-030-25693-7_4
  12. Barisic, Ankica; Cambeiro, J.; Amaral, V.; Goulo, M.; Mota, T.. Corresponding author: Barisic, Ankica. "Leveraging teenagers feedback in the development of a domain-specific language: The case of programming low-cost robots". Paper presented in ACM Symposium on Applied Computing, Pau France, France., 2018.
    Published • 10.1145/3167132.3167264
  13. Barisic, Ankica; Debreceni, C.; Varrot, D.; Amaral, V.; Goulao, M.. Corresponding author: Barisic, Ankica. "Evaluating the efficiency of using a search-based automated model merge technique". Paper presented in EEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), lisbon, 2018.
    Published • 10.1109/VLHCC.2018.8506512
  14. Silva, J.; Barisic, Ankica; Amaral, V.; Goulão, M.; Tezel, B.T.; Alaca, O.F.; Challenger, M.; Kardas, G.. Corresponding author: Silva, J.. "Comparing the usability of two multi-agents systems DSLs: Sea_ML++ and DSML4MAS study design". Paper presented in Human Factors in Modeling Workshop at MODELS international conference, 2018.
    Published
  15. Zabasta, Anatolijs; Carreira, Paulo; Nikiforova, Oksana; Amaral, Vasco; Kunicina, Nadezda; Goulao, Miguel; Sukovskis, Uldis; Ribickis, Leonids; IEEE. "Developing a Mutually-Recognized Cross-Domain Study Program in Cyber-Physical Systems". Paper presented in 2017 IEEE Global Engineering Education Conference (EDUCON), 2017.
    Published
  16. Faveri, Cristiano De; Moreira, Ana; Araujo, Joao; Amaral, Vasco. "Towards Security Modeling of e-Voting Systems". Paper presented in 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2017.
    Published • 10.1109/rew.2016.037
  17. 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
  18. Barišic, Ankica; Blouin, Dominique; Amaral, Vasco; Goulão, Miguel. "A requirements engineering approach for usability-driven DSL development". 2017.
    Published • 10.1145/3136014.3136027
  19. 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". Paper presented in International Conference on Conceptual Modeling ER 2016, 2016.
    Published • 10.1007/978-3-319-46397-1Scopus
  20. Teixeira, R.; Amaral, V.. "On the emergence of patterns for spreadsheets data arrangements". Paper presented in STAF 2016: Software Technologies: Applications and Foundations, 2016.
    Published • 10.1007/978-3-319-50230-4_25
  21. Moreira, Ana; Amaral, Vasco; De Faveri, Cristiano. "Goal-Driven Deception Tactics Design". Paper presented in 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016.
    Published • 10.1109/issre.2016.44
  22. 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". Paper presented in 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.
    Published
  23. Ameller, David; Franch, Xavier; Gomez, Cristina; Araujo, Joao; Svensson, Richard Berntsson; Biffl, Stefan; Cabot, Jordi; et al. "Handling Non-functional Requirements in Model-Driven Development: An Ongoing Industrial Survey". Paper presented in 2015 IEEE 23rd International Requirements Engineering Conference (RE), 2015.
    Published
  24. 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.
    Published • 10.1109/RE.2015.7320424
  25. Gomes, Claudio; Barroca, Bruno; Amaral, Vasco; Dingel, J; Schulte, W; Ramos, I; Abrahao, S; et al. "Classification of Model Transformation Tools: Pattern Matching Techniques". Paper presented in International Conference on Model Driven Engineering Languages and Systems - MODELS 2014, Valência, 2014.
    Published
  26. Silva, L.P.; E Abreu, F.B.; Amaral, V.. "A model-driven approach for mobile business information systems applications". Paper presented in Doctoral Symposium at MODELS'14 co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014.
    Published
  27. Barišic, A.; Amaral, V.; Goulão, M.; Aguiar, A.. "Introducing usability concerns early in the DSL development cycle: FlowSL experience report". Paper presented in 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.
    Published
  28. Araújo, J.; Goulão, M.; Moreira, A.; Simão, I.; Amaral, V.; Baniassad, E.. "Advanced modularity for building SPL feature models: A model-driven approach". Paper presented in 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, 2013.
    Published • 10.1145/2480362.2480596
  29. Amaral, V.; Cicchetti, A.; Deshayes, R.. "A multiparadigm approach to integrate gestures and sound in the modeling framework". Paper presented in 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.
    Published
  30. Barisic, Ankica; Monteiro, Pedro; Amaral, Vasco; Goulão, Miguel; Monteiro, Miguel Pessoa. "Patterns for evaluating usability of domain-specific languages". Paper presented in Pattern Languages of Programs Conference, PLoP 2012, 2012.
    Published
  31. Monteiro, Rui; Araujo, Joao; Amaral, Vasco; Goulao, Miguel; Patricio, Pedro. "Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches". Paper presented in 2012 Eighth International Conference on the Quality of Information and Communications Technology (Quatic 2012), 2012.
    Published • 10.1109/quatic.2012.38
  32. Marques, E.; Balegas, V.; Barroca, B.F.; Barišic, A.; Amaral, V.. "The RPG DSL: A case study of language engineering using MDD for generating RPG games for mobile phones". Paper presented in SPLASH 2012: DSM 2012 - Proceedings of the 2012 ACM Workshop on Domain-Specific Modeling, 2012.
    Published • 10.1145/2420918.2420923
  33. Amaral, Vasco; Barroca, Bruno; Carreira, Paulo. "Towards a robust solution in Building Automation Systems: supporting rapid prototyping and analysis". Paper presented in 2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012.
    Published • 10.1109/quatic.2012.59
  34. Barišic, A.; Amaral, V.; Goulão, M.; Barroca, B.. "Quality in use of domain-specific languages: A case study". Paper presented in PLATEAU'11 - Proceedings of the 3rd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, 2011.
    Published • 10.1145/2089155.2089170
  35. Carreira, P.; Nunes, R.; Amaral, V.. "SmartLink: A hierarchical approach for connecting smart buildings to smart grids". Paper presented in 11th International Conference on Electrical Power Quality and Utilisation, 2011.
    Published • 10.1109/EPQU.2011.6128857
  36. Carreira, P.; Amaral, V.; Barroca, B.. "The case for a systematic development of Building Automation Systems". Paper presented in IEEE PES Innovative Smart Grid Technologies Conference Europe, 2011.
    Published • 10.1109/ISGTEurope.2011.6162819
  37. Patricio, Pedro; Amaral, Vasco; Araujo, Joao; Monteiro, Rui; Ieee,. "Towards a Unified Goal-Oriented Language". Paper presented in Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, 2011.
    Published • 10.1109/compsac.2011.83
  38. Correia, A.; Brito e Abreu, F.; Amaral, V.. "SLALOM: A language for SLA specification and monitoring". Paper presented in INForum 2011 - Simpósio de Informática, Coimbra, Portugal, 2011.
    Published • 10.48550/arXiv.1109.6740
  39. Barisic, A.; Amaral, V.; Goulão, M.; Barroca, B.. "How to reach a usable DSL? Moving toward a systematic evaluation". 2011.
    Published • 10.14279/tuj.eceasst.50.741.750
  40. 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". Paper presented in Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, 2010.
    Published • 10.1007/978-3-642-19440-5_19
  41. Oliveira, A.R.; Araújo, J.; Amaral, V.. "The VisualAORE DSL". Paper presented in 2010 5th International Workshop on Requirements Engineering Visualization, REV 2010, 2010.
    Published • 10.1109/REV.2010.5625665
  42. Monteiro, R.; Araújo, J.; Amaral, V.; Patrício, P.. "MDGore: Towards model-driven and Goal-Oriented Requirements Engineering". Paper presented in 18th IEEE International Requirements Engineering Conference (RE 2010), 2010.
    Published • 10.1109/RE.2010.60
  43. Gabriel, P.; Goulão, M.; Amaral, V.. "Do software languages engineers evaluate their languages?". Paper presented in CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering", 2010.
    Published
  44. Pedro, L.; Risoldi, M.; Buchs, D.; Amaral, V.. "Developing domain-specific modeling languages by metamodel semantic enrichment and composition: A case study". Paper presented in Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM'10, Reno Nevada, 2010.
    Published • 10.1145/2060329.2060364
  45. Lucio, Levi; Barroca, Bruno; Amaral, Vasco; Lúcio, L.; Barroca, B.; Amaral, V.. "A Technique for Automatic Validation of Model Transformations". Paper presented in International Conference on Model Driven Engineering Languages and Systems MODELS 2010, 2010.
    Published • 10.1007/978-3-642-16145-2_10
  46. PEDRO, L; RISOLDI, M; BUCHS, D; BARROCA, B; AMARAL, V; JACKO, JA; Bari¿ic, A.; et al. "Composing Visual Syntax for Domain Specific Languages". Paper presented in International Conference on Human-Computer Interaction, San Diego, 2009.
    Published • 10.4018/978-1-4666-4301-7.ch098
  47. Nunes, C.; Araujo, J.; Amaral, V.; Silva, C.. "A domain specific language for the I* framework". Paper presented in ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings, Milão, 2009.
    Published
  48. Alférez, M.; Moreira, A.; Kulesza, U.; Araújo, J.; Mateus, R.; Amaral, V.. "Detecting feature interactions in SPL requirements analysis models". Paper presented in FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009.
    Published • 10.1145/1629716.1629738
  49. Dias, A.; Amaral, V.; Araújo, J.. "Towards a domain specific language for a goal-oriented approach based on KAOS". Paper presented in 2009 Third International Conference on Research Challenges in Information Science, 2009.
    Published • 10.1109/RCIS.2009.5089305
  50. Rosa, A.; Amaral, V.; Barroca, B.. "Designing a DSL solution for the domain of augmented reality software applications specification". Paper presented in International Conference on Technologies for E-Learning and Digital Entertainment Edutainment 2009, 2009.
    Published • 10.1007/978-3-642-03364-3_51
  51. 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". Paper presented in First International Workshop on Managing Requirements Knowledge, Barcelona, 2008.
    Published • 10.1109/mark.2008.4
  52. Risoldi, M.; Buchs, D.; Masetti, L.; Amaral, V.; Barroca, B.. "A methodology for control systems GUI prototyping - A case study". Paper presented in PCaPAC 2008 proceedings, 2008.
    Published
  53. 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". Paper presented in IEEE Nuclear Science Symposium Conference, 2008.
    Published • 10.1109/NSSMIC.2008.4774651
  54. Alférez, M.; Kulesza, U.; Sousa, A.; Santos, J.; Moreira, A.; Araújo, J.; Amaral, V.. "A model-driven approach for software product lines requirements engineering". Paper presented in 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008, 2008.
    Published
  55. 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.
    Published • 10.1109/NSSMIC.2007.4436475
  56. Sousa, Vasco; Amaral, Vasco; Barroca, Bruno; Ieee,. "Towards a full implementation of a robust solution of a Domain Specific Visual Query Language for HEP Physics analysis". Paper presented in IEEE Nuclear Science Symposium Conference, 2007.
    Published
  57. Risoldi, Matteo; Amaral, Vasco; Risoldi, M.; Amaral, V.. "Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping". Paper presented in Rapid Integration of Software Engineering Techniques. RISE 2006, 2007.
    Published • 10.1007/978-3-540-71876-5_10
  58. Amaral, V.; Helmer, S.; Moerkotte, G.. "PHEASANT: A PHysicist's EAsy ANalysis tool". Paper presented in Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004,, 2004.
    Published
  59. Amaral, Vasco; Helmer, Sven; Moerkotte, Guido. "PHEASANT: A PHysicist's EAsy ANalysis Tool". Paper presented in Flexible Query Answering Systems. FQAS 2004, 2004.
    Published • 10.1007/978-3-540-25957-2_19
  60. Amaral, V.; Helmer, S.; Moerkotte, G.. "A visual query language for HEP analysis". 2003.
    Published • 10.1109/nssmic.2003.1351826
  61. Amaral, V.; Helmer, S.; Moerkotte, G.. "Engineering a new abstraction layer to optimize the HEP analysis process". 2003.
    Published • 10.1109/TNS.2004.832551
  62. AMARAL, V; MOERKOTTE, G; AMORIM, A; HELMER, S; CHEN, HS. "Studies for optimization of data analysis queries for HEP using HERA-B commissioning data". Paper presented in CHEP 2001 Conference Computing in High Energy and Nuclear Physics ¿, Pequim, 2001.
    Published
  63. AMARAL, V; AMORIM, A; BATISTA, J; CHEN, HS. "Operational experience running the Hera-B database system". Paper presented in 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.
    Published
Conference poster
  1. Amaral, V.; Helmer, S.; Moerkotte, G.. "Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis". Paper presented in CHEP 2001 - International Conference on Computing in High Energy and Nuclear Physics, 2001.
    10.1109/vlhcc.2005.38
Edited book
  1. Amaral, Vasco; Tekinerdogan, Bedir; Hans Vangheluwe; Paulo Carreira; Dominique Blouin; Miguel Goulão. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. Elsevier. 2021.
    Published • Editor
  2. Paulo Carreira; Amaral, Vasco; Hans Vangheluwe. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Germany: Springer International Publishing. 2020.
    Published • 10.1007/978-3-030-43946-0 • 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.
    Published • Editor
  4. Störrle, H.; Chaudron, M.R.V.; Amaral, V.; Goulão, M.. Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016. CEUR-WS. 2016.
    Published • Editor
  5. Amaral, Vasco; Mark Paulk; Ricardo Machado; Miguel Brito; Miguel Goulão. 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016. IEEE Computer Society. 2016.
    Published • Editor
  6. 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.
    Published
  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, France: CEUR. 2016.
    Published
  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.
    Published • Editor
  9. Störrle, Harald; Chaudron, Michel R.V.; Amaral, Vasco; Goulão, Miguel. First International Workshop on Human Factors in Modeling (HuFaMo 2015). Netherlands. 2015.
    Published
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • Editor
Journal article
  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. Liebel, Grischa; Klünder, Jil; Hebig, Regina; Lazik, Christopher; Nunes, Inês; Graßl, Isabella; Steghöfer, Jan-Philipp; et al. "Human factors in model-driven engineering: future research goals and initiatives for MDE". Software and Systems Modeling 23 4 (2024): 801-819. https://doi.org/10.1007/s10270-024-01188-8.
    Published • 10.1007/s10270-024-01188-8
  3. 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.
    Published • 10.1016/j.csi.2021.103513
  4. 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.
    Published • 10.1016/j.parco.2019.102584
  5. Ameller, David; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Bohm, Wolfgang; et al. "Dealing with Non-Functional Requirements in Model-Driven Development: A Survey". IEEE Transactions on Software Engineering (2019): 1-1. http://dx.doi.org/10.1109/tse.2019.2904476.
    Published • 10.1109/tse.2019.2904476
  6. De Faveri, Cristiano; Moreira, Ana; Amaral, Vasco. "Multi-paradigm deception modeling for cyber defense". Journal of Systems and Software 141 (2018): 32-51. http://dx.doi.org/10.1016/j.jss.2018.03.031.
    Published • 10.1016/j.jss.2018.03.031
  7. 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.
    Published • 10.1016/j.cl.2017.06.005
  8. 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.
    Published • 10.1016/j.egypro.2017.12.580
  9. 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.
    Published • 10.1007/s11219-016-9352-4
  10. Goulão, M.; Amaral, V.; Mernik, M.. "Quality in model-driven engineering: a tertiary study". Software Quality Journal 24 3 (2016): 601-633. http://www.scopus.com/inward/record.url?eid=2-s2.0-84976331533&partnerID=MN8TOARS.
    Published • 10.1007/s11219-016-9324-8
  11. 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.
    Published
  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.
    Published • 10.1007/978-3-642-21347-2_3
  13. 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.
    Published • 10.1140/epjc/s10052-009-1138-4
  14. 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.
    Published • 10.1140/epjc/s10052-009-1005-3
  15. 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.
    Published • 10.1140/epjc/s10052-009-0957-7
  16. 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.
    Published • 10.1140/epjc/s10052-009-0965-7
  17. 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.
    Published • 10.1103/PhysRevD.79.012001
  18. 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.
    Published • 10.1088/1742-6596/119/4/042027
  19. 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.
    Published • 10.1016/j.nima.2007.09.011
  20. 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.
    Published • 10.1140/epjc/s10052-007-0427-z
  21. 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.
    Published • 10.1016/j.physletb.2007.04.022
  22. 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.
    Published • 10.1140/epjc/s10052-007-0237-3
  23. 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.
    Published • 10.1140/epjc/s10052-006-0139-9
  24. 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.
    Published • 10.1016/j.physletb.2006.03.064
  25. 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.
    Published • 10.1016/j.physletb.2006.05.040
  26. 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.
    Published • 10.1016/j.physletb.2006.04.042
  27. 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.
    Published • 10.1103/PhysRevD.73.052005
  28. 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.
    Published • 10.1140/epjc/s2005-02308-8
  29. 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.
    Published • 10.1103/PhysRevLett.93.212003
  30. 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.
    Published • 10.1016/j.physletb.2004.06.097
  31. 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.
    Published • 10.1016/S0370-2693(03)00407-6
  32. 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.
    Published • 10.1140/epjc/s2002-01071-8
  33. 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.
    Published • 10.1140/epjc/s2003-01200-y
  34. 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.
    Published • 10.1016/s0370-2693(03)00407-6
  35. 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.
    Published • 10.1016/s0010-4655(01)00268-5
Journal issue
  1. Amaral, Vasco; Jordi Cabot; Miguel Goulão. "Special issue on quality in Model-Driven Engineering". Computer Languages, Systems & Structures 54 (2018): https://doi.org/10.1016/j.cl.2018.03.001.
    Published • Editor
  2. Amaral, V.; Mernik, M.. "Special issue on quality in model-driven engineering". Software Quality Journal 24 3 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-84975298382&partnerID=MN8TOARS.
    Published • 10.1007/s11219-016-9327-5 • Editor
  3. Amaral, Vasco; Markus Aleksy; Ralf Gitzel; James Power; John Waldron. "Special Issue on Principles and Practices of Programming in Java (PPPJ 2007)". Science of Computer Programming 74 5-6 (2009): https://www.sciencedirect.com/journal/science-of-computer-programming/vol/74/issue/5.
    Published
Magazine article
  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. Corresponding author: 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. Corresponding author: 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. Corresponding author: 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.
Preface / Postscript
  1. Paulk, M.; Machado, R.J.; Brito, M.A.; Goulão, M.; Amaral, V.. "Message from the conference chairs: QUATIC 2016". Preface to Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018, x-xi. United States: IEEE Computer Society. 2016.
    Published • 10.1109/QUATIC.2016.007
  2. Störrle, Harald; Chaudron, Michel R.V.; Amaral, Vasco; Goulão, Miguel. "Second International Workshop on Human Factors in Modeling (HuFaMo 2015)". Preface to SecondInternational Workshop on Human Factors in Modeling (HuFaMo 2015). CEUR. 2015.
    Published
  3. Aleksy, M.; Amaral, V.; Gitzel, R.; Power, J.; Waldron, J.. "PPPJ special issue-Foreword". Preface to Science of Computer Programming, 259-260. Elsevier. 2009.
    Published • 10.1016/j.scico.2009.01.008
  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". Preface to Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ACM. 2008.
    Published
Report
  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

Other

Other output
  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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2019 - Current Transparent Integration of Multi-Fidelity Heterogeneous Models using a System Engineering Approach
Supervisor of 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, France
2022 - 2023/11/30 Usability Evaluation of OFLAT Platform
Supervisor of David Alexandre Passão Pereira
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/06/19 CI/CD pipeline for distributed IOT devices & SLR on Devops platforms
Supervisor of Afonso Mastbaum de Sousa Figuinha
 MIEI (Master)
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
Supervisor of Nuno Renato Nascimento Guerreiro
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/05/23 Collaborative Modeling Interaction Mechanisms
Co-supervisor of Maria Inês Ferreira Góis
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2022 - 2023/05/23 Combining different data sources for industrial process monitoring
Supervisor of Rodrigo Ulisses Lopes Gomes
 MIEI (Master)
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
Supervisor of Pedro Miguel Estrela de Moura
 MIEI (Master)
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
Supervisor of João Pedro Almeida Carvalho
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/06/08 Usability Evaluation of Oflat Platform
Supervisor of Beatriz Dinis Ramos
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/02/19 Modeling of building automation systems with humans-in-the-loop
Supervisor of Luis Duarte Oliveira
 Mestrado integrado em Engenharia Informática (Master)
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
Supervisor of 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
Supervisor of Diogo Saraiva Cavalheiro Neves Pereira
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2021 - 2022/01 A Simulation Framework for UML Education
Supervisor of Miguel Appleton Fernandes
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/10/29 On the impact of noise on software development work productivity
Supervisor of Tiago Caldinhas
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/10/25 An Evolvable Gamification Model For Sustainable User Engagement
Co-supervisor of Vicente Moitinho de Almeida
 MIEI (Master)
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
Supervisor of Maria Bernardo Courelas Lobo da Silva
 MIEI (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/03 A Blockchain Gamification Solution For A Sustainable Campus
Supervisor of Ana Catarina Vitorino Urgueira
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2020 - 2021/03 Modelo de interação flexível num Editor de Modelos operado por voz e gestos
Supervisor of 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
Supervisor of Teresa Pinto Araújo Chambel
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021/02/18 Modelo De Interação Do Editor Model-By-Voice
Supervisor of João Carvalho
 MIEI (Master)
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
Supervisor of Joana Páris Pereira
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 A Model-Driven Approach to the Generation of Front-Ends
Co-supervisor of Everton Nascimento
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 The Human in the loop in Cyber-Physical Systems: the case of Building Automation
Supervisor of João Cambeiro
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 A modeling plataform for visually impaired or blind people
Supervisor of João Lopes
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Systematic Literature Review of Domain Specific Languages and Computational Models for High-Performance Computing
Supervisor of Beatriz Norberto
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Usability Evaluation of Multi Agent Systems
Supervisor of João Silva
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 A Rule-based Engine to support a Framework for the Experimental Validation of Domain Specific Languages
Co-supervisor of Sara Russo Rosa
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 IoT Platforms for Building Automation with Energy Efficiency and Comfort Concerns
Supervisor of Pedro Alexandre Afonso Simão
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Software Language Engineering: Interaction and Usability Modeling of Language Editors
Supervisor of Tomás Rogeiro Brochado De Miranda
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Specifying, Analyzing, Integrating Mobile Apps and Location Sensors as part of Cyber-Physical Systems in the Classroom Environment
Supervisor of Pedro Miguel Real Maroco
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Modelo de Custos para Linguagens de Domínio Específico
Co-supervisor of Hugo Cabrita
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2017 Usability Evaluation of Domain - Specific Languages
Supervisor of Ankica Barisic
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 A Model-Driven Approach for Mobile Business Intelligence
Supervisor of David Duarte
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Controlled Specification and Generation of Spreasheets
Co-supervisor of Ricardo Teixeira
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Domain Specific Language Evaluation: OutSystems' Business Process Technology
Co-supervisor of Henrique Henriques
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Sistema de Configuração de Redes aviónicas
Supervisor of Celso Alexandre
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 A Domain Specific Language for Home Automation Systems focused on Statements that Specify Imprecision
Supervisor of Ricardo Monteiro
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Gesture Language Editor - Modeling and Recognition
Supervisor of Nuno Oliveira
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Geração de Interfaces Móveis a partir de Ontologias
Co-supervisor of Alexandre Garcia
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 A Domain Specific Query Language for Querying Building Data Streams of energy, Weather and occupation Data
Supervisor of Cátia Moreira
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 Testing methodology for real time operating systems assuring conformity with ARINC 653
Co-supervisor of Pedro Costa
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 Família de DSLs para integrated modular avionics
Supervisor of Ricardo Alves
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 A domain specific language for domotic systems
Supervisor of João Taborda
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 A Software Product Line of DSLs for Modular Avionics
Supervisor of Ricardo Alves
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2014 Quality of Process Modeling Using BPMN: A Model-Driven Approach
Co-supervisor of 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
Supervisor of Pedro Leonardo
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2013 A framework for efficient model transformations
Supervisor of Cláudio Gomes
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2013 Analysable Software Language Translations
Supervisor of Bruno Fontes Barroca
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Test Selection from Algebraic Petri Nets: an operational method and a tool
Supervisor of Rui Domingues
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2012 Managing Variability Requirements in Software Product Lines in the Presence of Volatile Requirements
Co-supervisor of Edward Mauricio Alférez Salinas
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2011/09 Para ser Mestre
Supervisor of Anabela Gonçalves Teixeira Lobato Correia
 MIEI (Master)
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)
Supervisor of Ricardo João Dias Mateus
 Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/09 Uma Linguagem de Domínio Específico para AORE
Co-supervisor of Ana Rita Oliveira
 Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2010 - 2010/04 Para ser Mestre
Supervisor of João Alberto Amoreira Casteleiro Alves
 MIEI (Master)
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
Co-supervisor of Rui Monteiro
 Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/03/04 A DSML for Specification of Ubiquitous Games
Supervisor of Ricardo Guerreiro
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010/03/04 DSL Translator - Ferramenta para a Transformação de Modelos
Supervisor of Roberto Félix
 Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2009 - 2010 Software languages engineering: experimental evaluation
Supervisor of 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)
Co-supervisor of João Carlos Tanganho de Sousa
 Engª Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/05/20 Specifying Adaptivity rules for building user interfaces for complex Control Systems
Supervisor of Pedro Ricardo dos Santos Calado
 Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/04/24 BATIC3S - Modeling Control Systems' Interfaces (DSL Editors and Model Transformation)
Supervisor of Vasco Sousa
 Engenharia Informática (Master)
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
Supervisor of André da Fonseca Rosa
 Engª Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2008 - 2009/03/09 Towards a DSL based on KAOS goal and agent-oriented paradigms
Co-supervisor of Ana Cristina de Freitas Dias
 Engenharia Informática (Master)
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
Supervisor of Ana Cristina de Freitas Dias
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 Uma linguagem de domínio específico para a framework i*
Co-supervisor of Carlos Miguel Marques Martins Simões Nunes
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2008/11/21 Traceability Support in Software Product Lines
Co-supervisor of André Sousa
 Engenharia Informática (Master)
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
Co-supervisor of João Marques
 Engenharia Informática (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2007 - 2008 DSLtranslator - ferramenta para transformação de modelos
Supervisor of Roberto Luís Fernandes Silva Félix
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006 - 2007 (H)ALL: a DSL for Rapid Prototyping of User Interfaces for Control Systems for Critical Complex Control Systems
Supervisor of Bruno Fontes Barroca
 Engenharia Informática (Master)
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
Co-supervisor of Galya Deyanova
 Physics and Mathematics (Master)
Tehniceski universitet-Sofia Katedra Prilozna fizika, Bulgaria

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2012 - Current Primeiro Congresso Ibérico dos Jovens Engenheiros (International Young Engineers' Iberian Conference), Braga, Portugal, CIJE 2012 (2012)
Conference (Co-organisor)
 Ordem dos Engenheiros, Portugal
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)
Conference (President of the Organising Committee)
 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)
Other
 Consiglio Nazionale delle Ricerche Istituto di Scienza e Tecnologie dell'Informazione Alessandro Faedo, Italy
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)
Conference (Member of the Organising Committee)
 IEEE, United States
2018 - 2018 11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018 (2018/09/04 - 2018/09/07)
Conference (Co-organisor)
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2018 International Summer School on Domain-Specific Modelling - Theory and Practice (DSM-TP) Series of Yearly Event (9 in total) (2009 - 2019)
Other (Co-organisor)
2017/09/04 - 2017/09/08 25th IEEE International Requirements Engineering Conference, Universidade Nova (Host), Lisbon (2017/09/04 - 2017/09/08)
Conference (Member of the Organising Committee)
 IEEE, United States
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)
Workshop (Co-organisor)
2016/09/06 - 2016/09/09 Organization of QUATIC 2016 - 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016. (2016/09/06 - 2016/09/09)
Conference (Co-organisor)
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
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)
Workshop (Co-organisor)
 University of Ottawa, Canada
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)
Workshop (Co-organisor)
 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)
Workshop (Co-organisor)
 Victoria University of Wellington, New Zealand
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)
Conference (Member of the Organising Committee)
 Victoria University of Wellington, New Zealand
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)
Workshop (Co-organisor)
 SINTEF, Norway
2007/09/05 - 2007/09/07 5th International Symposium on Principles and Practice of Programming in Java (Cooperation with ACM), PPPJ 2007, Lisboa, Portugal, September 5-7, 2007 (2007/09/05)
Conference (President of the Organising Committee)
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Jury of academic degree

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

Association member

Society Organization name Role
2021/04 - Current General Assembly of the International Federation for Information Processing (IFIP). National delegate
2002 - Current IEEE Membro Sénior
2000 - Current Ordem dos Engenheiros Membro Sénior

Evaluation committee

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

Interview (tv / radio show)

Program Topic
2022/07/10 - Current 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 - Current Notíciário TSF - Radio News Interview Ataque informático a Ordem dos Engenheiros
Distinctions

Award

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

Title

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