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: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLICAÇÃO: 2024, FONTE: ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024, PÁGINAS: 151-161
AUTORES: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
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: 183-217
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTORES: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe; Ribeiro, Ricardo Mendes;
PUBLICAÇÃO: 2024, FONTE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PÁGINAS: 108972
AUTORES: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki; Marjan Skrobot;
PUBLICAÇÃO: 2024, FONTE: 30th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2024 in Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part V, VOLUME: 15488, PÁGINAS: 3-33
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
AUTORES: Mariana Miranda; Yusuke Tanimura; Jason Haga; Amit Ruhela; Stephen Lien Harrell; John Cazes; Ricardo Macedo ; José Pereira; João Paulo ;
PUBLICAÇÃO: 2024, FONTE: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, Atlanta, GA, USA, November 17-22, 2024, PÁGINAS: 861-868
AUTORES: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.17588
![](/img/dblp_icon.png)
AUTORES: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLICAÇÃO: 2024, FONTE: EICS (Companion)
![](/img/dblp_icon.png)
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2401.14244
![](/img/dblp_icon.png)
AUTORES: Meruje Ferreira, Luis Manuel ; Coelho, Fabio ; Pereira, Jose ;
PUBLICAÇÃO: 2024, FONTE: ACM COMPUTING SURVEYS, VOLUME: 56, NÚMERO: 11, PÁGINAS: 285:1-285:40
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.13633
![](/img/dblp_icon.png)
AUTORES: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1, PÁGINAS: 1
AUTORES: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8, PÁGINAS: 1242
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTORES: Manfred Broy; Achim D Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes ; André Platzer; Jan Oliver Ringert; Allison Sullivan;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Computing, VOLUME: 37, NÚMERO: 1, PÁGINAS: 1-17
AUTORES: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLICAÇÃO: 2024, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PÁGINAS: 177-182
AUTORES: Lucas, Walter; Carvalho, Fausto; Nunes, Rafael Campos; Bonifacio, Rodrigo; Saraiva, Joao ; Accioly, Paola;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 36, NÚMERO: 5
AUTORES: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLICAÇÃO: 2024, FONTE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PÁGINAS: 34-43
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PÁGINAS: 179-197
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic, PÁGINAS: 583-615
![](/img/crossref.png)
![](/img/unpaywall-green-xs.png)
AUTORES: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLICAÇÃO: 2024, FONTE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PÁGINAS: 181-196
AUTORES: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2024, FONTE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
![](/img/dblp_icon.png)