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: 1685
149 Team MembersFilters -> Year: 2026
AUTORES: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G ; Domingos, H; Leitao, J;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 2, PÁGINAS: 1307-1319
AUTORES: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2022, FONTE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365, PÁGINAS: 37-52
AUTORES: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 25th International Symposium on Formal Methods, FM 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14000 LNCS, PÁGINAS: 122-141
AUTORES: Alves, Joao; Soares, Beatriz; Brito, Claudia ; Sousa, Antonio ;
PUBLICAÇÃO: 2022, FONTE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PÁGINAS: 195-206
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: FLAP, VOLUME: 9, NÚMERO: 1, PÁGINAS: 41-92
AUTORES: Neri, Ana ; Barbosa, Rui Soares; Oliveira, Jose N. ;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, NÚMERO: 11, PÁGINAS: 4339-4356
AUTORES: Jesús Rufino; Juan Ramirez; Carlos Baquero ; Jaya Champati; Davide Frey; Rosa Lillo; Antonio Fernandez Anta;
PUBLICAÇÃO: 2022
AUTORES: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227, PÁGINAS: 368-382
AUTORES: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; ...Mais
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9, PÁGINAS: 48-57
AUTORES: Ribeiro, DP ; Anjo, A; Henriques, PR ;
PUBLICAÇÃO: 2022, FONTE: International Conference on Applied Computing 2022 and WWW/Internet 2022 in International Conference on Applied Computing 2022 and WWW/Internet 2022, PÁGINAS: 139-147
AUTORES: Rua, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, PÁGINAS: 202:1-202:4
AUTORES: Salwa Ajel; Francisco Ribeiro; Ridha Ejbali; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: 22nd International Conference on Intelligent Systems Design and Applications, ISDA 2022 in Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2, VOLUME: 715, PÁGINAS: 586-595
AUTORES: Nélson Gonçalves; Rui Rua ; Jácome Cunha ; Rui Pereira ; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.11399
AUTORES: Bashford Rogers, T; Santos, LP ; Marnerides, D; Debattista, K;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON GRAPHICS, VOLUME: 41, NÚMERO: 1, PÁGINAS: 1-15
AUTORES: Kassam, Ziad ; Almeida, Paulo Sergio ; Shoker, Ali;
PUBLICAÇÃO: 2022, FONTE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), VOLUME: 2022-July, PÁGINAS: 1-10
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui ;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022, PÁGINAS: 17-27
AUTORES: Parente, Joao; Alonso, Ana Nunes ; Coelho, Fabio ; Vinagre, Joao ; Bastos, Paulo;
PUBLICAÇÃO: 2022, FONTE: 4th International Conference on Blockchain Computing and Applications (BCCA) in 2022 FOURTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA), PÁGINAS: 76-84
AUTORES: Rodrigues, Nuno; Mendes, Daniel ; Santos, Luis Paulo ; Bouatouch, Kadi;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 102
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLICAÇÃO: 2022, FONTE: FACS, VOLUME: 13712
AUTORES: Ribeiro, Francisco; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: International Workshop on Automated Program Repair (APR) in INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022), PÁGINAS: 38-45