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: 1642
149 Team MembersFilters -> Year: 2026
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2013, FONTE: IRI, PÁGINAS: 512-519
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089 LNCS, PÁGINAS: 340-345
AUTORES: Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PÁGINAS: 297-311
AUTORES: Ana Nunes Alonso ; José Pereira ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 493-494
AUTORES: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PÁGINAS: 208-214
AUTORES: Nuno Silva; Luis Paulo Santos ;
PUBLICAÇÃO: 2013, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, NÚMERO: 7, PÁGINAS: 809-819
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2013, FONTE: COORDINATION, VOLUME: 7890 LNCS, PÁGINAS: 211-225
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PÁGINAS: 519-528
AUTORES: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Riviere, E;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, NÚMERO: 7, PÁGINAS: 987-999
AUTORES: Victor Fonte ;
PUBLICAÇÃO: 2013
HandleAUTORES: Francisco Cruz ; Francisco Maia ; Miguel Matos ; Rui Oliveira ; João Paulo ; José Pereira ; Ricardo Vilaça ;
PUBLICAÇÃO: 2013, FONTE: EuroSys, PÁGINAS: 183-196
AUTORES: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PÁGINAS: 694-697
AUTORES: Massa, D; Morla, R ;
PUBLICAÇÃO: 2013, FONTE: WIRELESS NETWORKS, VOLUME: 19, NÚMERO: 5, PÁGINAS: 1005-1022
AUTORES: Pereira, EM; Cardoso, JS ; Morla, R ;
PUBLICAÇÃO: 2013, FONTE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PÁGINAS: 340-349
AUTORES: de Sá, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PÁGINAS: 155-169
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2013, FONTE: SBLP, VOLUME: 8129 LNCS, PÁGINAS: 120-134
AUTORES: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD; Kim, HS;
PUBLICAÇÃO: 2013, FONTE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PÁGINAS: 670-675
AUTORES: Nuno Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 1885-1892
AUTORES: Joël Alwen; Manuel Barbosa ; Pooya Farshim; Rosario Gennaro; Dov D Gordon; Stefano Tessaro; David A Wilson;
PUBLICAÇÃO: 2013, FONTE: IMACC, VOLUME: 8308 LNCS, PÁGINAS: 65-84
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778, PÁGINAS: 143-161