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: 1577
149 Team MembersFilters -> Year: 2025
AUTORES: Sara Fernandes ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on Collaboration Technologies (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2016, VOLUME: 9848, PÁGINAS: 139-150
AUTORES: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016 in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, VOLUME: 10644, PÁGINAS: 39-55
AUTORES: Bovan Kolev; Raquel Pau; Oleksandra Levchenko; Patrick Valduriez; Ricardo Jimenez Peri; Jose Pereira ;
PUBLICAÇÃO: 2016, FONTE: 4th IEEE International Conference on Big Data (Big Data) in 2016 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), PÁGINAS: 2574-2579
AUTORES: Machado, N ; Maia, F ; Matos, M ; Oliveira, R ;
PUBLICAÇÃO: 2016, FONTE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PÁGINAS: 71-80
AUTORES: Boyan Kolev; Patrick Valduriez; Carlyna Bondiombouy; Ricardo Jimenez Peris; Raquel Pau; Jose Pereira ;
PUBLICAÇÃO: 2016, FONTE: DISTRIBUTED AND PARALLEL DATABASES, VOLUME: 34, NÚMERO: 4, PÁGINAS: 463-503
AUTORES: Muhammad Ajmal Azad ; Ricardo Morla ; Junaid Arshad; Khaled Salah;
PUBLICAÇÃO: 2016, FONTE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 9, NÚMERO: 18, PÁGINAS: 4827-4838
AUTORES: Ricardo Jimenez; Marta Patiño; Ivan Brondino; Valerio Vianello; Ricardo Vilaça ; Boyan Kolev; Patrick Valduriez; Raquel Pau; Apostolos Hatzimanikatis; Vassilis Spitadakis; Dimitris Bouras; Yorgos Panagiotakis; Giorgos Saloustros; Anastasios Papagiannis; Pilar González Férez; Angelos Bilas; Ying Zhang; Pavlos Kranas; Sotiris Stamokostas; Vrettos Moulos; ...Mais
PUBLICAÇÃO: 2016, FONTE: European Space project on Smart Systems, Big Data, Future Internet - Towards Serving the Grand Societal Challenges, Rome, Italy, April 21-28, 2016.
AUTORES: Sara Fernandesand; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016), PÁGINAS: 201-206
AUTORES: Renato Neves ; Luis S Barbosa ; Dirk Hofmann ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 1057-1085
AUTORES: Kolev, B; Bondiombouy, C; Levchenko, O; Valduriez, P; Jimenez, R; Pau, R; Pereira, J ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PÁGINAS: 352-359
AUTORES: Rui C Goncalves ; Jose Pereira ; Ricardo Jimenez Peris;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PÁGINAS: 348-351
AUTORES: Linda Veiga ; Tomasz Janowski; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016, PÁGINAS: 323-326
AUTORES: Rui S Moreira ; Jose M Torres ; Pedro Sobral ; Ricardo Morla ; Mark Rouncefield; Gordon S Blair;
PUBLICAÇÃO: 2016, FONTE: PERSONAL AND UBIQUITOUS COMPUTING, VOLUME: 20, NÚMERO: 2, PÁGINAS: 165-166
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965, PÁGINAS: 422-440
AUTORES: Joao Paulo ; Jose Pereira ;
PUBLICAÇÃO: 2016, FONTE: ACM TRANSACTIONS ON STORAGE, VOLUME: 12, NÚMERO: 4, PÁGINAS: 20
AUTORES: Clayton Maciel Costa ; Cicilia Raquel M Maia Leite; Antonio Luis Sousa ;
PUBLICAÇÃO: 2016, FONTE: IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS) in PROCEEDINGS OF THE 2016 IEEE CONFERENCE ON EVOLVING AND ADAPTIVE INTELLIGENT SYSTEMS (EAIS), PÁGINAS: 114-121
AUTORES: Sara Fernandes; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the International Conference on Electronic Governance and Open Society Challenges in Eurasia - EGOSE '16
AUTORES: Sara Fernandes; Luís Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the International Conference on Electronic Governance and Open Society - Challenges in Eurasia, EGOSE 2016, St. Petersburg, Russia, November 22-23, 2016, PÁGINAS: 77-82
AUTORES: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ; Eric Van Wyk; Anthony Sloane;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PÁGINAS: 2-28
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 118, PÁGINAS: 234-250