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

150 Team Members
Filters -> Year: 2025
341
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
342
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
343
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
344
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
345
TÍTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
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 (2), VOLUME: 12233
INDEXADO EM: DBLP CrossRef: 2
346
TÍTULO: Greenspecting Android virtual keyboards
AUTORES: Rui Rua ; Tiago Fraga; Marco Couto ; João Saraiva ;
PUBLICAÇÃO: 2020, FONTE: 7th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2020 in MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020, PÁGINAS: 98-108
INDEXADO EM: Scopus DBLP CrossRef
347
TÍTULO: Implementing Hybrid Semantics: From Functional to Imperative
AUTORES: Goncharov, S; Neves, R ; Proenca, J ;
PUBLICAÇÃO: 2020, FONTE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545, PÁGINAS: 262-282
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
348
TÍTULO: InDubio: A Combinator Library to Disambiguate Ambiguous Grammars
AUTORES: Macedo, JN; Saraiva, J ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2020, PART IV, VOLUME: 12252, PÁGINAS: 1002-1018
INDEXADO EM: Scopus WOS DBLP CrossRef
349
TÍTULO: Introducing Synchrony in Fuzzy Automata
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348, PÁGINAS: 43-60
INDEXADO EM: Scopus WOS DBLP CrossRef
350
TÍTULO: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTORES: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLICAÇÃO: 2020
INDEXADO EM: CrossRef: 1
351
TÍTULO: Merging Cloned Alloy Models with Colorful Refactorings
AUTORES: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2020, FONTE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PÁGINAS: 173-191
INDEXADO EM: DBLP CrossRef Unpaywall
352
TÍTULO: On energy debt: managing consumption on evolving software. managing consumption on evolving software
AUTORES: Marco Couto ; Daniel Maia; João Saraiva ; Rui Pereira ;
PUBLICAÇÃO: 2020, FONTE: 3rd IEEE/ACM International Conference on Technical Debt, TechDebt 2020 in TechDebt '20: International Conference on Technical Debt, Seoul, Republic of Korea, June 28-30, 2020, PÁGINAS: 62-66
INDEXADO EM: Scopus DBLP CrossRef
353
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: 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: 3-20
INDEXADO EM: Scopus DBLP CrossRef
354
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: 5
355
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
356
TÍTULO: Quantum Bayesian decision-making
AUTORES: Michael de Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.02088
INDEXADO EM: DBLP
357
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
358
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: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020, PÁGINAS: 240-247
INDEXADO EM: Scopus DBLP arXiv CrossRef
359
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
360
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

Results per Page: 20.
Página 18 de 75. Total de resultados: 1499.