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: 1539
150 Team MembersFilters -> Year: 2024
AUTHORS: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLISHED: 2021, SOURCE: HUMAN FACTORS, VOLUME: 63, ISSUE: 6, PAGES: 1012-1032
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1253
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: 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, PAGES: 2564-2586
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 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), PAGES: 62-69
AUTHORS: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLISHED: 2021, SOURCE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PAGES: 178-193
AUTHORS: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01142
AUTHORS: João Falcão; Carlos Cândido; Diogo Silva; José Sousa; Mário Pereira; David Rua; Clara Gouveia ; Fábio Coelho ; Ricardo Bessa ; Alexandre Lucas ;
PUBLISHED: 2021, SOURCE: 26th International Conference and Exhibition on Electricity Distribution, CIRED 2021 in IET Conference Proceedings, VOLUME: 2021, ISSUE: 6, PAGES: 3029-3033
AUTHORS: Javier Álvarez; Carlos Baquero ; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E Lillo; Raquel Menezes ; Raúl Moreno; Nicolas Nicolaou; Oluwasegun Ojo; Antonio Ortega; Jesús Rufino; Efstathios Stavrakis; Govind Jeevan; Christin Glorioso;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03284
AUTHORS: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PAGES: 77-84
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047, PAGES: 483-502
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PAGES: 39-40
AUTHORS: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 5, PAGES: 669-681
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38