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: 1659
149 Team MembersFilters -> Year: 2026
AUTORES: Hugo Carvalho ; Daniel Cruz ; Rogério Pontes ; João Paulo ; Rui Oliveira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 3-20
AUTORES: Pereira, P; Cunha, J ; Fernandes, JP ;
PUBLICAÇÃO: 2020, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2020 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2020), VOLUME: 2020-August, PÁGINAS: 1-5
AUTORES: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PÁGINAS: 756
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), PÁGINAS: 49-56
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: IRC, PÁGINAS: 240-247
AUTORES: Luis Meruje Ferreira ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 131-147
AUTORES: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLICAÇÃO: 2020, FONTE: IDEAL (2), VOLUME: 12490 LNCS, PÁGINAS: 516-523
AUTORES: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLICAÇÃO: 2020, FONTE: COMPLEXITY, VOLUME: 2020, PÁGINAS: 3510676:1-3510676:12
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: AsiaCCS, PÁGINAS: 101-115
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020, PÁGINAS: 427-429
AUTORES: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
AUTORES: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLICAÇÃO: 2020, FONTE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PÁGINAS: 24:1-24:15
AUTORES: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5, PÁGINAS: 35:1-35:48
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: TAP@STAF, VOLUME: 12165 LNCS, PÁGINAS: 122-140
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PÁGINAS: 965-982
AUTORES: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
CrossRef
OpenlibraryAUTORES: Luís Soares Barbosa ; Mohammad Ali Abam;
PUBLICAÇÃO: 2020, FONTE: TTCS, VOLUME: 12281
AUTORES: Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: Computing, VOLUME: 102, NÚMERO: 12, PÁGINAS: 2565-2585
AUTORES: Paulo Carvalho ; Solange Rito Lima; Luis Alvarez Sabucedo; Juan M Santos Gago; Joao Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: COMPUTING, VOLUME: 102, NÚMERO: 12, PÁGINAS: 2565-2585
AUTORES: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: ICEGOV, PÁGINAS: 823-826