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

150 Team Members
Filters -> Year: 2025
361
TÍTULO: Self-tunable DBMS Replication with Reinforcement Learning
AUTORES: Luis Ferreira ; Fábio Coelho ; 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: 131-147
INDEXADO EM: Scopus DBLP CrossRef
362
TÍTULO: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTORES: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLICAÇÃO: 2020, FONTE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PÁGINAS: 516-523
INDEXADO EM: Scopus DBLP CrossRef
363
TÍTULO: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer  Full Text
AUTORES: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLICAÇÃO: 2020, FONTE: COMPLEXITY, VOLUME: 2020, PÁGINAS: 3510676:1-3510676:12
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
364
TÍTULO: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PÁGINAS: 101-115
INDEXADO EM: Scopus DBLP
365
TÍTULO: Software engineering for 'quantum advantage'
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020, PÁGINAS: 427-429
INDEXADO EM: Scopus DBLP CrossRef: 4
366
TÍTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code  Full Text
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
367
TÍTULO: State-Machine Replication for Planet-Scale Systems
AUTORES: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLICAÇÃO: 2020, FONTE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PÁGINAS: 24:1-24:15
INDEXADO EM: Scopus WOS DBLP
368
TÍTULO: State-machine replication for planet-scale systems
AUTORES: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Fifteenth European Conference on Computer Systems
INDEXADO EM: CrossRef: 1
369
TÍTULO: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2003.11789
INDEXADO EM: DBLP
370
TÍTULO: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTORES: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5, PÁGINAS: 35:1-35:48
INDEXADO EM: Scopus WOS DBLP CrossRef
371
TÍTULO: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PÁGINAS: 122-140
INDEXADO EM: Scopus DBLP CrossRef
372
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PÁGINAS: 965-982
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
373
374
TÍTULO: Towards a holistic semantic support for context-aware network monitoring
AUTORES: Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: Computing, VOLUME: 102, NÚMERO: 12, PÁGINAS: 2565-2585
INDEXADO EM: DBLP
376
TÍTULO: Towards a register-based census in Oman
AUTORES: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 13th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2020 in ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, 23-25 September, 2020, PÁGINAS: 823-826
INDEXADO EM: Scopus DBLP CrossRef
377
TÍTULO: Two-level adaptive sampling for illumination integrals using Bayesian Monte Carlo
AUTORES: Marques, R; Bouville, C; Santos, LP ; Bouatouch, K;
PUBLICAÇÃO: 2020, FONTE: 37th Annual Conference on European Association for Computer Graphics, EUROGRAPHICS 2016 in European Association for Computer Graphics - 37th Annual Conference, EUROGRAPHICS 2016 - Short Papers, PÁGINAS: 65-68
INDEXADO EM: Scopus
378
TÍTULO: Type your matrices for great good: A Haskell library of typed matrices and applications (functional pearl)
AUTORES: Santos, A; Oliveira, JN ;
PUBLICAÇÃO: 2020, FONTE: 13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020 in Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, PÁGINAS: 54-66
INDEXADO EM: Scopus CrossRef: 2
379
TÍTULO: Understanding the Impact of Introducing Lambda Expressions in Java Programs
AUTORES: Walter Lucas Monteiro de Mendonça; José Fortes; Francisco Vitor Lopes; Diego Marcilio; Rodrigo Bonifácio; Edna Dias Canedo; Fernanda Lima; João Saraiva ;
PUBLICAÇÃO: 2020, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 8
INDEXADO EM: DBLP
380
TÍTULO: Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars  Full Text
AUTORES: Zirun R Zhu; Hsiang Shang Ko; Yongzhe Z Zhang; Pedro Martins; Joao Saraiva ; Zhenjiang J Hu;
PUBLICAÇÃO: 2020, FONTE: NEW GENERATION COMPUTING, VOLUME: 38, NÚMERO: 3, PÁGINAS: 423-476
INDEXADO EM: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Página 19 de 75. Total de resultados: 1495.