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

150 Team Members
Filters -> Year: 2024
101
TITLE: Promoting sustainable and personalised travel behaviours while preserving data privacy
AUTHORS: Noela Pina; Cláudia Brito ; Ricardo Vitorino; Inês Cunha;
PUBLISHED: 2023, SOURCE: 2022 Conference Proceedings Transport Research Arena, TRA Lisbon 2022 in Transportation Research Procedia, VOLUME: 72, PAGES: 2768-2775
INDEXED IN: Scopus CrossRef
102
TITLE: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
AUTHORS: Rafael Braga da Costa ; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II, VOLUME: 14143, PAGES: 504-513
INDEXED IN: Scopus DBLP CrossRef Unpaywall
103
TITLE: PyAnaDroid: A fully-customizable execution pipeline for benchmarking Android Applications
AUTHORS: Rua, Rui ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 39th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME, PAGES: 586-591
INDEXED IN: Scopus WOS DBLP CrossRef
104
TITLE: Quantum privacy-preserving service for secure lane change in vehicular networks
AUTHORS: Rahmani, Zeinab; Barbosa, Luis S. ; Pinto, Armando N.;
PUBLISHED: 2023, SOURCE: IET QUANTUM COMMUNICATION, VOLUME: 4, ISSUE: 3, PAGES: 103-111
INDEXED IN: Scopus WOS DBLP CrossRef
105
TITLE: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
AUTHORS: Uwe Glässer; José Creissac Campos ; Dominique Méry; Philippe A Palanque;
PUBLISHED: 2023, SOURCE: ABZ, VOLUME: 14010
INDEXED IN: DBLP
106
TITLE: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTHORS: Barbosa, Manuel ; Cirne, Andre ; Esquivel, Luis ;
PUBLISHED: 2023, SOURCE: 18th International Conference on Availability, Reliability and Security (ARES) in 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, PAGES: 14:1-14:11
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
107
TITLE: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTHORS: Manuel Barbosa ; André Cirne; Luís Esquível;
PUBLISHED: 2023, SOURCE: Proceedings of the 18th International Conference on Availability, Reliability and Security
INDEXED IN: Unpaywall
108
TITLE: Social network analytics and visualization: Dynamic topic-based influence analysis in evolving micro-blogs  Full Text
AUTHORS: Tabassum, Shazia ; Gama, Joao ; Azevedo, Paulo J. ; Cordeiro, Mario; Martins, Carlos; Martins, Andre;
PUBLISHED: 2023, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
109
TITLE: Soteria: Preserving Privacy in Distributed Machine Learning
AUTHORS: Brito, Claudia ; Ferreira, Pedro ; Portela, Bernardo ; Oliveira, Rui ; Paulo, Joao ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 135-142
INDEXED IN: Scopus WOS DBLP CrossRef: 2
110
TITLE: Stepwise Development of Paraconsistent Processes
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931, PAGES: 327-343
INDEXED IN: Scopus DBLP CrossRef
111
TITLE: Structured Specification of Paraconsistent Transition Systems
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155, PAGES: 1-17
INDEXED IN: Scopus DBLP CrossRef
112
TITLE: Subgroup mining for performance analysis of regression models  Full Text
AUTHORS: Pimentel, Joao; Azevedo, Paulo J. ; Torgo, Luis ;
PUBLISHED: 2023, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3
113
TITLE: TADA: A Toolkit for Approximate Distributed Agreement
AUTHORS: Eduardo Lourenço da Conceição; Ana Nunes Alonso ; Rui Carlos Oliveira ; José Orlando Pereira ;
PUBLISHED: 2023, SOURCE: 23rd IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2023 in Distributed Applications and Interoperable Systems - 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13909, PAGES: 3-19
INDEXED IN: Scopus DBLP CrossRef
114
TITLE: Taming Metadata-intensive HPC Jobs Through Dynamic, Application-agnostic QoS Control
AUTHORS: Macedo, Ricardo ; Miranda, Mariana ; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Evans, Richard Todd; Pereira, Jose ; Paulo, Joao ;
PUBLISHED: 2023, SOURCE: 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid) in 2023 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING, CCGRID, PAGES: 47-61
INDEXED IN: Scopus WOS DBLP CrossRef: 1
115
TITLE: Task Model Design and Analysis with Alloy
AUTHORS: Alcino Cunha ; Nuno Macedo ; Eunsuk Kang;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010, PAGES: 303-320
INDEXED IN: Scopus DBLP CrossRef
116
TITLE: The security of Kyber's FO-transform
AUTHORS: Manuel Barbosa ; Andreas Hülsing;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 755
INDEXED IN: DBLP
117
TITLE: THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
AUTHORS: Dahlqvist, Fredrik; Neves, Renato ;
PUBLISHED: 2023, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PAGES: 31:1-31:42
INDEXED IN: Scopus WOS
118
TITLE: The syntactic side of autonomous categories enriched over generalised metric spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: Log. Methods Comput. Sci., VOLUME: 19, ISSUE: 4
INDEXED IN: DBLP
119
TITLE: Time-limited Bloom Filter
AUTHORS: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 1285-1288
INDEXED IN: Scopus WOS DBLP CrossRef
120
TITLE: TiQuE: Improving the Transactional Performance of Analytical Systems for True HybridWorkloads PDF  Full Text
AUTHORS: Faria, Nuno ; Pereira, Jose ; Alonso, Ana Nunes ; Vilaca, Ricardo ; Koning, Yunus; Nes, Niels;
PUBLISHED: 2023, SOURCE: 49th International Conference on Very Large Data Bases, VLDB 2023 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 16, ISSUE: 9, PAGES: 2274-2288
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 6 de 74. Total de resultados: 1463.