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

150 Team Members
Filters -> Year: 2024
181
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
INDEXED IN: Scopus WOS DBLP CrossRef
182
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
INDEXED IN: Scopus WOS DBLP CrossRef
183
TITLE: What Ever Happened to Peer-to-Peer Systems?  Full Text
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
INDEXED IN: Scopus WOS DBLP
184
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Pereira, P; Fernandes, JP ; Cunha, J ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2022-September
INDEXED IN: Scopus CrossRef Unpaywall
185
TITLE: Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 114-142
INDEXED IN: Scopus WOS DBLP CrossRef
186
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 112-132
INDEXED IN: Scopus DBLP CrossRef
187
TITLE: A deductive reasoning approach for database applications using verification conditions
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
INDEXED IN: Scopus WOS DBLP CrossRef
188
TITLE: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTHORS: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira ; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença ; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 in Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, VOLUME: 1439, PAGES: 325-340
INDEXED IN: Scopus DBLP CrossRef: 3
189
TITLE: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6789-6805
INDEXED IN: Scopus WOS DBLP CrossRef: 3
190
TITLE: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2021, SOURCE: 9th International Conference on Fundamentals of Software Engineering, FSEN 2021 in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, VOLUME: 12818, PAGES: 53-68
INDEXED IN: Scopus DBLP CrossRef
191
TITLE: Algebraic Adversaries in the Universal Composability Framework
AUTHORS: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLISHED: 2021, SOURCE: 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, PAGES: 311-341
INDEXED IN: Scopus DBLP CrossRef: 6
192
TITLE: An Initial Analysis of the Shortcomings of Conventional AI and the Benefits of Distributed AI Approaches in Industrial Use Cases
AUTHORS: 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;
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: 281-292
INDEXED IN: DBLP
193
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
INDEXED IN: DBLP
194
TITLE: An Outlook on using Packet Sampling in Flow-based C2 TLS Malware Traffic Detection
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
INDEXED IN: Scopus WOS DBLP CrossRef
195
TITLE: ASPAS: As Secure as Possible Available Systems
AUTHORS: Houssam Yactine ; Ali Shoker ; Georges Younes ;
PUBLISHED: 2021, SOURCE: Distributed Applications and Interoperable Systems - 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings, VOLUME: 12718, PAGES: 57-73
INDEXED IN: DBLP
196
TITLE: ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases
AUTHORS: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PAGES: 67-74
INDEXED IN: Scopus WOS DBLP CrossRef
197
TITLE: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef
198
TITLE: Balancing the Detection of Malicious Traffic in SDN Context
AUTHORS: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo;
PUBLISHED: 2021, SOURCE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PAGES: 106-111
INDEXED IN: Scopus WOS CrossRef
199
TITLE: Balancing the Detection of Malicious Traffic in SDN Context
AUTHORS: Bruno Salgado Machado; João Marco C Silva ; Solange Rito Lima; Paulo Carvalho;
PUBLISHED: 2021, SOURCE: Twelfth International Conference on Ubiquitous and Future Networks, ICUFN 2021, Jeju Island, South Korea, August 17-20, 2021, PAGES: 106-111
INDEXED IN: DBLP
200
TITLE: Balancing the Formal and the Informal in User-centred Design  Full Text
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 55-72
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 10 de 78. Total de resultados: 1545.