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: Clayton Maciel Costa ; Cicilia Raquel M Maia Leite; Antonio Luis Sousa ;
PUBLICAÇÃO: 2016, FONTE: IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS) in PROCEEDINGS OF THE 2016 IEEE CONFERENCE ON EVOLVING AND ADAPTIVE INTELLIGENT SYSTEMS (EAIS), PÁGINAS: 114-121
AUTORES: Sara Fernandes; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the International Conference on Electronic Governance and Open Society Challenges in Eurasia - EGOSE '16
AUTORES: Sara Fernandes; Luís Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: EGOSE, PÁGINAS: 77-82
AUTORES: Martins, P ; Fernandes, JP ; Saraiva, J ; Van Wyk, E; Sloane, A;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PÁGINAS: 2-28
AUTORES: Cunha, J ; Fernandes, JP ; Martins, P; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 118, PÁGINAS: 234-250
AUTORES: Zawirski, M; Baquero, C ; Bieniusa, A; Preguiça, N ; Shapiro, M;
PUBLICAÇÃO: 2016, FONTE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PÁGINAS: 9:1-9:3
AUTORES: Oliveira, A; Perdigao, C; Santos, LP ; Proenca, A ;
PUBLICAÇÃO: 2016, FONTE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PÁGINAS: 23-30
AUTORES: Muschevici, R; Proença, J ; Clarke, D;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4, PÁGINAS: 1181-1206
AUTORES: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, NÚMERO: 2, PÁGINAS: 303-316
AUTORES: Silva, RABE; Arai, NN; Burgareli, LA; de Oliveira, JMP; Pinto, JS ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, NÚMERO: 3, PÁGINAS: 1163-1179
AUTORES: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, NÚMERO: 2, PÁGINAS: 53-68
AUTORES: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2016, FONTE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PÁGINAS: 41-67
AUTORES: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLICAÇÃO: 2016, FONTE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PÁGINAS: 245-260
AUTORES: Morla, R ; Gonçalves, P; Barbosa, JG ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 72, NÚMERO: 11, PÁGINAS: 4107-4128
AUTORES: Ramachandran, GS; Proenca, J ; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, NÚMERO: 1, PÁGINAS: 4:1-4:15
AUTORES: Coelho, F ; Pereira, J ; Vilaça, R ; Oliveira, R ;
PUBLICAÇÃO: 2016, FONTE: 16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, DAIS 2016, VOLUME: 9687, PÁGINAS: 75-81
AUTORES: Neves, R ; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965, PÁGINAS: 385-402
AUTORES: Georges Younes ; Ali Shoker ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2016, FONTE: PMLDC@ECOOP, VOLUME: 17-July-2016, PÁGINAS: 7
AUTORES: Vitor Enes ; Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLICAÇÃO: 2016, FONTE: PMLDC@ECOOP, VOLUME: 17-July-2016, PÁGINAS: 6
AUTORES: Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2016, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 3, PÁGINAS: 783-810