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: 1464
150 Team MembersFilters -> Year: 2024
AUTHORS: Barbosa, L ; Cunha, J ; Visser, J;
PUBLISHED: 2007, SOURCE: SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors: 6th ESEC(European Software Engineering Conference)/FSE(Foundations of Software Engineering) Joint Meeting in SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors - In conjunction with the 6th ESEC/FSE Joint Meeting, PAGES: 23-36
AUTHORS: Pinto, H; Jose, R ; Campos, JC ;
PUBLISHED: 2007, SOURCE: IEEE International Conference on Pervasive Services in 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES, PAGES: 232-+
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 181, ISSUE: 1, PAGES: 49-61
AUTHORS: Lemos, OAL; Bajracharya, SK; Ossher, J; Morla, RS ; Masiero, PC; Baldi, P; Lopes, CV;
PUBLISHED: 2007, SOURCE: 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 in ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering, PAGES: 525-526
AUTHORS: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323, PAGES: 137-150
AUTHORS: Paulo J Azevedo ; Alipio M Jorge ;
PUBLISHED: 2007, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in Machine Learning: ECML 2007, Proceedings, VOLUME: 4701, PAGES: 510-517
AUTHORS: Barbosa, M ; Moss, A; Page, D;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPIS, DOA, ODBASE, GADA, AND IS, PT 2, PROCEEDINGS, VOLUME: 4804, ISSUE: PART 2, PAGES: 1785-1802
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page;
PUBLISHED: 2007, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2007, PAGES: 53
AUTHORS: Riviere, E; Baldoni, R; Li, H; Pereira, J ;
PUBLISHED: 2007, SOURCE: Gossip-Based Computer Networking in Operating Systems Review (ACM), VOLUME: 41, ISSUE: 5, PAGES: 43-50
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, ISSUE: 2, PAGES: 39-57
AUTHORS: Pablo Berdaguer; Alcino Cunha ; Hugo Pacheco ; Joost Visser;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354, PAGES: 290-304
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2007, SOURCE: Successes and New Directions in Data Mining, PAGES: 116-140
AUTHORS: Nuno Carvalho; Jose Pereira ; Rui Oliveira ; Luis Rodrigues ;
PUBLISHED: 2007, SOURCE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 481-490
AUTHORS: Leitao, J ; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2007, SOURCE: 26th IEEE International Symposium on Reliable Distributed Systems in SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 301-310
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2007, SOURCE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 2, ISSUE: 1, PAGES: 16
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2007, SOURCE: IEEE Symposium on Computational Intelligence and Data Mining in 2007 IEEE Symposium on Computational Intelligence and Data Mining, Vols 1 and 2, PAGES: 171-178
AUTHORS: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLISHED: 2007, SOURCE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings, PAGES: 107-116
AUTHORS: Correia, A; Pereira, J ; Rodrigues, L ; Carvalho, N; Vilaca, R ; Oliveira, R ; Guedes, S;
PUBLISHED: 2007, SOURCE: 6th IEEE International Symposium on Network Computing and Applications in Sixth IEEE International Symposium on Network Computing and Applications, Proceedings, PAGES: 287-290
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2007, SOURCE: 11th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6, PAGES: 854-873
AUTHORS: Jodo Leitao ; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2007, SOURCE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 419-428