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: 1486
150 Team MembersFilters -> Year: 2024
AUTORES: Nuno M. Preguiça; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.5808
AUTORES: Azevedo, PJ ; Jorge, AM ;
PUBLICAÇÃO: 2010, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 21, NÚMERO: 1, PÁGINAS: 91-129
AUTORES: Ferreira, V; Santos, LP ; Simoes, R ; Franzen, M; Ghouati, OO;
PUBLICAÇÃO: 2010, FONTE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PÁGINAS: 63-68
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLICAÇÃO: 2010, FONTE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PÁGINAS: 37-43
AUTORES: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLICAÇÃO: 2010, FONTE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, NÚMERO: PART 1, PÁGINAS: 46-51
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PÁGINAS: 3
AUTORES: Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PÁGINAS: 331-352
AUTORES: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PÁGINAS: 105-112
AUTORES: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
AUTORES: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLICAÇÃO: 2010, FONTE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PÁGINAS: 1-8
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PÁGINAS: 271-287
AUTORES: Nuno A Carvalho; Jose Pereira ;
PUBLICAÇÃO: 2010, FONTE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, NÚMERO: PART 2, PÁGINAS: 829-842
AUTORES: Joshi, A; Oliveira, R ; Prakash, A;
PUBLICAÇÃO: 2010, FONTE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
AUTORES: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, NÚMERO: PART 2, PÁGINAS: 191-205
AUTORES: Morla, R ; Massa, D;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PÁGINAS: 195-200
AUTORES: Castro, N ; Azevedo, P ;
PUBLICAÇÃO: 2010, FONTE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PÁGINAS: 665-676
AUTORES: Leitao, J; Carvalho, NA; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLICAÇÃO: 2010, FONTE: Handbook of Peer-to-Peer Networking, PÁGINAS: 327-365
AUTORES: Ricardo Vilaça ; Francisco Cruz ; Rui Carlos Oliveira ;
PUBLICAÇÃO: 2010, FONTE: On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II, VOLUME: 6427, PÁGINAS: 727-744
AUTORES: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLICAÇÃO: 2010, FONTE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, NÚMERO: PART 2, PÁGINAS: 727-744
AUTORES: Ernesto Damiani; Luis Barbosa ; Peter T Breuer; Claudio A Ardagna;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, NÚMERO: 4, PÁGINAS: 271-272