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
1161
TITLE: Contract-based slicing helps on safety reuse
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
INDEXED IN: Scopus DBLP CrossRef
1162
TITLE: Deductive verification of cryptographic software  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
INDEXED IN: Scopus DBLP CrossRef
1163
TITLE: Dependability in Aggregation by Averaging PDF
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
INDEXED IN: DBLP arXiv
1164
TITLE: Dotted Version Vectors: Logical Clocks for Optimistic Replication PDF
AUTHORS: Nuno M. Preguiça; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
INDEXED IN: DBLP arXiv
1165
TITLE: Ensembles of jittered association rule classifiers  Full Text
AUTHORS: Paulo J Azevedo ; Alipio Mario Jorge ;
PUBLISHED: 2010, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 21, ISSUE: 1, PAGES: 91-129
INDEXED IN: Scopus WOS DBLP CrossRef: 9
1166
TITLE: Estimating local thickness for finite element analysis
AUTHORS: Ferreira, V; Santos, LP ; Simoes, R ; Franzen, M; Ghouati, OO;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PAGES: 63-68
INDEXED IN: Scopus
1167
TITLE: Fault-Tolerant Aggregation for Dynamic Networks  Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 37-43
INDEXED IN: Scopus WOS DBLP CrossRef: 15
1168
TITLE: Feature Petri Nets PDF
AUTHORS: Radu Muschevici; 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: 99-106
INDEXED IN: DBLP
1169
TITLE: From SFC specification to C programming language on the context of aerospace systems control
AUTHORS: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLISHED: 2010, SOURCE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, ISSUE: PART 1, PAGES: 46-51
INDEXED IN: Scopus
1170
TITLE: GamaSlicer. an online laboratory for program verification and analysis
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10
INDEXED IN: CrossRef: 8
1171
TITLE: GamaSlicer: An online laboratory for program verification and analysis
AUTHORS: Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010, PAGES: 3
INDEXED IN: Scopus DBLP
1172
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
INDEXED IN: Scopus WOS DBLP CrossRef: 9
1173
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
INDEXED IN: Scopus WOS DBLP CrossRef: 41
1174
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
1175
TITLE: Improving P2P video streaming in wireless mesh networks
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 5
1176
TITLE: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
INDEXED IN: Scopus WOS
1177
TITLE: Measuring Software Systems Scalability for Proactive Data Center Management
AUTHORS: Nuno A Carvalho; Jose Pereira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 829-842
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1178
TITLE: Message from the technical program co-chairs  Full Text
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus CrossRef
1179
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Andre Carvalho; Joel Carvalho; Jorge Sousa Pinto ; Simao Melo de Sousa ;
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 II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-205
INDEXED IN: Scopus WOS DBLP CrossRef
1180
TITLE: Modeling 802.11 AP usage through daily keep-alive event counts
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200
INDEXED IN: Scopus DBLP CrossRef

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