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

150 Team Members
Filters -> Year: 2024
861
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263, PAGES: 45-75
INDEXED IN: Scopus DBLP CrossRef: 2
862
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus DBLP
863
TITLE: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: 16th International Refinement Workshop, Refine 2013 in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013., VOLUME: 115, PAGES: 84-98
INDEXED IN: Scopus DBLP CrossRef: 1
864
TITLE: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 29, PAGES: 75-89
INDEXED IN: Scopus WOS DBLP CrossRef: 1
865
TITLE: Broadcast cancellation in search mechanisms
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PAGES: 548-553
INDEXED IN: Scopus DBLP CrossRef: 8 Handle
866
TITLE: Caller-REP: Detecting unwanted calls with caller social strength  Full Text
AUTHORS: Muhammad Ajmal Azad ; Ricardo Morla ;
PUBLISHED: 2013, SOURCE: COMPUTERS & SECURITY, VOLUME: 39, ISSUE: PART B, PAGES: 219-236
INDEXED IN: Scopus WOS DBLP CrossRef: 22
867
TITLE: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security, PAGES: 1217-1229
INDEXED IN: Scopus DBLP CrossRef: 28
868
TITLE: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013, PAGES: 316
INDEXED IN: DBLP
869
TITLE: Classifying heart sounds using multiresolution time series motifs: an exploratory study. an exploratory study
AUTHORS: Elsa Ferreira Gomes ; Alípio Mário Jorge ; Paulo J Azevedo ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in International C* Conference on Computer Science & Software Engineering, C3S2E13, Porto, Portugal - July 10 - 12, 2013, PAGES: 23-30
INDEXED IN: Scopus DBLP CrossRef: 13 Handle
870
TITLE: clOpenCL - Supporting Distributed Heterogeneous Computing in HPC Clusters
AUTHORS: Albano Alves ; Jose Rufino ; Antonio Pina ; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012: PARALLEL PROCESSING WORKSHOPS, VOLUME: 7640, PAGES: 112-122
INDEXED IN: Scopus WOS CrossRef: 12
871
TITLE: Combining static and dynamic analysis for the reverse engineering of Web applications
AUTHORS: Silva, CE; Campos, JC ;
PUBLISHED: 2013, SOURCE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, PAGES: 107-112
INDEXED IN: Scopus DBLP
872
TITLE: Complexity Metrics for ClassSheet Models
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 459-474
INDEXED IN: Scopus WOS DBLP CrossRef Handle
873
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
INDEXED IN: Scopus DBLP
874
TITLE: DATAFLASKS: an epidemic dependable key-value substrate
AUTHORS: Francisco Maia ; Miguel Matos ; Ricardo Vilaca ; Jose Pereira ; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
875
TITLE: DEDIS: Distributed exact deduplication for primary storage infrastructures
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2013, SOURCE: 4th Annual Symposium on Cloud Computing, SoCC 2013 in Proceedings of the 4th Annual Symposium on Cloud Computing, SoCC 2013, PAGES: 60:1-60:2
INDEXED IN: Scopus DBLP CrossRef: 9
876
TITLE: Depth Cues and Perceived Audiovisual Synchrony of Biological Motion  Full Text
AUTHORS: Carlos Cesar Silva ; Catarina Mendonca; Sandra Mouta ; Rosa Silva; Jose Creissac Campos ; Jorge Santos ;
PUBLISHED: 2013, SOURCE: PLOS ONE, VOLUME: 8, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef: 8
877
TITLE: Development challenges in web apps for public displays
AUTHORS: Taivan, C; Andrade, JM; Jose, R; Silva, B; Pinto, H; Ribeiro, AN ;
PUBLISHED: 2013, SOURCE: 7th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8276 LNCS, PAGES: 135-142
INDEXED IN: Scopus CrossRef: 2
878
TITLE: Enhancing traffic sampling scope and efficiency
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR ;
PUBLISHED: 2013, SOURCE: 2013 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2013 in 2013 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2013, PAGES: 71-72
INDEXED IN: Scopus CrossRef: 2
879
TITLE: Enhancing Traffic Sampling Scope and Efficiency
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2013, SOURCE: 32nd IEEE INFOCOM Conference in 2013 PROCEEDINGS IEEE INFOCOM, PAGES: 5-6
INDEXED IN: Scopus WOS CrossRef: 1
880
TITLE: Enhancing traffic sampling scope and efficiency
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2013, SOURCE: Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, PAGES: 5-6
INDEXED IN: DBLP

Results per Page: 20.
Página 44 de 74. Total de resultados: 1464.