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: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, NÚMERO: C, PÁGINAS: 105-121
AUTORES: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PÁGINAS: 250-259
AUTORES: Nuno Lopes; Carlos Baquero ;
PUBLICAÇÃO: 2009, FONTE: 10th International Conference on Intelligent Tutoring Systems18th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises in 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, PÁGINAS: 111-115
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PÁGINAS: 235-253
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, PÁGINAS: 81-90
AUTORES: Pedro Gabriel Ferreira ; Cândida G Silva ; Paulo J Azevedo ; Rui M M Brito ;
PUBLICAÇÃO: 2009, FONTE: 5th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008 in COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, VOLUME: 5488, PÁGINAS: 156-+
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A;
PUBLICAÇÃO: 2009, FONTE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1013-1014
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
AUTORES: Barbosa, LS ; Sun Meng;
PUBLICAÇÃO: 2009, FONTE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PÁGINAS: 340-347
AUTORES: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLICAÇÃO: 2009, FONTE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009, PÁGINAS: 291-301
AUTORES: Silva, CG; Ferreira, PG ; Azevedo, PJ ; Brito, RMM;
PUBLICAÇÃO: 2009, FONTE: Evolving Application Domains of Data Warehousing and Mining: Trends and Solutions, PÁGINAS: 258-276
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825, PÁGINAS: 37-52
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PÁGINAS: 39-+
AUTORES: Joao Leito ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2009, FONTE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 236-245
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PÁGINAS: 44-55
AUTORES: Pu, C; Kersten, M; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software, PÁGINAS: 17-26
AUTORES: Jorge, A ; Pocas, J; Azevedo, PJ ;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4404 LNCS, PÁGINAS: 46-59
AUTORES: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, PÁGINAS: 263-+
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, NÚMERO: C, PÁGINAS: 83-96