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: 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, PÁGINAS: 1807-1823
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: ESORICS (1), VOLUME: 10492 LNCS, PÁGINAS: 146-166
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PÁGINAS: 55-63
AUTORES: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho ; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PÁGINAS: 1209-1212
AUTORES: João Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017, PÁGINAS: 1209-1212
AUTORES: Pereira, R ;
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: 88-90
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLICAÇÃO: 2017, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September, PÁGINAS: 3855-3860
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: AAMAS, PÁGINAS: 1799-1801
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: AAMAS, PÁGINAS: 782-790
AUTORES: Cledou, G ; Barbosa, LS ;
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: 37-43
AUTORES: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: EICS, PÁGINAS: 111-116
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: PMLDC@ECOOP, PÁGINAS: 3:1
AUTORES: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLICAÇÃO: 2017, FONTE: EGOV, VOLUME: 10428 LNCS, PÁGINAS: 117-127
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PÁGINAS: 271-286
AUTORES: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: SAC, VOLUME: Part F128005, PÁGINAS: 456-461
AUTORES: Christopher S Meiklejohn; Vitor Enes ; Junghun Yoo; Carlos Baquero ; Peter Van Roy; Annette Bieniusa;
PUBLICAÇÃO: 2017, FONTE: PPDP, VOLUME: Part F131196, PÁGINAS: 109-114
AUTORES: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLICAÇÃO: 2017, FONTE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
AUTORES: Francisco Neves ; Ricardo Vilaça ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: SAC, VOLUME: Part F128005, PÁGINAS: 462-464
AUTORES: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLICAÇÃO: 2017, FONTE: EICS
AUTORES: Couto, M ; Borba, P; Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2017, FONTE: 21st International System and Software Product Line Conference (SPLC) in 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1, VOLUME: 1, PÁGINAS: 84-93