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: 1680
149 Team MembersFilters -> Year: 2026
AUTORES: Gonçalves, R; Saraiva, J ; Belo, O ;
PUBLICAÇÃO: 2014, FONTE: IEEE Fourth International Conference on Big Data and Cloud Computing (BdCloud) in 2014 IEEE FOURTH INTERNATIONAL CONFERENCE ON BIG DATA AND CLOUD COMPUTING (BDCLOUD), PÁGINAS: 641-647
AUTORES: Tiago Abade; Tiago Gomes; José Luís Silva ; José Creissac Campos ;
PUBLICAÇÃO: 2014, FONTE: HCI (21), VOLUME: 8530 LNCS, PÁGINAS: 307-318
AUTORES: Couto, M ; Carçao, T; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 18th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2014, VOLUME: 8771, PÁGINAS: 77-91
AUTORES: Machado, J ; Campos, JC ;
PUBLICAÇÃO: 2014, FONTE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16, PÁGINAS: 125-131
AUTORES: Paulo, J ; Pereira, J ;
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: 52-66
AUTORES: Luis Unzueta; Waldir Pimenta; Jon Goenetxea; Luis Paulo Santos ; Fadi Dornaika;
PUBLICAÇÃO: 2014, FONTE: IMAGE AND VISION COMPUTING, VOLUME: 32, NÚMERO: 5, PÁGINAS: 321-334
AUTORES: Paulo Sérgio Almeida ; Ali Shoker ; Carlos Baquero ;
PUBLICAÇÃO: 2014, FONTE: PaPEC@EuroSys, PÁGINAS: 3:1-3:2
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