Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory
Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science
Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.
As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:
- Investigadores associados à equipa da Instituição em cada ano.
- Origem das Publicações.
As publicações associadas à Instituição podem ter três origens:
- Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
- Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
- Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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 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: 1487
150 Team MembersFilters -> Year: 2024
AUTORES: Anna Hristoskova; Nicolás González Deleito; Sarah Klein; Joana Sousa; Nuno Martins; João Tagaio; João Serra; Carlos Silva; João Ferreira; Pedro M Santos; Ricardo Morla ; Luís Almeida ; Baris Bulut; Sencer Sultanoglu;
PUBLICAÇÃO: 2021, FONTE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PÁGINAS: 281-292
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2105.08473
AUTORES: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLICAÇÃO: 2021, FONTE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PÁGINAS: 1-5
AUTORES: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLICAÇÃO: 2021, FONTE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PÁGINAS: 67-74
AUTORES: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PÁGINAS: 1-8
AUTORES: Bruno Salgado Machado; João Marco C Silva ; Solange Rito Lima; Paulo Carvalho;
PUBLICAÇÃO: 2021, FONTE: Twelfth International Conference on Ubiquitous and Future Networks, ICUFN 2021, Jeju Island, South Korea, August 17-20, 2021, PÁGINAS: 106-111
AUTORES: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo;
PUBLICAÇÃO: 2021, FONTE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PÁGINAS: 106-111
AUTORES: Harrison, MD ; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2021, FONTE: INTERACTING WITH COMPUTERS, VOLUME: 33, NÚMERO: 1, PÁGINAS: 55-72
AUTORES: Alberto Faria; Ricardo Macedo ; José Pereira; João Paulo;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 14th ACM International Conference on Systems and Storage
AUTORES: Alberto Faria ; Ricardo Macedo ; José Pereira ; João Paulo ;
PUBLICAÇÃO: 2021, FONTE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PÁGINAS: 8:1-8:11
AUTORES: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLICAÇÃO: 2021, FONTE: 26th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2021 in ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021., PÁGINAS: 498-504
AUTORES: Tânia Esteves ; Francisco Neves ; Rui Oliveira ; João Paulo ;
PUBLICAÇÃO: 2021, FONTE: Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021, PÁGINAS: 223-235
AUTORES: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLICAÇÃO: 2021, FONTE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September, PÁGINAS: 176-186
AUTORES: Neves, F ; Vilaca, R ; Pereira, J ;
PUBLICAÇÃO: 2021, FONTE: APPLIED COMPUTING REVIEW, VOLUME: 21, NÚMERO: 1, PÁGINAS: 24-36
AUTORES: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLICAÇÃO: 2021, FONTE: HUMAN FACTORS, VOLUME: 63, NÚMERO: 6, PÁGINAS: 1012-1032
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLICAÇÃO: 2021, FONTE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PÁGINAS: 2564-2586
AUTORES: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PÁGINAS: 1253
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), PÁGINAS: 62-69
AUTORES: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLICAÇÃO: 2021, FONTE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PÁGINAS: 178-193
AUTORES: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.01142