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

150 Team Members
Filters -> Year: 2024
301
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
302
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
303
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
304
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
305
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: 1
306
TÍTULO: A Case for Partitioned Bloom Filters
AUTORES: Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2009.11789, NÚMERO: 6, PÁGINAS: 1681-1691
INDEXADO EM: DBLP CrossRef: 1
307
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: 2
308
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
309
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: 12
310
TÍTULO: Age-Partitioned Bloom Filters PDF
AUTORES: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.03147
INDEXADO EM: DBLP arXiv
311
TÍTULO: alurity, a toolbox for robot cybersecurity
AUTORES: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.07759
INDEXADO EM: DBLP
312
TÍTULO: Black-box inter-application traffic monitoring for adaptive container placement
AUTORES: Francisco Neves ; Ricardo Vilaca ; Jose Pereira ;
PUBLICAÇÃO: 2020, FONTE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PÁGINAS: 259-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
313
TÍTULO: Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report). (Experience Report) PDF
AUTORES: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
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: 95-103
INDEXADO EM: Scopus DBLP arXiv CrossRef Handle
314
TÍTULO: Causality is Graphically Simple
AUTORES: Carlos Baquero ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2012.09086
INDEXADO EM: DBLP
315
TÍTULO: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLICAÇÃO: 2020, FONTE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578, PÁGINAS: 107-127
INDEXADO EM: Scopus DBLP CrossRef: 1
316
TÍTULO: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
AUTORES: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; Paul Patras; Julian C Roberts; Efstathios Stavrakis; Yuichi Tanaka; Antonio Fernández Anta; ...Mais
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.12783
INDEXADO EM: DBLP
317
TÍTULO: Data Curation: Towards a Tool for All
AUTORES: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Human-Computer Interaction, HCI International 2020 in HCI International 2020 - Late Breaking Posters - 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I, VOLUME: 1293, PÁGINAS: 176-183
INDEXADO EM: Scopus DBLP CrossRef
318
TÍTULO: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTORES: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLICAÇÃO: 2020, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, NÚMERO: 3, PÁGINAS: 101493
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
319
TÍTULO: Detection of anonymised traffic: Tor as case study
AUTORES: Dantas, B; Carvalho, P; Lima, SR; Silva, JMC ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12526 LNCS, PÁGINAS: 95-109
INDEXADO EM: Scopus CrossRef
320
TÍTULO: Detection of Anonymised Traffic: Tor as Case Study
AUTORES: Bruno Dantas; Paulo Carvalho; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part II, VOLUME: 12526, PÁGINAS: 95-109
INDEXADO EM: DBLP

Results per Page: 20.
Página 16 de 75. Total de resultados: 1487.