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
741
TITLE: The essence of bidirectional programming  Full Text
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: SCIENCE CHINA Information Sciences, VOLUME: 58, ISSUE: 5, PAGES: 1-21
INDEXED IN: DBLP CrossRef: 19
742
TITLE: The Modelery: a model-based software development repository
AUTHORS: Couto, R ; Ribeiro, AMN ; de Campos, JFCF ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 2, PAGES: 205-225
INDEXED IN: Scopus WOS DBLP CrossRef
743
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2015, SOURCE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540, PAGES: 265-284
INDEXED IN: Scopus WOS DBLP CrossRef: 11
744
TITLE: TOPiCo: Detecting most frequent items from multiple high-rate event streams
AUTHORS: Schiavoni, V; Rivière, E; Sutra, P; Felber, P; Matos, M ; Oliveira, R ;
PUBLISHED: 2015, SOURCE: 9th ACM International Conference on Distributed Event-Based Systems, DEBS 2015 in DEBS 2015 - Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, PAGES: 58-67
INDEXED IN: Scopus DBLP
745
TITLE: Towards a Catalog of Usability Smells
AUTHORS: Diogo Almeida; Jose Creissac Campos ; Joao Saraiva ; Joao Carlos Silva;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 175-181
INDEXED IN: Scopus WOS DBLP CrossRef: 6
746
TITLE: Towards an engine for coordination-based architectural reconfigurations  Full Text
AUTHORS: Flavio Rodrigues; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 607-634
INDEXED IN: Scopus WOS DBLP CrossRef: 1
747
TITLE: Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets PDF
AUTHORS: Pedro Maia; Jorge Mendes ; Jácome Cunha ; Henrique Rebêlo; João Saraiva ;
PUBLISHED: 2015, SOURCE: 2nd Workshop on Software Engineering Methods in Spreadsheets, SEMS 2015, Co-located with the 37th International Conference on Software Engineering, ICSE 2015 in Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., VOLUME: 1355, PAGES: 7-13
INDEXED IN: Scopus DBLP arXiv Handle
748
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1, PAGES: 5-25
INDEXED IN: Scopus WOS DBLP CrossRef: 23
749
TITLE: Users Know Better: A QoE based Adaptive Control System for VoD in the Cloud
AUTHORS: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
750
TITLE: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015, PAGES: 1241
INDEXED IN: DBLP
751
TITLE: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTHORS: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLISHED: 2015, SOURCE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PAGES: 1-41
INDEXED IN: Scopus DBLP CrossRef
752
TITLE: Welcome to EICS 2015
AUTHORS: Ziegler, J; Nebeling, M; Nigay, L; Campos, J ; Winckler, M;
PUBLISHED: 2015, SOURCE: 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015 in EICS 2015 - Proceedings of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXED IN: Scopus
753
TITLE: X-Ray: Monitoring and analysis of distributed database queries
AUTHORS: Guimaraes, P; Pereira, J ;
PUBLISHED: 2015, SOURCE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9038, PAGES: 80-93
INDEXED IN: Scopus DBLP CrossRef: 1
754
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
INDEXED IN: Scopus WOS DBLP CrossRef
755
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
INDEXED IN: Scopus WOS DBLP CrossRef: 1
756
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
INDEXED IN: Scopus WOS DBLP CrossRef Handle
757
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems  Full Text
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; José Manuel Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
INDEXED IN: Scopus WOS DBLP CrossRef: 3
758
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
INDEXED IN: Scopus WOS DBLP CrossRef: 4
759
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
INDEXED IN: Scopus WOS CrossRef
760
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: Monitoring and Securing Virtualized Networks and Services - 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings, VOLUME: 8508, PAGES: 179-183
INDEXED IN: DBLP

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