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
521
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 1608-+
AUTHORS: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 1608-+
INDEXED IN: 
WOS 
DBLP
WOS DBLP522
TITLE: Conflict-Free Replicated Data Types CRDTs
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies, PAGES: 491-500
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies, PAGES: 491-500
INDEXED IN: 
Scopus DBLP
Scopus DBLP523
TITLE: Coordination of Tasks on a Real-Time OS
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2019, SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PAGES: 250-266
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2019, SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PAGES: 250-266
524
TITLE: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: SRDS, PAGES: 61-70
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: SRDS, PAGES: 61-70
525
TITLE: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions. An Assessment of Portuguese Institutions
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 348-353
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 348-353
526
TITLE: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions
AUTHORS: João Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 348-353
AUTHORS: João Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 348-353
INDEXED IN: DBLP
DBLP527
TITLE: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTHORS: Carvalho, NR; Barbosa, LS ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 76-79
AUTHORS: Carvalho, NR; Barbosa, LS ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 76-79
528
TITLE: Dendro: A FAIR, Open-Source Data Sharing Platform
AUTHORS: Costa, L ; da Silva, JR ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PAGES: 384-387
AUTHORS: Costa, L ; da Silva, JR ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PAGES: 384-387
529
TITLE: Distributed Applications and Interoperable Systems - 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
AUTHORS: José Pereira ; Laura Ricci;
PUBLISHED: 2019, SOURCE: DAIS, VOLUME: 11534
AUTHORS: José Pereira ; Laura Ricci;
PUBLISHED: 2019, SOURCE: DAIS, VOLUME: 11534
530
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: CT-RSA, VOLUME: 11405 LNCS, PAGES: 127-148
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: CT-RSA, VOLUME: 11405 LNCS, PAGES: 127-148
531
TITLE: Efficient Synchronization of State-based CRDTs
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLISHED: 2019, SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PAGES: 148-159
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLISHED: 2019, SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PAGES: 148-159
532
TITLE: Electrocardiogram Beat-Classification Based on a ResNet Network
AUTHORS: Brito, C ; Machado, A; Sousa, A ;
PUBLISHED: 2019, SOURCE: 17th World Congress of Medical and Health Informatics (MEDINFO) in MEDINFO 2019: HEALTH AND WELLBEING E-NETWORKS FOR ALL, VOLUME: 264, PAGES: 55-59
AUTHORS: Brito, C ; Machado, A; Sousa, A ;
PUBLISHED: 2019, SOURCE: 17th World Congress of Medical and Health Informatics (MEDINFO) in MEDINFO 2019: HEALTH AND WELLBEING E-NETWORKS FOR ALL, VOLUME: 264, PAGES: 55-59
533
TITLE: Energy Efficient Software in an Engineering Course
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2019, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in CEFP, VOLUME: 11950 LNCS, PAGES: 77-97
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2019, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in CEFP, VOLUME: 11950 LNCS, PAGES: 77-97
534
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary535
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
536
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503, PAGES: 69-75
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503, PAGES: 69-75
INDEXED IN: Scopus DBLP
Scopus DBLP537
TITLE: Generalising KAT to Verify Weighted Computations
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
538
TITLE: Get Your Spreadsheets Under (Version) Control
AUTHORS: José Nuno Macedo ; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: CIbSE, PAGES: 100-113
AUTHORS: José Nuno Macedo ; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: CIbSE, PAGES: 100-113
INDEXED IN: Scopus DBLP
Scopus DBLP539
TITLE: GreenHub farmer: real-world data for Android energy mining
AUTHORS: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: MSR, VOLUME: 2019-May, PAGES: 171-175
AUTHORS: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: MSR, VOLUME: 2019-May, PAGES: 171-175
540
TITLE: GreenSource: a large-scale collection of Android code, tests and energy metrics
AUTHORS: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLISHED: 2019, SOURCE: MSR, VOLUME: 2019-May, PAGES: 176-180
AUTHORS: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLISHED: 2019, SOURCE: MSR, VOLUME: 2019-May, PAGES: 176-180
