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: 1489
150 Team MembersFilters -> Year: 2024
AUTORES: Lammel, R; Visser, J; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5235 LNCS
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, NÚMERO: C, PÁGINAS: 77-93
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1, PÁGINAS: 391-398
AUTORES: Luis Paulo Santos ; Dirk Reiners; Jean Favre;
PUBLICAÇÃO: 2008, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 32, NÚMERO: 1, PÁGINAS: 1-2
AUTORES: Campos, JC ; Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2008, FONTE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, NÚMERO: 1 PART 1
AUTORES: Lopes, CV; Popov, A; Kan, L; Morla, R ;
PUBLICAÇÃO: 2008, FONTE: 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SIMUTools 2008 in SIMUTools 2008 - 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems, PÁGINAS: 57
AUTORES: Gavin Doherty; Jose Campos ; Michael Harrison ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PÁGINAS: 194-207
AUTORES: Manuel Barbosa ; Thierry Brouard; Stephane Cauchie; Simao Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PÁGINAS: 21-36
AUTORES: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008, PÁGINAS: 302
AUTORES: Matos, M ; Correia, A; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PÁGINAS: 2219-2223
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 2167-2168
AUTORES: Creissac C Campos ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PÁGINAS: 72-85
AUTORES: Don Batory; Maider Azanza; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301, PÁGINAS: 1-+
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, NÚMERO: C, PÁGINAS: 181-198
AUTORES: Jose N Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235, PÁGINAS: 134-195
AUTORES: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223, PÁGINAS: 165-171
AUTORES: Mendes, A ;
PUBLICAÇÃO: 2008, FONTE: 38th ASEE/IEEE Frontiers in Education Conference, FIE 2008 in Proceedings - Frontiers in Education Conference, FIE
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2008, FONTE: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Companion Proceedings, PÁGINAS: 116-117
AUTORES: Pedro Gabriel Ferreira ; Candida G Silva ; Rui M M Brito ; Paulo J Azevedo ;
PUBLICAÇÃO: 2007, FONTE: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology in 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, PÁGINAS: 461-468