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: 1464
150 Team MembersFilters -> Year: 2024
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-201
AUTHORS: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLISHED: 2011, SOURCE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 66-78
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: Information Services and Use, VOLUME: 31, ISSUE: 3-4, PAGES: 177-187
AUTHORS: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 257-269
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PAGES: 151-167
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010, PAGES: 339
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PAGES: 93-102
AUTHORS: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 in Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, PAGES: 93-100
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 1, PAGES: 91-98
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
AUTHORS: Nuno M. Preguiça; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
AUTHORS: Azevedo, PJ ; Jorge, AM ;
PUBLISHED: 2010, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 21, ISSUE: 1, PAGES: 91-129
AUTHORS: Ferreira, V; Santos, LP ; Simoes, R ; Franzen, M; Ghouati, OO;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PAGES: 63-68