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

150 Team Members
Filters -> Year: 2025
221
TÍTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
INDEXADO EM: Scopus WOS DBLP CrossRef
222
TÍTULO: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTORES: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PÁGINAS: 24-34
INDEXADO EM: Scopus WOS DBLP CrossRef
223
TÍTULO: Weighted synchronous automata
AUTORES: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, NÚMERO: 9, PÁGINAS: 1234-1253
INDEXADO EM: Scopus WOS DBLP CrossRef
224
TÍTULO: What Ever Happened to Peer-to-Peer Systems?  Full Text
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 66, NÚMERO: 3, PÁGINAS: 14-15
INDEXADO EM: Scopus WOS DBLP
225
TÍTULO: Which Technologies are Most Frequently Used by Data Scientists?
AUTORES: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLICAÇÃO: 2022, FONTE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PÁGINAS: 1-5
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
226
TÍTULO: Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PÁGINAS: 114-142
INDEXADO EM: Scopus WOS DBLP CrossRef
227
TÍTULO: Zipping Strategies and Attribute Grammars
AUTORES: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: 16th International Symposium on Functional and Logic Programming, FLOPS 2022 in Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, VOLUME: 13215, PÁGINAS: 112-132
INDEXADO EM: Scopus DBLP CrossRef
228
TÍTULO: A deductive reasoning approach for database applications using verification conditions
AUTORES: Alam, MI; Halder, R; Pinto, JS ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PÁGINAS: 110903
INDEXADO EM: Scopus WOS DBLP CrossRef
229
TÍTULO: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9, PÁGINAS: 6789-6805
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
230
TÍTULO: Algebraic Adversaries in the Universal Composability Framework
AUTORES: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLICAÇÃO: 2021, FONTE: Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III, VOLUME: 13092, PÁGINAS: 311-341
INDEXADO EM: Scopus DBLP CrossRef: 6
231
TÍTULO: An Initial Analysis of the Shortcomings of Conventional AI and the Benefits of Distributed AI Approaches in Industrial Use Cases
AUTORES: Anna Hristoskova; Nicolás González Deleito; Sarah Klein; Joana Sousa; Nuno Martins; João Tagaio; João Serra; Carlos Silva; João Ferreira; Pedro M Santos; Ricardo Morla ; Luís Almeida ; Baris Bulut; Sencer Sultanoglu;
PUBLICAÇÃO: 2021, FONTE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PÁGINAS: 281-292
INDEXADO EM: DBLP
232
TÍTULO: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2105.08473
INDEXADO EM: DBLP
233
TÍTULO: An Outlook on using Packet Sampling in Flow-based C2 TLS Malware Traffic Detection
AUTORES: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLICAÇÃO: 2021, FONTE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PÁGINAS: 1-5
INDEXADO EM: Scopus WOS DBLP CrossRef
234
TÍTULO: ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases
AUTORES: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLICAÇÃO: 2021, FONTE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PÁGINAS: 67-74
INDEXADO EM: Scopus WOS DBLP CrossRef
235
TÍTULO: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTORES: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef
236
TÍTULO: Balancing the Detection of Malicious Traffic in SDN Context
AUTORES: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo;
PUBLICAÇÃO: 2021, FONTE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PÁGINAS: 106-111
INDEXADO EM: Scopus WOS CrossRef
237
TÍTULO: Balancing the Detection of Malicious Traffic in SDN Context
AUTORES: Bruno Salgado Machado; João Marco C Silva ; Solange Rito Lima; Paulo Carvalho;
PUBLICAÇÃO: 2021, FONTE: Twelfth International Conference on Ubiquitous and Future Networks, ICUFN 2021, Jeju Island, South Korea, August 17-20, 2021, PÁGINAS: 106-111
INDEXADO EM: DBLP
238
TÍTULO: Balancing the Formal and the Informal in User-centred Design  Full Text
AUTORES: Harrison, MD ; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2021, FONTE: INTERACTING WITH COMPUTERS, VOLUME: 33, NÚMERO: 1, PÁGINAS: 55-72
INDEXADO EM: Scopus WOS DBLP CrossRef
239
TÍTULO: BDUS. implementing block devices in user space
AUTORES: Alberto Faria; Ricardo Macedo ; José Pereira; João Paulo;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 14th ACM International Conference on Systems and Storage
INDEXADO EM: CrossRef: 1
240
TÍTULO: BDUS: implementing block devices in user space
AUTORES: Alberto Faria ; Ricardo Macedo ; José Pereira ; João Paulo ;
PUBLICAÇÃO: 2021, FONTE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PÁGINAS: 8:1-8:11
INDEXADO EM: DBLP

Results per Page: 20.
Página 12 de 75. Total de resultados: 1495.