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: 1539
150 Team MembersFilters -> Year: 2024
AUTHORS: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 181-186
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PAGES: 91-98
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 2045-2046
AUTHORS: Saravanan Kandasamy ; Rui Lopes Campos ; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 2010 19th International Conference on Computer Communications and Networks, ICCCN 2010 in Proceedings of the 19th International Conference on Computer Communications and Networks, IEEE ICCCN 2010, Zürich, Switzerland, August 2-5, 2010, PAGES: 1-6
AUTHORS: Debattista, K; Dickey, M; Proenca, A ; Santos, LP ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010
AUTHORS: Silva, JC; Saraiva, J ; Campos, JC ;
PUBLISHED: 2009, SOURCE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 121-128
AUTHORS: Marco A Barbosa; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'06) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 74, ISSUE: 9, PAGES: 671-687
AUTHORS: Luís Soares; José Pereira ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 21-24
AUTHORS: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, ISSUE: C, PAGES: 3-19
AUTHORS: Paulo, R; Carrapatoso, A; Lemos, M; Bernardo, R; Campos, J ;
PUBLISHED: 2009, SOURCE: 20th International Conference and Exhibition on Electricity Distribution, CIRED 2009 in IET Conference Publications, ISSUE: 550 CP
AUTHORS: Jose Luis Silva ; Jose C Campos ; Michael D Harrison ;
PUBLISHED: 2009, SOURCE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 79-84
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS, PAGES: 153-169
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PAGES: 141-149
AUTHORS: Miguel Matos; António Sousa ; José Pereira; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: Proceedings of the Third Workshop on Dependable Distributed Data Management - WDDM '09
AUTHORS: Matos, M ; Sousa, A ; Pereira, J; Oliveira, R ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09, PAGES: 14-17
AUTHORS: Miguel Matos; António Luís Sousa; José Pereira ; Rui Oliveira;
PUBLISHED: 2009, SOURCE: Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 14-17
AUTHORS: Miguel Matos ; Antonio Sousa ; Jose Pereira ; Rui Oliveira ; Eric Deliot; Paul Murray;
PUBLISHED: 2009, SOURCE: On the Move Confederated International Conference and Workshops in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, VOLUME: 5870, ISSUE: PART 1, PAGES: 549-566
AUTHORS: Vilaca, R ; Oliveira, R ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09, PAGES: 25-28
AUTHORS: Ricardo Vilaça ; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 25-28
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: UML 2 Semantics and Applications, PAGES: 249-280