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: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8, PÁGINAS: 802-822
AUTORES: Sérgio F Lopes; Rui M S Pereira; Sofia O Lopes; Micael Coutinho; Aureliano Malheiro; Victor Fonte ;
PUBLICAÇÃO: 2019, FONTE: Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PÁGINAS: 337-346
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Caitlin Kelleher; Gregor Engels; Jorge Mendes ;
PUBLICAÇÃO: 2018, FONTE: VL/HCC
AUTORES: Cambeiro, J; Gomes, C; Amaral, V; Rodrigues, A; Cunha, J ;
PUBLICAÇÃO: 2018, FONTE: 4th IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) in 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), PÁGINAS: 41-44
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: COMPSAC (1), VOLUME: 1, PÁGINAS: 194-203
AUTORES: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 78-96
AUTORES: Zilhao, L; Morla, R ; Aguiar, A ;
PUBLICAÇÃO: 2018, FONTE: 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2018 IEEE 19TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 14-19
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination, VOLUME: 10865 LNCS, PÁGINAS: 57-67
AUTORES: Bernardo Portela ;
PUBLICAÇÃO: 2018
AUTORES: Barbosa, LS ; Madeira, A ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113, PÁGINAS: 44-45
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CONCUR, VOLUME: 118, PÁGINAS: 22:1-22:17
AUTORES: Cledou, G ; Estevez, E; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, NÚMERO: 1, PÁGINAS: 61-76
AUTORES: Rei, J; Brito, C ; Sousa, A ;
PUBLICAÇÃO: 2018, FONTE: 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018 in Proceedings - 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, PÁGINAS: 405-411
AUTORES: Carlos Pereira; João Cardoso; Ana Aguiar ; Ricardo Morla ;
PUBLICAÇÃO: 2018, FONTE: J. Reliab. Intell. Environ., VOLUME: 4, NÚMERO: 1, PÁGINAS: 25-37
AUTORES: Guilherme Borges; Henrique João L Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira; Bernardo Portela ;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2018, PÁGINAS: 588
AUTORES: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ICEGOV, PÁGINAS: 118-126
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1804.04145
AUTORES: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLICAÇÃO: 2018, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, NÚMERO: 1
AUTORES: Almeida, PS ; Shoker, A ; Baquero, C ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 111, PÁGINAS: 162-173
AUTORES: Teixeira, DR; Silva, JMC ; Lima, SR;
PUBLICAÇÃO: 2018, FONTE: 26th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2018 26TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PÁGINAS: 164-169