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: 1489
150 Team MembersFilters -> Year: 2024
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
AUTORES: Alfranio Correia; Jose Pereira ; Luis Rodrigues ; Nuno Carvalho; Rui Oliveira ;
PUBLICAÇÃO: 2010, FONTE: Seminar on 30-Year Perspective on Replication 2007 in REPLICATION: THEORY AND PRACTICE, VOLUME: 5959, PÁGINAS: 253-285
AUTORES: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
AUTORES: Debattista, K; Proenca, AJ ; Santos, LP ;
PUBLICAÇÃO: 2010, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 34, NÚMERO: 6, PÁGINAS: 641-642
AUTORES: Luciana L Freire; Pedro M Arezes ; Jose Creissac Campos ;
PUBLICAÇÃO: 2010, FONTE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PÁGINAS: 256-260
AUTORES: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PÁGINAS: 97-110
AUTORES: Luis S Barbosa ; Sun Meng;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PÁGINAS: 1008-1013
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PÁGINAS: 145-163
AUTORES: Paulo J Azevedo ;
PUBLICAÇÃO: 2010, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, NÚMERO: 6, PÁGINAS: 623-640
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
AUTORES: Francisco Maia ; Jose E Enrique Armendariz Inigo; Idoia Ruiz Fuertes, MI; 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: 785-797
AUTORES: Mario Ferreira; Ricardo Morla ;
PUBLICAÇÃO: 2010, FONTE: 20th ACM Workshop on Network and Operating System Support for Digital Audio and Video in NOSSDAV 2010: PROCEEDINGS OF THE 20TH INTERNATIONAL WORKSHOP ON NETWORK AND OPERATING SYSTEMS SUPPORT FOR DIGITAL AUDIO AND VIDEO, PÁGINAS: 3-8
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2010, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 75, NÚMERO: 10, PÁGINAS: 828-847
AUTORES: Miguel Matos ; Ana Nunes ; Rui Oliveira ; José Pereira ;
PUBLICAÇÃO: 2010, FONTE: 9th International Workshop on Peer-to-Peer Systems, IPTPS 2010 in Proceedings of the 9th international conference on Peer-to-peer systems, IPTPS'10, San Jose, CA, USA, April 27, 2010, PÁGINAS: 9
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PÁGINAS: 164-181
AUTORES: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409, PÁGINAS: 6-21
AUTORES: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLICAÇÃO: 2010, FONTE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PÁGINAS: 181-186
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 2045-2046