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: 1675
149 Team MembersFilters -> Year: 2026
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
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: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PÁGINAS: 100919
AUTORES: Miranda, Mariana; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Cazes, John; Macedo, Ricardo ; Pereira, Jose ; Paulo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 2024 Workshops of the International Conference for High Performance Computing Networking Storage and Analysis-SC-W in PROCEEDINGS OF SC24-W: WORKSHOPS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, PÁGINAS: 861-868
AUTORES: Paula Pereira; Jácome Cunha ; João Paulo Fernandes;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.12225
AUTORES: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.17588
AUTORES: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLICAÇÃO: 2024, FONTE: EICS (Companion)
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLICAÇÃO: 2024
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
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
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: Silva, Carlos A. M. ; Bessa, Ricardo J. ; Andrade, Jose R. ; Coelho, Fabio A. ; Costa, Rafael B.; Silva, Carlos Damas; Vlachodimitropoulos, George; Stavropoulos, Donatos; Chadoulos, Spiros; Rua, David E.;
PUBLICAÇÃO: 2024, FONTE: ISCIENCE, VOLUME: 27, NÚMERO: 12, PÁGINAS: 111430
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
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
CrossRef
UnpaywallAUTORES: 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