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
381
TÍTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: AppFM@FM, VOLUME: 349, PÁGINAS: 77-84
INDEXADO EM: Scopus DBLP
382
TÍTULO: Featured Team Automata
AUTORES: ter Beek, MH; Cledou, G ; Hennicker, R; Proenca, J ;
PUBLICAÇÃO: 2021, FONTE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047, PÁGINAS: 483-502
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
383
TÍTULO: Foreword VL/HCC 2021
AUTORES: Kelleher, C; Cunha, J ; Oney, S;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2010-October
INDEXADO EM: Scopus
384
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
385
TÍTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
386
TÍTULO: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach  Full Text
AUTORES: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Gil Sampaio ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 18, PÁGINAS: 5685
INDEXADO EM: Scopus WOS CrossRef: 5 Unpaywall
387
TÍTULO: Fuzzy Automata as Coalgebras  Full Text
AUTORES: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1-21
INDEXADO EM: Scopus WOS CrossRef: 2
388
TÍTULO: Generalised Quantum Tree Search
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2021, FONTE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PÁGINAS: 39-40
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
389
TÍTULO: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
AUTORES: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, NÚMERO: 5, PÁGINAS: 669-681
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
390
TÍTULO: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
INDEXADO EM: DBLP
391
TÍTULO: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices
AUTORES: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 3, PÁGINAS: 38
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
392
TÍTULO: HCI-E-2: HCI Engineering Education For Developers, Designers and More. For Developers, Designers and More
AUTORES: Baumann, K; Campos, JC ; Dix, A; Nigay, L; Palanque, P; Vanderdonckt, J; van der Veer, G; Weyers, B;
PUBLICAÇÃO: 2021, FONTE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, VOLUME: 12936, PÁGINAS: 542-547
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
393
TÍTULO: HEP-Frame: Improving the efficiency of pipelined data transformation & filtering for scientific analyses  Full Text
AUTORES: Pereira, A ; Proenca, A ;
PUBLICAÇÃO: 2021, FONTE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 263, PÁGINAS: 107844
INDEXADO EM: Scopus WOS CrossRef: 3
394
TÍTULO: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems
AUTORES: Aït Ameur, Y; Bowen, J; Campos, J ; Palanque, P; Weyers, B;
PUBLICAÇÃO: 2021, FONTE: INTERACTING WITH COMPUTERS, VOLUME: 33, NÚMERO: 1, PÁGINAS: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
395
TÍTULO: Hidden Markov models on a self-organizing map for anomaly detection in 802.11 wireless networks
AUTORES: Allahdadi, A ; Pernes, D ; Cardoso, JS ; Morla, R ;
PUBLICAÇÃO: 2021, FONTE: NEURAL COMPUTING & APPLICATIONS, VOLUME: 33, NÚMERO: 14, PÁGINAS: 8777-8794
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
396
TÍTULO: Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
AUTORES: Neves, F ; Machado, N ; Vilaça, R ; Pereira, J ;
PUBLICAÇÃO: 2021, FONTE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021), PÁGINAS: 212-223
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
397
TÍTULO: Hubs for VirtuosoNext: Online verification of real-time coordinators
AUTORES: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PÁGINAS: 102566
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
398
TÍTULO: Identification of microservices from monolithic applications through topic modelling
AUTORES: Miguel A Brito; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: SAC, PÁGINAS: 1409-1418
INDEXADO EM: Scopus DBLP CrossRef: 41
399
TÍTULO: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021
AUTORES: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLICAÇÃO: 2021, FONTE: VL/HCC
INDEXADO EM: DBLP
400
TÍTULO: Inferring Legacy IoT Device Behavior over a Layer 2 TLS Tunnel
AUTORES: Rodrigo Caldas; Carlos Novo; Ricardo Morla ; Luis Cruz; António Carvalho; David Campelo;
PUBLICAÇÃO: 2021, FONTE: CSNet, PÁGINAS: 23-30
INDEXADO EM: Scopus DBLP CrossRef: 1

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