Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 4455
56 Team MembersFilters -> Year: 2025
821
TITLE: Timely Specification Repair for Alloy 6
AUTHORS: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PAGES: 288-303
AUTHORS: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PAGES: 288-303
822
TITLE: Tool support to aligning requirements and testing through behaviour-driven requirements patterns
AUTHORS: Pollyana de Queiroz Ribeiro; Ernesto Fonseca Veiga; Mariana Crisostomo Martins; VINCENZI, AURI M. R. ; Taciana Novo Kudo; Renato F Bulcão Neto;
PUBLISHED: 2022, SOURCE: 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June - 17 June 2022., PAGES: 292-299
AUTHORS: Pollyana de Queiroz Ribeiro; Ernesto Fonseca Veiga; Mariana Crisostomo Martins; VINCENZI, AURI M. R. ; Taciana Novo Kudo; Renato F Bulcão Neto;
PUBLISHED: 2022, SOURCE: 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June - 17 June 2022., PAGES: 292-299
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP823
TITLE: Towards an Approach for Improving Exploratory Testing Tour Assignment based on Testers' Profile
AUTHORS: Santos, LD; Figueiredo, RMD; Barbosa, RFP; VINCENZI, AURI M. R. ; Pedrosa, GV; Gardenghi, JLC;
PUBLISHED: 2022, SOURCE: ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2, PAGES: 183-190
AUTHORS: Santos, LD; Figueiredo, RMD; Barbosa, RFP; VINCENZI, AURI M. R. ; Pedrosa, GV; Gardenghi, JLC;
PUBLISHED: 2022, SOURCE: ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2, PAGES: 183-190
824
TITLE: Towards Bio-Inspired Anomaly Detection Using the Cursory Dendritic Cell Algorithm Full Text
AUTHORS: Pinto, C; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: ALGORITHMS, VOLUME: 15, ISSUE: 1, PAGES: 1
AUTHORS: Pinto, C; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: ALGORITHMS, VOLUME: 15, ISSUE: 1, PAGES: 1
825
TITLE: Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs
AUTHORS: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 477-484
AUTHORS: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 477-484
826
TITLE: Tracing and Measuring GPU Execution in Automotive Software Systems
AUTHORS: Carvalho, T ; Pinho, LM;
PUBLISHED: 2022, SOURCE: Ada User Journal, VOLUME: 43, ISSUE: 3, PAGES: 160-164
AUTHORS: Carvalho, T ; Pinho, LM;
PUBLISHED: 2022, SOURCE: Ada User Journal, VOLUME: 43, ISSUE: 3, PAGES: 160-164
INDEXED IN: Scopus
Scopus827
TITLE: Tracking Data Visual Representations for Sports Broadcasting Enrichment
AUTHORS: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022 in Proceedings of the 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022, Valletta, Malta, October 27-28, 2022., VOLUME: 2022-October, PAGES: 125-131
AUTHORS: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022 in Proceedings of the 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022, Valletta, Malta, October 27-28, 2022., VOLUME: 2022-October, PAGES: 125-131
INDEXED IN: Scopus DBLP
Scopus DBLP828
TITLE: Using evidence from systematic studies to guide a PhD research in Requirements Engineering - an experience report
AUTHORS: Taciana Novo Kudo; Renato F Bulcão Neto; VINCENZI, AURI M. R. ; Érica Ferreira de Souza; Kátia Romero Felizardo;
PUBLISHED: 2022, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 10, PAGES: 7:1-7:10
AUTHORS: Taciana Novo Kudo; Renato F Bulcão Neto; VINCENZI, AURI M. R. ; Érica Ferreira de Souza; Kátia Romero Felizardo;
PUBLISHED: 2022, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 10, PAGES: 7:1-7:10
829
TITLE: Using Simulation to Evaluate a Tube Perception Algorithm for Bin Picking
AUTHORS: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 2, PAGES: 46
AUTHORS: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 2, PAGES: 46
830
TITLE: Using Virtual Choreographies to Identify Office Users' Behaviors to Target Behavior Change Based on Their Potential to Impact Energy Consumption
AUTHORS: Cassola, Fernando ; Morgado, Leonel ; Coelho, Antonio ; Paredes, Hugo ; Barbosa, Antonio; Tavares, Helga; Soares, Filipe ;
PUBLISHED: 2022, SOURCE: ENERGIES, VOLUME: 15, ISSUE: 12, PAGES: 4354
AUTHORS: Cassola, Fernando ; Morgado, Leonel ; Coelho, Antonio ; Paredes, Hugo ; Barbosa, Antonio; Tavares, Helga; Soares, Filipe ;
PUBLISHED: 2022, SOURCE: ENERGIES, VOLUME: 15, ISSUE: 12, PAGES: 4354
831
TITLE: Value of concept of operations analysis for digital transformation using digital twins Full Text
AUTHORS: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLISHED: 2022, SOURCE: Product Management & Development, VOLUME: 20, ISSUE: 2
AUTHORS: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLISHED: 2022, SOURCE: Product Management & Development, VOLUME: 20, ISSUE: 2
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall832
TITLE: Valuing Players Over Time
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.03882
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.03882
INDEXED IN: DBLP
DBLP833
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
834
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PAGES: 345-355
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PAGES: 345-355
835
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
836
TITLE: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTHORS: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLISHED: 2022, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, ISSUE: 1
AUTHORS: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLISHED: 2022, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, ISSUE: 1
837
TITLE: Visual notations in container orchestrations: an empirical study with Docker Compose Full Text
AUTHORS: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLISHED: 2022, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, ISSUE: 5, PAGES: 1983-2005
AUTHORS: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLISHED: 2022, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, ISSUE: 5, PAGES: 1983-2005
838
TITLE: Volume 2 dos Cadernos de Investigação do Mestrado em Negócio Eletrónico e alunos Erasmus
AUTHORS: Ana Azevedo; Agostinho Sousa Pinto; Mariana Curado Malta ;
PUBLISHED: 2022
AUTHORS: Ana Azevedo; Agostinho Sousa Pinto; Mariana Curado Malta ;
PUBLISHED: 2022
INDEXED IN: CrossRef
CrossRef839
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
840
TITLE: What Ever Happened to Peer-to-Peer Systems? Full Text
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP