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: 1554
150 Team MembersFilters -> Year: 2024
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
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges; Henrique Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 103-112
AUTHORS: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, VOLUME: 2019-September, PAGES: 370-377
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 1608-+
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies.
AUTHORS: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
PUBLISHED: 2019, SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PAGES: 250-266
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 61-70
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 348-353
AUTHORS: João Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 348-353
AUTHORS: Carvalho, NR; Barbosa, LS ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 76-79
AUTHORS: Lazaro Costa ; Joao Rocha da Silva ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PAGES: 384-387
AUTHORS: José Pereira ; Laura Ricci;
PUBLISHED: 2019, SOURCE: DAIS, VOLUME: 11534
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PAGES: 127-148
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLISHED: 2019, SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PAGES: 148-159
AUTHORS: Claudia Brito ; Ana Machado; Antonio Sousa ;
PUBLISHED: 2019, SOURCE: 17th World Congress of Medical and Health Informatics (MEDINFO) in MEDINFO 2019: HEALTH AND WELLBEING E-NETWORKS FOR ALL, VOLUME: 264, PAGES: 55-59
AUTHORS: João Saraiva ; Rui Pereira;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 77-97
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 137-149
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science