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: 1486
150 Team MembersFilters -> Year: 2024
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2018, PÁGINAS: 547
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2018, FONTE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991, PÁGINAS: 187-220
AUTORES: Rui Pereira ; Pedro Simão; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2018, FONTE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PÁGINAS: 856-859
AUTORES: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PÁGINAS: 359-366
AUTORES: Renato Neves ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 113-142
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PÁGINAS: 55-63
AUTORES: Rui M S Pereira; Sofia Lopes; Amelia Caldeira; Victor Fonte ;
PUBLICAÇÃO: 2018, FONTE: SUSTAINABILITY, VOLUME: 10, NÚMERO: 12, PÁGINAS: 4648
AUTORES: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLICAÇÃO: 2018, FONTE: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, PÁGINAS: 1757-1766
AUTORES: Santo, JE; Frade, MJ ; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
AUTORES: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLICAÇÃO: 2018, FONTE: INFORMATION FUSION, VOLUME: 40, PÁGINAS: 112-125
AUTORES: Ivano Malavolta; Rick Kazman; João Saraiva ;
PUBLICAÇÃO: 2018, FONTE: GREENS@ICSE
AUTORES: Rui Oliveira ; Pascal Felber; Charlie C Hu;
PUBLICAÇÃO: 2018, FONTE: EuroSys
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PÁGINAS: 15-44
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 56-62
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PÁGINAS: 397-402
AUTORES: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PÁGINAS: 308-311
AUTORES: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PÁGINAS: 308-311
AUTORES: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415, PÁGINAS: 74-88
AUTORES: Ribeiro, R; Santos, LP ; Nobrega, JM;
PUBLICAÇÃO: 2018, FONTE: International Conference on High Performance Computing & Simulation (HPCS) in PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), PÁGINAS: 390-397
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, NÚMERO: 4, PÁGINAS: 379-395