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

150 Team Members
Filters -> Year: 2024
281
TITLE: Totally-Ordered Prefix Parallel Snapshot Isolation
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 6:1-6:7
INDEXED IN: Scopus DBLP CrossRef: 2
282
TITLE: Towards a bottom-up approach to inclusive digital identity systems
AUTHORS: João Marco C Silva ; Vitor Fonte ; António Sousa;
PUBLISHED: 2021, SOURCE: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, PAGES: 523-525
INDEXED IN: DBLP
283
TITLE: Towards a bottom-up approach to inclusive digital identity systems
AUTHORS: Silva, JM ; Fonte, V; Sousa, A;
PUBLISHED: 2021, SOURCE: 14th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2021 in ACM International Conference Proceeding Series, PAGES: 523-525
INDEXED IN: Scopus
284
TITLE: Towards a Distributed Learning Architecture for Securing ISP Home Customers
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 311-322
INDEXED IN: DBLP
285
TITLE: Towards a specification theory for fuzzy modal logic
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), PAGES: 175-182
INDEXED IN: Scopus WOS DBLP CrossRef
286
TITLE: Towards Formal Verification of Password Generation Algorithms used in Password Managers
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
INDEXED IN: DBLP
287
TITLE: Towards Generic Fine-Grained Transaction Isolation in Polystores
AUTHORS: Nuno Faria ; José Pereira ; Ana Nunes Alonso ; Ricardo Vilaça ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 29-42
INDEXED IN: Scopus DBLP CrossRef: 1
288
TITLE: Towards the integration of user interface prototyping and model-based development
AUTHORS: Catarina Machado; José Creissac Campos ;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
INDEXED IN: DBLP
289
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo; Marcos Viera; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2110.07902
INDEXED IN: DBLP
290
TITLE: 802.11 wireless simulation and anomaly detection using HMM and UBM
AUTHORS: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLISHED: 2020, SOURCE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, VOLUME: 96, ISSUE: 12, PAGES: 939-956
INDEXED IN: Scopus WOS DBLP CrossRef: 1
291
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2009.11789, ISSUE: 6, PAGES: 1681-1691
INDEXED IN: DBLP CrossRef: 1
292
TITLE: A Comparison of Message Exchange Patterns in BFT Protocols - (Experience Report). (Experience Report)
AUTHORS: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 104-120
INDEXED IN: Scopus DBLP CrossRef: 2
293
TITLE: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PAGES: 102379
INDEXED IN: Scopus WOS DBLP CrossRef
294
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348, PAGES: 85-103
INDEXED IN: WOS DBLP CrossRef: 12
295
TITLE: A Survey and Classification of Software-Defined Storage Systems  Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Jose Pereira ; Alysson Bessani ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38
INDEXED IN: Scopus WOS DBLP CrossRef: 12
296
TITLE: Age-Partitioned Bloom Filters PDF
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.03147
INDEXED IN: DBLP arXiv
297
TITLE: alurity, a toolbox for robot cybersecurity
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.07759
INDEXED IN: DBLP
298
TITLE: ARx: Reactive Programming for Synchronous Connectors
AUTHORS: José Proença ; Guillermina Cledou ;
PUBLISHED: 2020, SOURCE: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12134, PAGES: 39-56
INDEXED IN: Scopus DBLP CrossRef
299
TITLE: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
PUBLISHED: 2020, SOURCE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005, PAGES: 19-34
INDEXED IN: Scopus WOS DBLP CrossRef
300
TITLE: Black-box inter-application traffic monitoring for adaptive container placement
AUTHORS: Francisco Neves ; Ricardo Vilaca ; Jose Pereira ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 259-266
INDEXED IN: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Página 15 de 78. Total de resultados: 1551.