Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 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!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 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 Members
Filters -> Year: 2024
1141
TITLE: The importance of qualitative evaluation on E-learning systems
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 278-282
INDEXED IN: WOS
1142
TITLE: The Role of Coordination Analysis in Software Integration Projects
AUTHORS: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 83-92
INDEXED IN: Scopus WOS DBLP CrossRef
1143
TITLE: Time series motifs statistical significance
AUTHORS: Castro, N ; Azevedo, PJ ;
PUBLISHED: 2011, SOURCE: 11th SIAM International Conference on Data Mining, SDM 2011 in Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011, PAGES: 687-698
INDEXED IN: Scopus DBLP CrossRef: 7
1144
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions  Full Text
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
INDEXED IN: Scopus WOS DBLP CrossRef: 4
1145
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
INDEXED IN: Scopus DBLP CrossRef: 6
1146
TITLE: Type-Safe Evolution of Spreadsheets  Full Text
AUTHORS: Jacome Cunha ; Joost Visser; Tiago Alves; Joao Saraiva ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-201
INDEXED IN: Scopus WOS DBLP CrossRef: 10
1147
TITLE: Variability modelling in the ABS language
AUTHORS: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLISHED: 2011, SOURCE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS, PAGES: 204-224
INDEXED IN: Scopus DBLP CrossRef: 23
1148
TITLE: Verification conditions for source-level imperative programs  Full Text
AUTHORS: Frade, MJ ; Pinto, JS ;
PUBLISHED: 2011, SOURCE: Computer Science Review, VOLUME: 5, ISSUE: 3, PAGES: 252-277
INDEXED IN: Scopus DBLP CrossRef: 13
1149
TITLE: Wait-Free Shared-Memory Irradiance Caching  Full Text
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
INDEXED IN: Scopus WOS CrossRef: 3
1150
TITLE: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: Information Services and Use, VOLUME: 31, ISSUE: 3-4, PAGES: 177-187
INDEXED IN: Scopus
1151
TITLE: Worldwide Consensus  Full Text
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
1152
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
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
INDEXED IN: Scopus WOS DBLP CrossRef: 20
1153
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
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
INDEXED IN: DBLP
1154
TITLE: A Coordination Model for Interactive Components
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1155
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: DBLP
1156
TITLE: Assertion-based slicing and slice graphs
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
INDEXED IN: Scopus DBLP CrossRef: 6
1157
TITLE: Automatically inferring classsheet models from spreadsheets
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
INDEXED IN: Scopus DBLP CrossRef: 34
1158
TITLE: Bringing class diagrams to life  Full Text
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 1, PAGES: 91-98
INDEXED IN: Scopus DBLP CrossRef
1159
TITLE: Certification of open-source software: A role for formal methods?
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
INDEXED IN: Scopus WOS DBLP
1160
TITLE: Contract-Based Slicing
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
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 58 de 77. Total de resultados: 1539.