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: 1659
149 Team MembersFilters -> Year: 2026
AUTORES: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: ICEGOV, VOLUME: Part F128003, PÁGINAS: 140-148
AUTORES: Kassam, Z ; Shoker, A ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PÁGINAS: 145-148
AUTORES: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLICAÇÃO: 2017, FONTE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PÁGINAS: 679-685
AUTORES: Shoker, A ; Yactine, H ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 5:1-5:5
AUTORES: Cardoso, J; Pereira, C; Aguiar, A ; Morla, R ;
PUBLICAÇÃO: 2017, FONTE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 1-7
AUTORES: Alcino Cunha ; Ekkart Kindler;
PUBLICAÇÃO: 2017, FONTE: J. Object Technol., VOLUME: 16, NÚMERO: 1, PÁGINAS: 1-2
AUTORES: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLICAÇÃO: 2017, FONTE: Inf. Media Technol., VOLUME: 12, NÚMERO: 4, PÁGINAS: 1-23
AUTORES: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 4:1-4:3
AUTORES: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PÁGINAS: 198-215
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
AUTORES: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 2:1-2:3
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PÁGINAS: 51-66
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
AUTORES: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, NÚMERO: 2, PÁGINAS: 140-148
AUTORES: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLICAÇÃO: 2017, FONTE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PÁGINAS: 178-185
AUTORES: Francisco Maia ;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, PÁGINAS: 6-7
AUTORES: Ana L P N Alonso ;
PUBLICAÇÃO: 2017
HandleAUTORES: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: DAIS, VOLUME: 10320 LNCS, PÁGINAS: 51-66
AUTORES: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLICAÇÃO: 2017, FONTE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062, PÁGINAS: 113-128