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: 1539
150 Team MembersFilters -> Year: 2024
321
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
322
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
323
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
324
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
325
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
326
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
DBLP327
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
DBLP328
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
329
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
330
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
331
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
332
TITLE: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer Full Text
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
333
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: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PAGES: 101-115
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PAGES: 101-115
INDEXED IN: 
Scopus DBLP
Scopus DBLP334
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
335
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code Full Text
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
336
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
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP337
TITLE: State-machine replication for planet-scale systems
AUTHORS: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: Proceedings of the Fifteenth European Conference on Computer Systems
AUTHORS: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: Proceedings of the Fifteenth European Conference on Computer Systems
338
TITLE: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTHORS: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11789
AUTHORS: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11789
INDEXED IN: DBLP
DBLP339
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
340
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PAGES: 122-140
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PAGES: 122-140
