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: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
HandleAUTORES: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac ;
PUBLICAÇÃO: 2013
HandleAUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Refine@IFM, VOLUME: 115, PÁGINAS: 84-98
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PÁGINAS: 75-89
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 548-553
AUTORES: Azad, MA ; Morla, R ;
PUBLICAÇÃO: 2013, FONTE: COMPUTERS & SECURITY, VOLUME: 39, NÚMERO: PART B, PÁGINAS: 219-236
AUTORES: Victor Fonte ;
PUBLICAÇÃO: 2013
HandleAUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2013, FONTE: CCS, PÁGINAS: 1217-1230
AUTORES: Gomes, EF ; Alípio Mário Jorge ; Paulo J Azevedo ;
PUBLICAÇÃO: 2013, FONTE: C3S2E, PÁGINAS: 23-30
AUTORES: Albano Alves ; Jose Rufino ; Antonio Pina ; Luis Paulo Santos ;
PUBLICAÇÃO: 2013, FONTE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012: PARALLEL PROCESSING WORKSHOPS, VOLUME: 7640, PÁGINAS: 112-122
AUTORES: Carlos E Silva; José Creissac Campos ;
PUBLICAÇÃO: 2013, FONTE: EICS, PÁGINAS: 107-112
HandleAUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2, PÁGINAS: 459-474
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2013, FONTE: ESOCC Workshops, VOLUME: 393 CCIS, PÁGINAS: 159-173
AUTORES: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, E;
PUBLICAÇÃO: 2013, FONTE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PÁGINAS: 1-6
AUTORES: João Paulo ; José Pereira ;
PUBLICAÇÃO: 2013, FONTE: SoCC, PÁGINAS: 60:1-60:2
AUTORES: Carlos Cesar Silva ; Catarina Mendonca; Sandra Mouta ; Rosa Silva; Jose Creissac Campos ; Jorge Santos ;
PUBLICAÇÃO: 2013, FONTE: PLOS ONE, VOLUME: 8, NÚMERO: 11
AUTORES: Tiago E O Gomes; Tiago Abade; José L C Silva; Campos, J. Creissac ; Michael D Harrison;
PUBLICAÇÃO: 2013
HandleAUTORES: Tiago E O Gomes; Tiago Abade; Michael D Harrison; José L C Silva; Campos, J. Creissac ;
PUBLICAÇÃO: 2013
HandleAUTORES: Taivan, C; Andrade, JM; Jose, R ; Silva, B; Pinto, H; Ribeiro, AN ;
PUBLICAÇÃO: 2013, FONTE: 7th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8276 LNCS, PÁGINAS: 135-142