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

150 Team Members
Filters -> Year: 2025
321
TÍTULO: Detection of anonymised traffic: Tor as case study
AUTORES: Dantas, B; Carvalho, P; Lima, SR; Silva, JMC ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12526 LNCS, PÁGINAS: 95-109
INDEXADO EM: Scopus CrossRef
322
TÍTULO: Detection of Anonymised Traffic: Tor as Case Study
AUTORES: Bruno Dantas; Paulo Carvalho; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part II, VOLUME: 12526, PÁGINAS: 95-109
INDEXADO EM: DBLP
323
TÍTULO: Does Domain Name Encryption Increase Users' Privacy?  Full Text
AUTORES: Martino Trevisan; Francesca Soro; Marco Mellia; Idilio Drago; Ricardo Morla ;
PUBLICAÇÃO: 2020, FONTE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, NÚMERO: 3, PÁGINAS: 17-22
INDEXADO EM: Scopus WOS DBLP CrossRef
324
TÍTULO: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTORES: Luís Soares Barbosa ; Alexandru Baltag;
PUBLICAÇÃO: 2020, FONTE: DaLí, VOLUME: 12005
INDEXADO EM: DBLP
325
TÍTULO: E-Debitum: Managing Software Energy Debt. managing software energy debt
AUTORES: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PÁGINAS: 170-177
INDEXADO EM: Scopus WOS DBLP CrossRef
326
TÍTULO: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments  Full Text
AUTORES: Joao Marco Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, NÚMERO: 10
INDEXADO EM: Scopus WOS CrossRef: 1
327
TÍTULO: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
AUTORES: João Marco C Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLICAÇÃO: 2020, FONTE: Int. J. Commun. Syst., VOLUME: 33, NÚMERO: 10
INDEXADO EM: DBLP
328
TÍTULO: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTORES: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PÁGINAS: 1-6
INDEXADO EM: DBLP
329
TÍTULO: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTORES: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.12906
INDEXADO EM: DBLP
330
TÍTULO: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTORES: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLICAÇÃO: 2020, FONTE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PÁGINAS: 467-472
INDEXADO EM: Scopus WOS CrossRef
331
TÍTULO: Energy Refactorings for Android in the Large and in the Wild
AUTORES: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLICAÇÃO: 2020, FONTE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PÁGINAS: 217-228
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
332
TÍTULO: Energy Wars - Chrome vs. Firefox. which browser is more energy efficient?
AUTORES: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PÁGINAS: 159-165
INDEXADO EM: Scopus WOS CrossRef
333
TÍTULO: Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
AUTORES: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020., PÁGINAS: 159-165
INDEXADO EM: DBLP
334
TÍTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PÁGINAS: 237-242
INDEXADO EM: Scopus DBLP CrossRef: 2
335
TÍTULO: Evaluation of RESTful frameworks under soft errors
AUTORES: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLICAÇÃO: 2020, FONTE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October, PÁGINAS: 369-379
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
336
TÍTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PÁGINAS: 61-77
INDEXADO EM: Scopus DBLP CrossRef: 4
337
TÍTULO: Expressing Disambiguation Filters as Combinators
AUTORES: Macedo, JN ; Saraiva, J ;
PUBLICAÇÃO: 2020, FONTE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PÁGINAS: 1348-1351
INDEXADO EM: Scopus WOS DBLP CrossRef
338
TÍTULO: Flexibility Hub’s dynamic equivalent model: improving the representation of the distribution grid for system planning
AUTORES: Fulgêncio, N; Silva, B ; Villar, J; Moreira, C; Marques, M; Marinho, N; Filipe, NL; Moreira, J; Louro, M; Simões, T;
PUBLICAÇÃO: 2020, FONTE: CIRED 2020 Berlin Workshop, CIRED 2020 in IET Conference Publications, VOLUME: 2020, NÚMERO: CP767, PÁGINAS: 657-660
INDEXADO EM: Scopus CrossRef
339
TÍTULO: Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
AUTORES: Carlos Novo; Ricardo Morla ;
PUBLICAÇÃO: 2020, FONTE: 13th ACM Workshop on Artificial Intelligence and Security, AISec 2020 in AISec@CCS 2020: Proceedings of the 13th ACM Workshop on Artificial Intelligence and Security, Virtual Event, USA, 13 November 2020., PÁGINAS: 83-91
INDEXADO EM: Scopus DBLP CrossRef
340
TÍTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (1), VOLUME: 12232
INDEXADO EM: DBLP CrossRef: 1

Results per Page: 20.
Página 17 de 75. Total de resultados: 1492.