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: 1659
149 Team MembersFilters -> Year: 2026
AUTORES: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLICAÇÃO: 2020, FONTE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, VOLUME: 96, NÚMERO: 12, PÁGINAS: 939-956
AUTORES: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 104-120
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: Dantas, B; Carvalho, P ; Lima, SR; Silva, JMC ;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12526 LNCS, PÁGINAS: 95-109
AUTORES: Bruno Dantas; Paulo Carvalho; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part II, VOLUME: 12526, 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