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: Machado, J ; Seabra, E ; Campos, JC ; Soares, F ; Leao, CP ;
PUBLICAÇÃO: 2011, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, NÚMERO: 4, PÁGINAS: 635-653
AUTORES: André Martins; Luís Soares Barbosa ; Nuno F Rodrigues ;
PUBLICAÇÃO: 2011, FONTE: CALCO, VOLUME: 6859 LNCS, PÁGINAS: 413-419
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: High. Order Symb. Comput., VOLUME: 24, NÚMERO: 1-2, PÁGINAS: 115-149
AUTORES: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLICAÇÃO: 2011, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 35, NÚMERO: 4
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLICAÇÃO: 2011, FONTE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 195-196
AUTORES: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLICAÇÃO: 2011, FONTE: PEPM, PÁGINAS: 131-140
AUTORES: Campos, J. Creissac ; José M Machado;
PUBLICAÇÃO: 2011
HandleAUTORES: Ana Barbosa; Ana C R Paiva ; José Creissac Campos ;
PUBLICAÇÃO: 2011, FONTE: EICS, PÁGINAS: 175-184
AUTORES: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLICAÇÃO: 2011, FONTE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PÁGINAS: 278-282
AUTORES: Rodrigues, NF ; Oliveira, N; Barbosa, LS ;
PUBLICAÇÃO: 2011, FONTE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PÁGINAS: 83-+
AUTORES: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLICAÇÃO: 2011, FONTE: SDM, PÁGINAS: 687-698
AUTORES: Cunha, A ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, NÚMERO: 6, PÁGINAS: 516-539
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: SEFM, VOLUME: 7041 LNCS, PÁGINAS: 221-236
AUTORES: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLICAÇÃO: 2011, FONTE: FSEN, VOLUME: 7141 LNCS, PÁGINAS: 316-334
AUTORES: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PÁGINAS: 186-+
AUTORES: Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Rev., VOLUME: 5, NÚMERO: 3, PÁGINAS: 252-277
AUTORES: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLICAÇÃO: 2011, FONTE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, NÚMERO: 5, PÁGINAS: 66-78
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: Information Services and Use, VOLUME: 31, NÚMERO: 3-4, PÁGINAS: 177-187
CrossRefAUTORES: Maia, F ; Matos, M ; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 257-269
AUTORES: Almeida, JB ; Bangerter, E; Barbosa, M ; Krenn, S; Sadeghi, AR; Schneider, T;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PÁGINAS: 151-+