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
481
TÍTULO: On the Trade-Offs of Combining Multiple Secure Processing Primitives for Data Analytics
AUTORES: Hugo Carvalho ; Daniel Cruz ; Rogério Pontes ; João Paulo ; Rui Oliveira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 3-20
INDEXADO EM: Scopus DBLP CrossRef
482
TÍTULO: On Understanding Data Scientists
AUTORES: Pereira, P; Cunha, J ; Fernandes, JP ;
PUBLICAÇÃO: 2020, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2020 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2020), VOLUME: 2020-August, PÁGINAS: 1-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
483
TÍTULO: Provable Security Analysis of FIDO2
AUTORES: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PÁGINAS: 756
INDEXADO EM: DBLP
484
TÍTULO: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), PÁGINAS: 49-56
INDEXADO EM: Scopus WOS DBLP CrossRef
485
TÍTULO: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: IRC, PÁGINAS: 240-247
INDEXADO EM: Scopus DBLP arXiv CrossRef
486
TÍTULO: Self-tunable DBMS Replication with Reinforcement Learning
AUTORES: Luis Meruje Ferreira ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 131-147
INDEXADO EM: Scopus DBLP CrossRef
487
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: IDEAL (2), VOLUME: 12490 LNCS, PÁGINAS: 516-523
INDEXADO EM: Scopus DBLP CrossRef
488
TÍTULO: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer
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: 6
489
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: AsiaCCS, PÁGINAS: 101-115
INDEXADO EM: Scopus DBLP
490
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: 18
491
TÍTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTORES: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
492
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 CrossRef: 24
493
TÍTULO: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools
AUTORES: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
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: 21
494
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: TAP@STAF, VOLUME: 12165 LNCS, PÁGINAS: 122-140
INDEXADO EM: Scopus DBLP CrossRef: 9
495
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, 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: 36
496
TÍTULO: Topics in Theoretical Computer Science. Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
AUTORES: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
497
498
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
500
TÍTULO: Towards a register-based census in Oman
AUTORES: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: ICEGOV, PÁGINAS: 823-826
INDEXADO EM: Scopus DBLP CrossRef: 3

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