High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
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: 1551
150 Team MembersFilters -> Year: 2024
AUTHORS: de Oliveira, M; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: FOUNDATIONS OF SCIENCE
AUTHORS: Tavares, C ; Oliveira, S; Fernandes, V ; Postnikov, A; Vasilevskiy, MI;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6807-6830
AUTHORS: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 125416-125427
AUTHORS: Pereira, R ; Couto, M ; Ribeiro, F ; Rua, R ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 205, PAGES: 102609
AUTHORS: Francisco Freitas; André Ferreira; Jácome Cunha ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, PAGES: 100-107
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2021, SOURCE: International Journal of Robotic Computing, VOLUME: 3, ISSUE: 1, PAGES: 22-46
AUTHORS: Mariana Miranda ; Tânia Esteves ; Bernardo Portela ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PAGES: 14:1-14:12
AUTHORS: Tânia Esteves; Mariana Miranda ; João Paulo ; Bernardo Portela ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 683
AUTHORS: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguica, N;
PUBLISHED: 2021, SOURCE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21), PAGES: 6-15
AUTHORS: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 824
AUTHORS: Hill, RK; Baquero, C ;
PUBLISHED: 2021, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 64, ISSUE: 12, PAGES: 14-15
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2021, SOURCE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, PAGES: 777-795
AUTHORS: Cláudia Brito; Pedro Ferreira; Bernardo Portela ; Rui Oliveira; João Paulo ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 966
AUTHORS: Couto, M ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, VOLUME: 11, ISSUE: 1, PAGES: 13
AUTHORS: Ribeiro, E; Sampaio, A; Goncalves, MM; Taveira, MD; Cunha, J ; Maia, A; Matos, M; Goncalves, S; Figueiredo, B; Freire, T; Soares, T;
PUBLISHED: 2021, SOURCE: COUNSELLING PSYCHOLOGY QUARTERLY, VOLUME: 34, ISSUE: 3-4, PAGES: 432-446
AUTHORS: Macedo, R ; Correia, C ; Dantas, M ; Brito, C ; Xu, WJ; Tanimura, Y; Haga, J; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 649-656
AUTHORS: Baquero, C ; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;
PUBLISHED: 2021, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 3, PAGES: 641237
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), PAGES: 37-40
AUTHORS: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLISHED: 2021, SOURCE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021, PAGES: 81-83
AUTHORS: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: Microprocess. Microsystems, VOLUME: 87, PAGES: 104349