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

150 Team Members
Filters -> Year: 2024
221
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
222
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
223
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
224
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
225
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
226
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
227
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
228
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
229
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
230
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
231
TÍTULO: Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators
AUTORES: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLICAÇÃO: 2021, FONTE: 26th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2021 in ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021., PÁGINAS: 498-504
INDEXADO EM: Scopus DBLP CrossRef
232
TÍTULO: CAT: content-aware tracing and analysis for distributed systems. content-aware tracing and analysis for distributed systems
AUTORES: Tânia Esteves ; Francisco Neves ; Rui Oliveira ; João Paulo ;
PUBLICAÇÃO: 2021, FONTE: Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021, PÁGINAS: 223-235
INDEXADO EM: DBLP CrossRef: 5
233
TÍTULO: CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes  Full Text
AUTORES: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLICAÇÃO: 2021, FONTE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September, PÁGINAS: 176-186
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
234
TÍTULO: Detailed Black-Box Monitoring of Distributed Systems  Full Text
AUTORES: Neves, F ; Vilaca, R ; Pereira, J ;
PUBLICAÇÃO: 2021, FONTE: APPLIED COMPUTING REVIEW, VOLUME: 21, NÚMERO: 1, PÁGINAS: 24-36
INDEXADO EM: WOS CrossRef: 2
235
TÍTULO: Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform
AUTORES: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLICAÇÃO: 2021, FONTE: HUMAN FACTORS, VOLUME: 63, NÚMERO: 6, PÁGINAS: 1012-1032
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
236
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLICAÇÃO: 2021, FONTE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PÁGINAS: 2564-2586
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
237
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PÁGINAS: 1253
INDEXADO EM: DBLP
238
TÍTULO: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), PÁGINAS: 62-69
INDEXADO EM: WOS DBLP CrossRef
239
TÍTULO: Efficient Replication via Timestamp Stability
AUTORES: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLICAÇÃO: 2021, FONTE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PÁGINAS: 178-193
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
240
TÍTULO: Efficient Replication via Timestamp Stability (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.01142
INDEXADO EM: DBLP

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