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: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PÁGINAS: 153-156
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PÁGINAS: 203-204
AUTORES: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PÁGINAS: 625-628
AUTORES: Barbosa, LS ; Lumpe, M;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, NÚMERO: P3, PÁGINAS: 253-254
AUTORES: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PÁGINAS: 343-358
AUTORES: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLICAÇÃO: 2014, FONTE: AAAI Spring Symposia, VOLUME: SS-14-02, PÁGINAS: 62-67
AUTORES: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLICAÇÃO: 2014, FONTE: PEPM, PÁGINAS: 63-70
AUTORES: Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 16th International Conference on Human-Computer Interaction (HCI) in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, VOLUME: 8521, NÚMERO: PART 1, PÁGINAS: 419-430
AUTORES: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLICAÇÃO: 2014, FONTE: EICS, PÁGINAS: 299-300
AUTORES: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLICAÇÃO: 2014, FONTE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PÁGINAS: 52-62
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1407.8546
AUTORES: Matos, M ; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R ;
PUBLICAÇÃO: 2014, FONTE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PÁGINAS: 1-10
AUTORES: Dongxiao X He; Di Jin; Carlos Baquero ; Dayou Y Liu;
PUBLICAÇÃO: 2014, FONTE: PLOS ONE, VOLUME: 9, NÚMERO: 1
AUTORES: Baquero, C ; Almeida, PS ; Shoker, A ;
PUBLICAÇÃO: 2014, FONTE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PÁGINAS: 126-140
AUTORES: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLICAÇÃO: 2014, FONTE: PaPEC@EuroSys, PÁGINAS: 7:1-7:2
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PÁGINAS: 31-33
HandleAUTORES: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, NÚMERO: P2, PÁGINAS: 254-275
AUTORES: Orlando Belo ; José Luis Faria ; António Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLICAÇÃO: 2014, FONTE: ICEGOV, VOLUME: 2014-January, PÁGINAS: 288-291
AUTORES: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: PEPM, PÁGINAS: 39-50
AUTORES: Felber, P; Pasin, M; Rivière, É; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaça, R ;
PUBLICAÇÃO: 2014, FONTE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PÁGINAS: 95-104