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: 1490
150 Team MembersFilters -> Year: 2024
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Commun. Cryptol., VOLUME: 1, NÚMERO: 1, PÁGINAS: 21
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PÁGINAS: 39
AUTORES: Macedo, Jose Nuno; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PÁGINAS: 111975
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.00703
AUTORES: Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, NÚMERO: 6, PÁGINAS: 1681-1691
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.02082
AUTORES: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLICAÇÃO: 2023, FONTE: Swarm Evol. Comput., VOLUME: 83, PÁGINAS: 101422
AUTORES: Freitas, Francisco; Ferreira, Andre; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 75, PÁGINAS: 101205
AUTORES: Frade, Maria Joao ; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133, PÁGINAS: 100871
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2023, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 66, NÚMERO: 9, PÁGINAS: 8-9
AUTORES: Brunel, Julien; Chemouil, David; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PÁGINAS: 212-219
AUTORES: Pedro Moreira ; António Ribeiro; João Marco C Silva ;
PUBLICAÇÃO: 2023, FONTE: 28th IEEE Symposium on Computers and Communications, ISCC 2023 in IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, VOLUME: 2023-July, PÁGINAS: 405-410
AUTORES: Palanque, Philippe; Campos, Jose Creissac ;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PÁGINAS: 265-283
AUTORES: Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre; Cunha, Alcino ; Pereira, Jose ; Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, VOLUME: 13910, PÁGINAS: 3-20
AUTORES: Waldson Rodrigues Cardoso; João Marco Silva ; Admilson de Ribamar Lima Ribeiro;
PUBLICAÇÃO: 2023, FONTE: SSRN Electronic Journal
AUTORES: Lucio Davide Spano; José Creissac Campos ; Anke Dittmar; Peter Forbrig;
PUBLICAÇÃO: 2023, FONTE: Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I, VOLUME: 14535, PÁGINAS: 183-200
AUTORES: Rodrigues, Luis ; Faria, Diogo; Coelho, Fabio ; Mello, Joao ; Saraiva, Joao T. ; Villar, Jose ; Bessa, Ricardo J. ;
PUBLICAÇÃO: 2023, FONTE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
AUTORES: Trevisan, Martino; Soro, Francesca; Mellia, Marco; Drago, Idilio; Morla, Ricardo ;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON INTERNET TECHNOLOGY, VOLUME: 23, NÚMERO: 1, PÁGINAS: 1-22
AUTORES: Ribeiro, Francisco ; Macedo, Jose Nuno ; Tsushima, Kanae;
PUBLICAÇÃO: 2023, FONTE: 3rd IEEE/ACM International Workshop on Automated Program Repair (APR) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR, PÁGINAS: 21-22
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PÁGINAS: 100811