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: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, NÚMERO: 4, PÁGINAS: 551-566
AUTORES: Ricardo Goncalves ; Paulo Sergio Almeida ; Carlos Baquero ; Vitor Fonte ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PÁGINAS: 194-203
AUTORES: Muhammad Ajmal Azad ; Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PÁGINAS: 157-172
AUTORES: Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.00641
AUTORES: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
PUBLICAÇÃO: 2017, FONTE: 6th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2017 in Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Belgrade, Serbia, September 11-13, 2017., VOLUME: 1938
AUTORES: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2017, FONTE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PÁGINAS: 256-267
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240, PÁGINAS: 1-19
AUTORES: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PÁGINAS: 344-362
AUTORES: da Silva, CP; Lima, SR; Silva, JM ;
PUBLICAÇÃO: 2017, FONTE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PÁGINAS: 109-120
AUTORES: Catarina Pires da Silva; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2017, FONTE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings, VOLUME: 10531, PÁGINAS: 109-120
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLICAÇÃO: 2017, FONTE: DISTRIBUTED COMPUTING, VOLUME: 30, NÚMERO: 4, PÁGINAS: 281-291
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PÁGINAS: 44-50
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.03704
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLICAÇÃO: 2017, FONTE: GTTSE, VOLUME: 10223
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2017, FONTE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PÁGINAS: 238-240
AUTORES: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 8th ACM/SPEC International Conference on Performance Engineering, ICPE 2017 in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, PÁGINAS: 293-304
AUTORES: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) in 2017 9TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2017-December, PÁGINAS: 263-271
AUTORES: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLICAÇÃO: 2017, FONTE: International Journal of Communication Systems, VOLUME: 30, NÚMERO: 6
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: Int. J. Commun. Syst., VOLUME: 30, NÚMERO: 6
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PÁGINAS: 1807-1823