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: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PÁGINAS: 318-334
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
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; Proenca, 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: Ricardo Macedo ; Alberto Faria ; Joao Paulo ; Jose Pereira ;
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: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PÁGINAS: 75-84
AUTORES: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
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 Review, VOLUME: 16, NÚMERO: 2, PÁGINAS: 24-30
AUTORES: Sergey Goncharov; Renato Neves ;
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: Sergey Goncharov; Renato Neves ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1902.07684
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: Anisa Allahdadi ; Ricardo Morla ;
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 Domingos; João Leitão;
PUBLICAÇÃO: 2019, FONTE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PÁGINAS: 103-112
AUTORES: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, 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: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
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: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PÁGINAS: 61-70