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: Rui Rua ; Marco Couto ; Adriano Pinto; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2019, FONTE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PÁGINAS: 279-292
AUTORES: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
PUBLICAÇÃO: 2019, FONTE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19), PÁGINAS: 22:1-22:6
AUTORES: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
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: 25-30
AUTORES: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8, PÁGINAS: 802-822
AUTORES: Sérgio F Lopes; Rui M S Pereira; Sofia O Lopes; Micael Coutinho; Aureliano Malheiro; Victor Fonte ;
PUBLICAÇÃO: 2019, FONTE: Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PÁGINAS: 337-346
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Caitlin Kelleher; Gregor Engels; Jorge Mendes ;
PUBLICAÇÃO: 2018, FONTE: VL/HCC
AUTORES: Cambeiro, J; Gomes, C; Amaral, V; Rodrigues, A; Cunha, J ;
PUBLICAÇÃO: 2018, FONTE: 4th IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) in 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), VOLUME: Part F138012, PÁGINAS: 41-44
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1, PÁGINAS: 194-203
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 78-96
AUTORES: Zilhao, L; Ricardo Morla ; Ana Aguiar ;
PUBLICAÇÃO: 2018, FONTE: 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2018 IEEE 19TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 14-19
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865, PÁGINAS: 57-67
AUTORES: Bernardo Portela ;
PUBLICAÇÃO: 2018
AUTORES: Luis S Barbosa ; Alexandre Madeira ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113, PÁGINAS: 44-45
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.01053
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118, PÁGINAS: 22:1-22:17
AUTORES: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, NÚMERO: 1, PÁGINAS: 61-76
AUTORES: Rei, J; Brito, C ; Sousa, A ;
PUBLICAÇÃO: 2018, FONTE: 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018 in Proceedings - 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, PÁGINAS: 405-411
AUTORES: Carlos Pereira; João Cardoso; Ana Aguiar ; Ricardo Morla ;
PUBLICAÇÃO: 2018, FONTE: J. Reliable Intelligent Environments, VOLUME: 4, NÚMERO: 1, PÁGINAS: 25-37
AUTORES: Guilherme Borges; Henrique Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira; Bernardo Portela ;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2018, PÁGINAS: 588
AUTORES: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PÁGINAS: 118-126