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: 1641
149 Team MembersFilters -> Year: 2026
461
TITLE: Energy Wars - Chrome vs. Firefox. which browser is more energy efficient?
AUTHORS: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 159-165
AUTHORS: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 159-165
462
TITLE: Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: ASE Workshops, PAGES: 159-165
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: ASE Workshops, PAGES: 159-165
INDEXED IN: 
DBLP
DBLP463
TITLE: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTHORS: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: ISSRE Workshops, PAGES: 237-242
AUTHORS: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: ISSRE Workshops, PAGES: 237-242
464
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J ; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2020, SOURCE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PAGES: 61-77
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J ; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2020, SOURCE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PAGES: 61-77
465
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
466
TITLE: Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: AISec@CCS, PAGES: 83-91
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: AISec@CCS, PAGES: 83-91
467
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
468
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
469
TITLE: Greenspecting Android virtual keyboards
AUTHORS: Rui Rua ; Tiago Fraga; Marco Couto ; João Saraiva ;
PUBLISHED: 2020, SOURCE: MOBILESoft@ICSE, PAGES: 98-108
AUTHORS: Rui Rua ; Tiago Fraga; Marco Couto ; João Saraiva ;
PUBLISHED: 2020, SOURCE: MOBILESoft@ICSE, PAGES: 98-108
470
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Goncharov, S; Neves, R ; Proença, 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 ; Proença, 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
471
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
472
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
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: Gomes, L ; Madeira, A ; Barbosa, LS ;
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
473
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
474
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Liu, C; Macedo, N ; Cunha, A ;
PUBLISHED: 2020, SOURCE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PAGES: 173-191
AUTHORS: Liu, C; Macedo, N ; Cunha, A ;
PUBLISHED: 2020, SOURCE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PAGES: 173-191
475
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: TechDebt@ICSE, PAGES: 62-66
AUTHORS: Marco Couto ; Daniel Maia; João Saraiva ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: TechDebt@ICSE, PAGES: 62-66
476
TITLE: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTHORS: Gomes, L ;
PUBLISHED: 2020, SOURCE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005, PAGES: 218-226
AUTHORS: Gomes, L ;
PUBLISHED: 2020, SOURCE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005, PAGES: 218-226
477
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: DAIS, VOLUME: 12135 LNCS, PAGES: 3-20
AUTHORS: Hugo Carvalho ; Daniel Cruz ; Rogério Pontes ; João Paulo ; Rui Oliveira ;
PUBLISHED: 2020, SOURCE: DAIS, VOLUME: 12135 LNCS, PAGES: 3-20
478
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
479
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
DBLP480
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
