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: 1495
150 Team MembersFilters -> Year: 2025
AUTORES: Jesús Rufino; Juan Ramirez; Carlos Baquero ; Jaya Champati; Davide Frey; Rosa Lillo; Antonio Fernandez Anta;
PUBLICAÇÃO: 2022
![](/img/crossref.png)
AUTORES: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; ...Mais
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9, PÁGINAS: 48-57
AUTORES: Rua, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, PÁGINAS: 202:1-202:4
AUTORES: Salwa Ajel; Francisco Ribeiro; Ridha Ejbali; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: 22nd International Conference on Intelligent Systems Design and Applications, ISDA 2022 in Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2, VOLUME: 715, PÁGINAS: 586-595
AUTORES: Nélson Gonçalves; Rui Rua ; Jácome Cunha ; Rui Pereira ; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.11399
![](/img/dblp_icon.png)
AUTORES: Bashford Rogers, T; Santos, LP ; Marnerides, D; Debattista, K;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON GRAPHICS, VOLUME: 41, NÚMERO: 1, PÁGINAS: 1-15
AUTORES: Kassam, Ziad ; Almeida, Paulo Sergio ; Shoker, Ali;
PUBLICAÇÃO: 2022, FONTE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), VOLUME: 2022-July, PÁGINAS: 1-10
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022, PÁGINAS: 17-27
AUTORES: Parente, Joao; Alonso, Ana Nunes ; Coelho, Fabio ; Vinagre, Joao ; Bastos, Paulo;
PUBLICAÇÃO: 2022, FONTE: 4th International Conference on Blockchain Computing and Applications (BCCA) in 2022 FOURTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA), PÁGINAS: 76-84
AUTORES: Rodrigues, Nuno; Mendes, Daniel ; Santos, Luis Paulo ; Bouatouch, Kadi;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 102
AUTORES: Ribeiro, Francisco; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: International Workshop on Automated Program Repair (APR) in INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022), PÁGINAS: 38-45
AUTORES: Zellmann, Stefan; Wald, Ingo; Barbosa, Joao ; Dermici, Serkan; Sahistan, Alper; Gudukbay, Ugur;
PUBLICAÇÃO: 2022, FONTE: 12th IEEE Symposium on Large-Scale Data Analysis and Visualization (LDAV) in 2022 IEEE 12TH SYMPOSIUM ON LARGE DATA ANALYSIS AND VISUALIZATION (LDAV 2022), PÁGINAS: 36-45
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTORES: Colom, Arnau; Marques, Ricardo; Santos, Luis Paulo ;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 108, PÁGINAS: 74-85
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 12, PÁGINAS: 6-7
AUTORES: Lima, Susana; Morla, Ricardo ; Routar, Joao;
PUBLICAÇÃO: 2022, FONTE: 31st ACM International Conference on Information and Knowledge Management (CIKM) in PROCEEDINGS OF THE 31ST ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2022, PÁGINAS: 4224-4228
AUTORES: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220, PÁGINAS: 102829
AUTORES: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLICAÇÃO: 2022, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, NÚMERO: 10, PÁGINAS: 3396-3414
AUTORES: Artur Mariano; Filipe Cabeleira; Luís Paulo Santos ; Gabriel Falcão;
PUBLICAÇÃO: 2022, FONTE: Cybersecurity and High-Performance Computing Environments, PÁGINAS: 85-122
![](/img/crossref.png)
AUTORES: Macedo, Ricardo ; Tanimura, Yusuke; Haga, Jason; Chidarnbaram, Vijay; Pereira, Jose ; Paulo, Joao ;
PUBLICAÇÃO: 2022, FONTE: 20th USENIX Conference on File and Storage Technologies (FAST) in PROCEEDINGS OF THE 20TH USENIX CONFERENCE ON FILE AND STORAGE TECHNOLOGIES, FAST 2022, PÁGINAS: 413-428
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, NÚMERO: 4, PÁGINAS: 861-904