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: 1463
150 Team MembersFilters -> Year: 2024
361
TITLE: An Adequate While-Language for Hybrid Computation
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PAGES: 11:1-11:15
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PAGES: 11:1-11:15
INDEXED IN:
WOS
DBLP
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
362
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
INDEXED IN:
DBLP
arXiv
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)
363
TITLE: An ontology-based recommendation system for context-aware network monitoring
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384
364
TITLE: An Ontology-Based Recommendation System for Context-Aware Network Monitoring
AUTHORS: Ricardo F Silva; Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 373-384
AUTHORS: Ricardo F Silva; Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 373-384
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
365
TITLE: Anomaly Detection and Modeling in 802.11 Wireless Networks Full Text
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38
366
TITLE: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage Full Text
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 103-112
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 103-112
367
TITLE: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTHORS: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, VOLUME: 2019-September, PAGES: 370-377
AUTHORS: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, VOLUME: 2019-September, PAGES: 370-377
368
TITLE: Conflict-Free Replicated Data Types CRDTs
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies.
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies.
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
369
TITLE: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds Full Text
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 61-70
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 61-70
370
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
371
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
![](/img/dblp_icon.png)
372
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
373
TITLE: Dendro: A FAIR, Open-Source Data Sharing Platform
AUTHORS: Lazaro Costa ; Joao Rocha da Silva ;
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: Lazaro Costa ; Joao Rocha da Silva ;
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
374
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
INDEXED IN:
DBLP
CrossRef
![](/img/dblp_icon.png)
![](/img/crossref.png)
375
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PAGES: 127-148
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PAGES: 127-148
376
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
377
TITLE: Electrocardiogram Beat-Classification Based on a ResNet Network
AUTHORS: Claudia Brito ; Ana Machado; Antonio Sousa ;
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: Claudia Brito ; Ana Machado; Antonio Sousa ;
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
INDEXED IN:
Scopus
WOS
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
378
TITLE: Energy Efficient Software in an Engineering Course
AUTHORS: João Saraiva ; Rui Pereira;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 77-97
AUTHORS: João Saraiva ; Rui Pereira;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 77-97
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
379
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
380
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34