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: 1675

149 Team Members
Filters -> Year: 2026
1281
TÍTULO: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: 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, PÁGINAS: 221-236
INDEXADO EM: Scopus DBLP CrossRef: 7
1282
TÍTULO: Type-Safe Evolution of Spreadsheets  Full Text
AUTORES: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PÁGINAS: 186-201
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
1283
TÍTULO: Variability modelling in the ABS language
AUTORES: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLICAÇÃO: 2011, FONTE: 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, PÁGINAS: 204-224
INDEXADO EM: Scopus DBLP CrossRef: 24
1284
TÍTULO: Verification conditions for source-level imperative programs  Full Text
AUTORES: Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2011, FONTE: Computer Science Review, VOLUME: 5, NÚMERO: 3, PÁGINAS: 252-277
INDEXADO EM: Scopus DBLP CrossRef: 18
1285
TÍTULO: Wait-Free Shared-Memory Irradiance Caching  Full Text
AUTORES: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLICAÇÃO: 2011, FONTE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, NÚMERO: 5, PÁGINAS: 66-78
INDEXADO EM: Scopus WOS CrossRef: 3
1286
TÍTULO: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: Information Services and Use, VOLUME: 31, NÚMERO: 3-4, PÁGINAS: 177-187
INDEXADO EM: Scopus CrossRef
1287
TÍTULO: Worldwide Consensus  Full Text
AUTORES: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 257-269
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1288
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
1289
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010, PÁGINAS: 339
INDEXADO EM: DBLP
1290
TÍTULO: A Coordination Model for Interactive Components
AUTORES: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLICAÇÃO: 2010, FONTE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PÁGINAS: 416-430
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1291
TÍTULO: A Deductive Verification Platform for Cryptographic Software
AUTORES: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: DBLP
1292
TÍTULO: Assertion-based slicing and slice graphs
AUTORES: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PÁGINAS: 93-102
INDEXADO EM: Scopus DBLP CrossRef: 6
1293
TÍTULO: Automatically inferring classsheet models from spreadsheets
AUTORES: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 93-100
INDEXADO EM: Scopus DBLP CrossRef: 40
1294
TÍTULO: Bringing class diagrams to life  Full Text
AUTORES: Barbosa, LS ; Meng, S;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 1, PÁGINAS: 91-98
INDEXADO EM: Scopus DBLP CrossRef
1295
TÍTULO: Certification of open-source software: A role for formal methods?
AUTORES: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, NÚMERO: 4, PÁGINAS: 273-281
INDEXADO EM: Scopus WOS DBLP
1296
TÍTULO: Contract-Based Slicing
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 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, NÚMERO: PART 1, PÁGINAS: 106-120
INDEXADO EM: Scopus WOS DBLP CrossRef
1297
TÍTULO: Contract-based slicing helps on safety reuse
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PÁGINAS: 62-63
INDEXADO EM: Scopus DBLP CrossRef
1298
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3, PÁGINAS: 203-218
INDEXADO EM: Scopus DBLP CrossRef
1299
TÍTULO: Dependability in Aggregation by Averaging PDF
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.6596
INDEXADO EM: DBLP arXiv
1300
TÍTULO: Dotted Version Vectors: Logical Clocks for Optimistic Replication PDF
AUTORES: Nuno M. Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.5808
INDEXADO EM: DBLP arXiv

Results per Page: 20.
Página 65 de 84. Total de resultados: 1675.