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

149 Team Members
Filters -> Year: 2026
421
TÍTULO: Statically Analyzing the Energy Efficiency of Software Product Lines  Full Text
AUTORES: Couto, M ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, VOLUME: 11, NÚMERO: 1, PÁGINAS: 13
INDEXADO EM: Scopus WOS CrossRef: 1
422
TÍTULO: Telephone-based psychological crisis intervention: the Portuguese experience with COVID-19  Full Text
AUTORES: Ribeiro, E ; Sampaio, A ; Goncalves, MM ; Taveira, MD ; Cunha, J ; Maia, A ; Matos, M ; Goncalves, S; Figueiredo, B ; Freire, T ; Soares, T;
PUBLICAÇÃO: 2021, FONTE: COUNSELLING PSYCHOLOGY QUARTERLY, VOLUME: 34, NÚMERO: 3-4, PÁGINAS: 432-446
INDEXADO EM: Scopus WOS CrossRef: 14 Handle
423
TÍTULO: The Case for Storage Optimization Decoupling in Deep Learning Frameworks
AUTORES: Macedo, R ; Correia, C ; Dantas, M ; Brito, C ; Xu, WJ; Tanimura, Y; Haga, J; Paulo, J ;
PUBLICAÇÃO: 2021, FONTE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PÁGINAS: 649-656
INDEXADO EM: WOS DBLP CrossRef: 5
424
TÍTULO: The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing
AUTORES: Baquero, C ; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;
PUBLICAÇÃO: 2021, FONTE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 3, PÁGINAS: 641237
INDEXADO EM: WOS DBLP CrossRef: 5
425
TÍTULO: The High-Assurance ROS Framework
AUTORES: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), PÁGINAS: 37-40
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
426
TÍTULO: The Management of Risks and Benefits when Engineering Interactive Digital Systems
AUTORES: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLICAÇÃO: 2021, FONTE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021, PÁGINAS: 81-83
INDEXADO EM: DBLP
427
TÍTULO: The VALU3S ECSEL project: Verification and validation of automated systems safety and security
AUTORES: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLICAÇÃO: 2021, FONTE: Microprocess. Microsystems, VOLUME: 87, PÁGINAS: 104349
INDEXADO EM: Scopus DBLP CrossRef: 8
428
TÍTULO: Totally-Ordered Prefix Parallel Snapshot Isolation
AUTORES: Nuno Faria ; José Pereira ;
PUBLICAÇÃO: 2021, FONTE: 8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2021 in PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, PÁGINAS: 6:1-6:7
INDEXADO EM: Scopus DBLP CrossRef: 2
429
TÍTULO: Towards a bottom-up approach to inclusive digital identity systems
AUTORES: João Marco C Silva ; Vitor Fonte ; António Sousa;
PUBLICAÇÃO: 2021, FONTE: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, PÁGINAS: 523-525
INDEXADO EM: DBLP
430
TÍTULO: Towards a bottom-up approach to inclusive digital identity systems
AUTORES: Silva, JM ; Fonte, V; Sousa, A;
PUBLICAÇÃO: 2021, FONTE: 14th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2021 in ACM International Conference Proceeding Series, PÁGINAS: 523-525
INDEXADO EM: Scopus
431
TÍTULO: Towards a Distributed Learning Architecture for Securing ISP Home Customers
AUTORES: Santos, PM ; Sousa, J; Morla, R ; Martins, N; Tagaio, J; Serra, J; Silva, C; Sousa, M; Souto, P; Ferreira, LL ; Ferreira, J; Almeida, L ;
PUBLICAÇÃO: 2021, FONTE: ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS. AIAI 2021 IFIP WG 12.5 INTERNATIONAL WORKSHOPS, VOLUME: 628, PÁGINAS: 311-322
INDEXADO EM: Scopus WOS DBLP CrossRef
432
TÍTULO: Towards a specification theory for fuzzy modal logic
AUTORES: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), PÁGINAS: 175-182
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
433
TÍTULO: Towards Formal Verification of Password Generation Algorithms used in Password Managers
AUTORES: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2106.03626
INDEXADO EM: DBLP
434
TÍTULO: Towards Generic Fine-Grained Transaction Isolation in Polystores
AUTORES: Nuno Faria ; José Pereira ; Ana Nunes Alonso ; Ricardo Vilaça ;
PUBLICAÇÃO: 2021, FONTE: VLDB workshops: International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2021 and 7th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2021 in Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2021 and DMAH 2021, Virtual Event, August 20, 2021, Revised Selected Papers, VOLUME: 12921, PÁGINAS: 29-42
INDEXADO EM: Scopus DBLP CrossRef: 1
435
TÍTULO: Towards the integration of user interface prototyping and model-based development
AUTORES: Catarina Machado; José Creissac Campos ;
PUBLICAÇÃO: 2021, FONTE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PÁGINAS: 1-8
INDEXADO EM: DBLP
436
TÍTULO: Zipping Strategies and Attribute Grammars
AUTORES: José Nuno Macedo; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2110.07902
INDEXADO EM: DBLP
437
TÍTULO: 802.11 wireless simulation and anomaly detection using HMM and UBM
AUTORES: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLICAÇÃO: 2020, FONTE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, VOLUME: 96, NÚMERO: 12, PÁGINAS: 939-956
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
438
TÍTULO: A Comparison of Message Exchange Patterns in BFT Protocols - (Experience Report). (Experience Report)
AUTORES: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2020, FONTE: 20th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12135, PÁGINAS: 104-120
INDEXADO EM: Scopus DBLP CrossRef: 3
439
TÍTULO: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTORES: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PÁGINAS: 102379
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
440
TÍTULO: A Survey and Classification of Software-Defined Storage Systems  Full Text
AUTORES: Ricardo Macedo ; Joao Paulo ; Jose Pereira ; Alysson Bessani ;
PUBLICAÇÃO: 2020, FONTE: ACM COMPUTING SURVEYS, VOLUME: 53, NÚMERO: 3, PÁGINAS: 48:1-48:38
INDEXADO EM: Scopus WOS DBLP CrossRef: 15

Results per Page: 20.
Página 22 de 85. Total de resultados: 1689.