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: 1642
149 Team MembersFilters -> Year: 2026
AUTORES: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2020, FONTE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PÁGINAS: 102379
AUTORES: Macedo, R ; Paulo, J ; Pereira, J ; Bessani, A ;
PUBLICAÇÃO: 2020, FONTE: ACM COMPUTING SURVEYS, VOLUME: 53, NÚMERO: 3, PÁGINAS: 48:1-48:38
AUTORES: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.03147
AUTORES: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.07759
AUTORES: José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2020, FONTE: COORDINATION, VOLUME: 12134 LNCS, PÁGINAS: 39-56
AUTORES: Neves, F ; Vilaça, R ; Pereira, J ;
PUBLICAÇÃO: 2020, FONTE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PÁGINAS: 259-266
AUTORES: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 95-103
AUTORES: Carlos Baquero ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2012.09086
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLICAÇÃO: 2020, FONTE: INDOCRYPT, VOLUME: 12578 LNCS, PÁGINAS: 107-127
AUTORES: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa E Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...Mais
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.12783
AUTORES: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLICAÇÃO: 2020, FONTE: HCI (48), VOLUME: 1293, PÁGINAS: 176-183
AUTORES: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLICAÇÃO: 2020, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, NÚMERO: 3, PÁGINAS: 101493
AUTORES: Bruno Dantas; Paulo Carvalho ; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in NEW2AN/ruSMART (2), VOLUME: 12526 LNCS, PÁGINAS: 95-109
AUTORES: Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R ;
PUBLICAÇÃO: 2020, FONTE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, NÚMERO: 3, PÁGINAS: 17-22
AUTORES: Luís Soares Barbosa ; Alexandru Baltag;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
CrossRef
OpenlibraryAUTORES: Luís Soares Barbosa ; Alexandru Baltag;
PUBLICAÇÃO: 2020, FONTE: DaLí, VOLUME: 12005
AUTORES: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PÁGINAS: 170-177
AUTORES: Silva, JM ; Carvalho, P ; Bispo, KA; Lima, SR;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, NÚMERO: 10
AUTORES: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PÁGINAS: 1-6
AUTORES: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLICAÇÃO: 2020, FONTE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PÁGINAS: 467-472