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: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778, PÁGINAS: 143-161
AUTORES: Anisa Allandadi; Ricardo Morla ; Ana Aguiart ; Jaime S Cardoso ;
PUBLICAÇÃO: 2013, FONTE: 38th Annual IEEE Conference on Local Computer Networks (LCN) in PROCEEDINGS OF THE 2013 38TH ANNUAL IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS WORKSHOPS (LCN WORKSHOPS), PÁGINAS: 1-8
AUTORES: Lammel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2013, FONTE: 4th International Summer School on Generative and Transformational Techniques in Software Engineering IV, GTTSE 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7680 LNCS
AUTORES: Karl M Göschka; José Orlando Pereira ; Patrick C K Hung;
PUBLICAÇÃO: 2013, FONTE: 8th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2013 - Co-located with the 14th ACM/IFIP/USENIX International Middleware Conference, Middleware 2013 in MW4NextGen@Middleware
AUTORES: Cunha, Jacome ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2013, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), PÁGINAS: 83-86
AUTORES: Belo, Orlando ; Cunha, Jacorne ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2013, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), PÁGINAS: 199-200
AUTORES: Oliveira, N; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7843 LNCS, PÁGINAS: 134-149
AUTORES: Miguel Matos ; Pascal Felber; Rui Oliveira ; Jose O Pereira ; Etienne Riviere;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 24, NÚMERO: 12, PÁGINAS: 2462-2471
AUTORES: Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere;
PUBLICAÇÃO: 2013, FONTE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PÁGINAS: 124-133
AUTORES: Andre Santos; Joao Saraiva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 8, PÁGINAS: 1119-1120
AUTORES: Goeschka, KM; Oliveira, R ; Pietzuch, P; Russello, G;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 413-414
AUTORES: Marques, R; Bouville, C; Ribardiere, M; Santos, LP ; Bouatouch, K;
PUBLICAÇÃO: 2013, FONTE: COMPUTER GRAPHICS FORUM, VOLUME: 32, NÚMERO: 8, PÁGINAS: 134-143
AUTORES: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M. Preguiça ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.3107
AUTORES: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLICAÇÃO: 2013, FONTE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PÁGINAS: 144-153
AUTORES: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PÁGINAS: 367-368
AUTORES: Abal, I; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PÁGINAS: 132-133
AUTORES: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, NÚMERO: 6, PÁGINAS: 427-437
AUTORES: Macedo, HD; Oliveira, JN ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 11, PÁGINAS: 2160-2191
AUTORES: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLICAÇÃO: 2013, FONTE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings, PÁGINAS: 111-122
AUTORES: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), PÁGINAS: 135-138