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: 1495
150 Team MembersFilters -> Year: 2025
AUTORES: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PÁGINAS: 384-421
AUTORES: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PÁGINAS: 1-6
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2024, FONTE: ERCIM News, VOLUME: 139, NÚMERO: 138
![](/img/dblp_icon.png)
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, PÁGINAS: 400-401
AUTORES: Mendes, Joao; Lima, Solange Rito; Carvalho, Paulo; Silva, Joao Marco C. ;
PUBLICAÇÃO: 2024, FONTE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, WORLDCIST 2023, VOLUME: 799, PÁGINAS: 26-36
AUTORES: Santos, Sofia; Saraiva, Joao ; Ribeiro, Francisco;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, PÁGINAS: 42-45
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PÁGINAS: 138-142
AUTORES: Alícia Oliveira; Beatriz Cepa ; Cláudia Brito ; António Sousa;
PUBLICAÇÃO: 2024
![](/img/crossref.png)
AUTORES: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLICAÇÃO: 2024
![](/img/crossref.png)
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5, PÁGINAS: 1-11
AUTORES: Luís Maia; Marta Sá; Inês Ferreira; Simão Cunha; Luís Silva; Paulo Azevedo; João Saraiva ;
PUBLICAÇÃO: 2024, FONTE: 3rd International Workshop on Resource AWareness of Systems and Society, RAW 2024 in Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024., VOLUME: 3867, PÁGINAS: 34-43
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
AUTORES: José Oliveira ;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781, PÁGINAS: 56-76
![](/img/scopus_icon.png)
![](/img/crossref.png)
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2024, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, VOLUME: 15280, PÁGINAS: 22-30
AUTORES: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PÁGINAS: 199-215
AUTORES: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLICAÇÃO: 2024, FONTE: HELIYON, VOLUME: 10, NÚMERO: 1
AUTORES: Robin K Hill; Carlos Baquero ;
PUBLICAÇÃO: 2024, FONTE: Commun. ACM, VOLUME: 67, NÚMERO: 3, PÁGINAS: 8-10
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2024, FONTE: 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Liverpool, UK, September 2-6, 2024, PÁGINAS: 163-167
![](/img/dblp_icon.png)
AUTORES: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo; Abreu, Rui; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 32, NÚMERO: 4, PÁGINAS: 1539-1580
AUTORES: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024., PÁGINAS: 615-624
AUTORES: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8, PÁGINAS: 1-62
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)