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: 1641
149 Team MembersFilters -> Year: 2026
AUTORES: Abdalla, M; Barbosa, M ; Bradley, T; Jarecki, S; Katz, J; Xu, JY;
PUBLICAÇÃO: 2020, FONTE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PÁGINAS: 278-307
AUTORES: Cunha, A ; Macedo, N ; Liu, C;
PUBLICAÇÃO: 2020, FONTE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PÁGINAS: 318-334
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254
AUTORES: Nandi, GS; Pereira, D; Proença, J ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December, PÁGINAS: 395-398
AUTORES: Macedo, R ; Faria, A ; Paulo, J ; Pereira, J ;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PÁGINAS: 7-12
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2019, FONTE: FormaliSE@ICSE, PÁGINAS: 75-84
AUTORES: Araújo, JM; Couto, R ; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PÁGINAS: 32-39
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PÁGINAS: 63-78
AUTORES: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PÁGINAS: 56-63
AUTORES: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: SIGBED Rev., VOLUME: 16, NÚMERO: 2, PÁGINAS: 24-30
AUTORES: Goncharov, S; Neves, R ;
PUBLICAÇÃO: 2019, FONTE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PÁGINAS: 11:1-11:15
AUTORES: Ricardo F Silva; Paulo Carvalho ; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PÁGINAS: 373-384
AUTORES: Allahdadi, A ; Morla, R ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, NÚMERO: 1, PÁGINAS: 3-38
AUTORES: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique João L Domingos; João Leitão;
PUBLICAÇÃO: 2019, FONTE: SRDS, PÁGINAS: 103-112
AUTORES: Luiz Fernando Puttow Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLICAÇÃO: 2019, FONTE: ETFA, VOLUME: 2019-September, PÁGINAS: 370-377
AUTORES: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PÁGINAS: 1608-+
AUTORES: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLICAÇÃO: 2019, FONTE: Encyclopedia of Big Data Technologies, PÁGINAS: 491-500
AUTORES: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2019, FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PÁGINAS: 250-266
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: SRDS, PÁGINAS: 61-70