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: 1499
150 Team MembersFilters -> Year: 2025
AUTORES: Beernaert, L; Matos, M ; Vilaca, R ; Oliveira, R ;
PUBLICAÇÃO: 2012, FONTE: 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012 in Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
AUTORES: Hugo Pacheco ;
PUBLICAÇÃO: 2012
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PÁGINAS: 105-120
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PÁGINAS: 313-330
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.2746
AUTORES: Nuno Preguiça ; Carlos Bauqero; Paulo Sérgio Almeida; Victor Fonte ; Ricardo Gonçalves;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
AUTORES: Preguica, N ; Bauqero, C ; Almeida, PS ; Fonte, V ; Goncalves, R;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PÁGINAS: 335-336
AUTORES: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLICAÇÃO: 2012, FONTE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PÁGINAS: 441-442
AUTORES: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PÁGINAS: 983-994
AUTORES: Silva, CE; Campos, JC ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Human-Centered Software Engineering, HCSE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7623 LNCS, PÁGINAS: 112-129
AUTORES: Ricardo Manuel Pereira Vilaça ;
PUBLICAÇÃO: 2012
AUTORES: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLICAÇÃO: 2012, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, NÚMERO: 1
AUTORES: Paulo, J ; Reis, P; Pereira, J ; Sousa, A ;
PUBLICAÇÃO: 2012, FONTE: Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7566 LNCS, NÚMERO: PART 2, PÁGINAS: 584-601
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PÁGINAS: 296-312
AUTORES: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLICAÇÃO: 2012, FONTE: ECEASST, VOLUME: 49
AUTORES: Goschka, KM; Tosic, V; Pereira, JO ; Hung, PCK;
PUBLICAÇÃO: 2012, FONTE: 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2012 - Co-located with the 13th ACM/IFIP/USENIX International Middleware Conference, Middleware 2012 in Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2012 - Co-located with the 13th ACM/IFIP/USENIX International Middleware Conference, Middleware 2012
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 476-477
AUTORES: Tork, HF ; Oliveira, M; Gama, J ; Malinowski, S; Morla, R ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 8-12
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2012 in ACM International Conference Proceeding Series, PÁGINAS: 475-476