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: 1551
150 Team MembersFilters -> Year: 2024
AUTHORS: Zirun R Zhu; Hsiang Shang Ko; Yongzhe Z Zhang; Pedro Martins; Joao Saraiva ; Zhenjiang J Hu;
PUBLISHED: 2020, SOURCE: NEW GENERATION COMPUTING, VOLUME: 38, ISSUE: 3, PAGES: 423-476
AUTHORS: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Xu;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PAGES: 320
AUTHORS: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Y Xu;
PUBLISHED: 2020, SOURCE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PAGES: 278-307
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 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, PAGES: 318-334
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
AUTHORS: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December, PAGES: 395-398
AUTHORS: Ricardo Macedo ; Alberto Faria ; Joao Paulo ; Jose Pereira ;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PAGES: 7-12
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 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., PAGES: 75-84
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, VOLUME: 11424, PAGES: 79-97
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.03074
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78
AUTHORS: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 56-63
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2, PAGES: 24-30
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: 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), PAGES: 11:1-11:15
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384
AUTHORS: Ricardo F Silva; Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: 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, PAGES: 373-384
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38