High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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 MembersFilters -> Year: 2025
341
TITLE: Expressing Disambiguation Filters as Combinators
AUTHORS: Macedo, JN ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1348-1351
AUTHORS: Macedo, JN ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1348-1351
342
TITLE: Flexibility Hub’s dynamic equivalent model: improving the representation of the distribution grid for system planning
AUTHORS: Fulgêncio, N; Silva, B ; Villar, J; Moreira, C; Marques, M; Marinho, N; Filipe, NL; Moreira, J; Louro, M; Simões, T;
PUBLISHED: 2020, SOURCE: CIRED 2020 Berlin Workshop, CIRED 2020 in IET Conference Publications, VOLUME: 2020, ISSUE: CP767, PAGES: 657-660
AUTHORS: Fulgêncio, N; Silva, B ; Villar, J; Moreira, C; Marques, M; Marinho, N; Filipe, NL; Moreira, J; Louro, M; Simões, T;
PUBLISHED: 2020, SOURCE: CIRED 2020 Berlin Workshop, CIRED 2020 in IET Conference Publications, VOLUME: 2020, ISSUE: CP767, PAGES: 657-660
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef343
TITLE: Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: 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., PAGES: 83-91
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: 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., PAGES: 83-91
344
TITLE: 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
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
345
TITLE: 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
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
346
TITLE: Greenspecting Android virtual keyboards
AUTHORS: Rui Rua ; Tiago Fraga; Marco Couto ; João Saraiva ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 98-108
AUTHORS: Rui Rua ; Tiago Fraga; Marco Couto ; João Saraiva ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 98-108
347
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Goncharov, S; Neves, R ; Proenca, J ;
PUBLISHED: 2020, SOURCE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545, PAGES: 262-282
AUTHORS: Goncharov, S; Neves, R ; Proenca, J ;
PUBLISHED: 2020, SOURCE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545, PAGES: 262-282
348
TITLE: InDubio: A Combinator Library to Disambiguate Ambiguous Grammars
AUTHORS: Macedo, JN; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2020, PART IV, VOLUME: 12252, PAGES: 1002-1018
AUTHORS: Macedo, JN; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2020, PART IV, VOLUME: 12252, PAGES: 1002-1018
349
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 43-60
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 43-60
350
TITLE: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
351
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PAGES: 173-191
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PAGES: 173-191
352
TITLE: On energy debt: managing consumption on evolving software. managing consumption on evolving software
AUTHORS: Marco Couto ; Daniel Maia; João Saraiva ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 62-66
AUTHORS: Marco Couto ; Daniel Maia; João Saraiva ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 62-66
353
TITLE: On the Trade-Offs of Combining Multiple Secure Processing Primitives for Data Analytics
AUTHORS: Hugo Carvalho ; Daniel Cruz ; Rogério Pontes ; João Paulo ; Rui Oliveira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 3-20
AUTHORS: Hugo Carvalho ; Daniel Cruz ; Rogério Pontes ; João Paulo ; Rui Oliveira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 3-20
354
TITLE: On Understanding Data Scientists
AUTHORS: Pereira, P; Cunha, J ; Fernandes, JP ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 1-5
AUTHORS: Pereira, P; Cunha, J ; Fernandes, JP ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 1-5
355
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PAGES: 756
AUTHORS: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PAGES: 756
INDEXED IN: 
DBLP
DBLP356
TITLE: Quantum Bayesian decision-making
AUTHORS: Michael de Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.02088
AUTHORS: Michael de Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.02088
INDEXED IN: DBLP
DBLP357
TITLE: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), PAGES: 49-56
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), PAGES: 49-56
358
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 240-247
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 240-247
359
TITLE: Self-tunable DBMS Replication with Reinforcement Learning
AUTHORS: Luis Ferreira ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 131-147
AUTHORS: Luis Ferreira ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 131-147
360
TITLE: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTHORS: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 516-523
AUTHORS: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 516-523
