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: 1659
149 Team MembersFilters -> Year: 2026
481
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
482
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
483
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
DBLP484
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
485
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: IRC, PAGES: 240-247
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: IRC, PAGES: 240-247
486
TITLE: Self-tunable DBMS Replication with Reinforcement Learning
AUTHORS: Luis Meruje Ferreira ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2020, SOURCE: DAIS, VOLUME: 12135 LNCS, PAGES: 131-147
AUTHORS: Luis Meruje Ferreira ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2020, SOURCE: DAIS, VOLUME: 12135 LNCS, PAGES: 131-147
487
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: IDEAL (2), VOLUME: 12490 LNCS, 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: IDEAL (2), VOLUME: 12490 LNCS, PAGES: 516-523
488
TITLE: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer
AUTHORS: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLISHED: 2020, SOURCE: COMPLEXITY, VOLUME: 2020, PAGES: 3510676:1-3510676:12
AUTHORS: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLISHED: 2020, SOURCE: COMPLEXITY, VOLUME: 2020, PAGES: 3510676:1-3510676:12
489
TITLE: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: AsiaCCS, PAGES: 101-115
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: AsiaCCS, PAGES: 101-115
INDEXED IN: 
Scopus DBLP
Scopus DBLP490
TITLE: Software engineering for 'quantum advantage'
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020, PAGES: 427-429
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020, PAGES: 427-429
491
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
492
TITLE: State-Machine Replication for Planet-Scale Systems
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
493
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
494
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: TAP@STAF, VOLUME: 12165 LNCS, PAGES: 122-140
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: TAP@STAF, VOLUME: 12165 LNCS, PAGES: 122-140
495
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PAGES: 965-982
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PAGES: 965-982
496
TITLE: Topics in Theoretical Computer Science. Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
AUTHORS: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
AUTHORS: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary497
TITLE: Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
AUTHORS: Luís Soares Barbosa ; Mohammad Ali Abam;
PUBLISHED: 2020, SOURCE: TTCS, VOLUME: 12281
AUTHORS: Luís Soares Barbosa ; Mohammad Ali Abam;
PUBLISHED: 2020, SOURCE: TTCS, VOLUME: 12281
INDEXED IN: DBLP
DBLP498
TITLE: Towards a holistic semantic support for context-aware network monitoring
AUTHORS: Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Computing, VOLUME: 102, ISSUE: 12, PAGES: 2565-2585
AUTHORS: Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Computing, VOLUME: 102, ISSUE: 12, PAGES: 2565-2585
INDEXED IN: DBLP
DBLP499
TITLE: Towards a holistic semantic support for context-aware network monitoring An ontology-based approach. An ontology-based approach
AUTHORS: Paulo Carvalho ; Solange Rito Lima; Luis Alvarez Sabucedo; Juan M Santos Gago; Joao Marco C Silva ;
PUBLISHED: 2020, SOURCE: COMPUTING, VOLUME: 102, ISSUE: 12, PAGES: 2565-2585
AUTHORS: Paulo Carvalho ; Solange Rito Lima; Luis Alvarez Sabucedo; Juan M Santos Gago; Joao Marco C Silva ;
PUBLISHED: 2020, SOURCE: COMPUTING, VOLUME: 102, ISSUE: 12, PAGES: 2565-2585
500
TITLE: Towards a register-based census in Oman
AUTHORS: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: ICEGOV, PAGES: 823-826
AUTHORS: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: ICEGOV, PAGES: 823-826
