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

149 Team Members
Filters -> Year: 2026
341
TÍTULO: Timely Specification Repair for Alloy 6
AUTORES: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PÁGINAS: 288-303
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
342
TÍTULO: Towards a Cross-domain Semantically Interoperable Ecosystem
AUTORES: Tosic, Milenko; Coelho, Fabio Andre ; Nouwt, Barry; Rua, David Emanuel ; Tomcic, Aleksandar; Pesic, Sasa;
PUBLICAÇÃO: 2022, FONTE: 15th ACM International Conference on Web Search and Data Mining (WSDM) in WSDM'22: PROCEEDINGS OF THE FIFTEENTH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, PÁGINAS: 1640-1641
INDEXADO EM: WOS DBLP CrossRef: 6
343
TÍTULO: Tweaking Metasploit to Evade Encrypted C2 Traffic Detection
AUTORES: Gonçalo Xavier; Carlos Novo; Ricardo Morla ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.00943
INDEXADO EM: DBLP
344
TÍTULO: Variability Analysis for Robot Operating System Applications
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
345
TÍTULO: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTORES: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2203.10591
INDEXADO EM: DBLP
346
TÍTULO: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTORES: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira ; Giann Spilere Nandi;
PUBLICAÇÃO: 2022, FONTE: RSSRail, VOLUME: 13294 LNCS, PÁGINAS: 83-94
INDEXADO EM: Scopus DBLP CrossRef
347
TÍTULO: Verification of railway network models with EVEREST
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: MoDELS, PÁGINAS: 345-355
INDEXADO EM: Scopus DBLP CrossRef: 2 Unpaywall
348
TÍTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
349
TÍTULO: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTORES: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PÁGINAS: 24-34
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
350
TÍTULO: Weighted synchronous automata
AUTORES: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, NÚMERO: 9, PÁGINAS: 1234-1253
INDEXADO EM: Scopus WOS DBLP CrossRef
351
TÍTULO: What Ever Happened to Peer-to-Peer Systems?  Full Text
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 66, NÚMERO: 3, PÁGINAS: 14-15
INDEXADO EM: Scopus WOS DBLP
352
TÍTULO: Which Technologies are Most Frequently Used by Data Scientists?
AUTORES: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLICAÇÃO: 2022, FONTE: VL/HCC, VOLUME: 2022-September, PÁGINAS: 1-5
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
353
TÍTULO: Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 114-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
354
TÍTULO: Zipping Strategies and Attribute Grammars
AUTORES: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: FLOPS, VOLUME: 13215 LNCS, PÁGINAS: 112-132
INDEXADO EM: Scopus DBLP CrossRef: 3
355
TÍTULO: A deductive reasoning approach for database applications using verification conditions
AUTORES: Alam, MI; Halder, R; Pinto, JS ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PÁGINAS: 110903
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
356
TÍTULO: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: QUATIC, VOLUME: 1439 CCIS, PÁGINAS: 325-340
INDEXADO EM: Scopus DBLP CrossRef: 5
357
TÍTULO: A semantics and a logic for <i>Fuzzy Arden Syntax</i>
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9, PÁGINAS: 6789-6805
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
358
TÍTULO: Algebraic Adversaries in the Universal Composability Framework
AUTORES: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLICAÇÃO: 2021, FONTE: ASIACRYPT (3), VOLUME: 13092 LNCS, PÁGINAS: 311-341
INDEXADO EM: Scopus DBLP CrossRef: 15
359
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 M Ferreira; Pedro M Santos; Ricardo Morla ; Luís Almeida ; Baris Bulut; Sencer Sultanoglu;
PUBLICAÇÃO: 2021, FONTE: AIAI (Workshops), PÁGINAS: 281-292
INDEXADO EM: DBLP
360
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

Results per Page: 20.
Página 18 de 83. Total de resultados: 1659.