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
Publications Count: 1241
112 Team MembersFilters -> Year: 2020
1
TITLE: A component-based framework for certification of components in a cloud of HPC services Full Text
AUTHORS: de Oliveira Dantas, AB; de Carvalho Junior, FH; Barbosa, LS ;
SOURCE: Science of Computer Programming, VOLUME: 191, PAGES: 102379, PUBLISHED: 2020
AUTHORS: de Oliveira Dantas, AB; de Carvalho Junior, FH; Barbosa, LS ;
SOURCE: Science of Computer Programming, VOLUME: 191, PAGES: 102379, PUBLISHED: 2020
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2
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 ;
SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463, PUBLISHED: 2020
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha; Joao Paulo Fernandes; Joao Saraiva ;
SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463, PUBLISHED: 2020
3
TITLE: A case for dynamically programmable storage background tasks
AUTHORS: Macedo, R ; Faria, A ; Paulo, J; Pereira, J;
SOURCE: 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019 in Proceedings - 2019 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019, PAGES: 7-12, PUBLISHED: 2019
AUTHORS: Macedo, R ; Faria, A ; Paulo, J; Pereira, J;
SOURCE: 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019 in Proceedings - 2019 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019, PAGES: 7-12, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
Scopus CrossRef4
TITLE: A data mining approach to classify serum creatinine values in patients undergoing continuous ambulatory peritoneal dialysis Full Text
AUTHORS: Brito, C ; Esteves, M; Peixoto, H; Abelha, A ; José Machado ;
SOURCE: Wireless Networks, PUBLISHED: 2019
AUTHORS: Brito, C ; Esteves, M; Peixoto, H; Abelha, A ; José Machado ;
SOURCE: Wireless Networks, PUBLISHED: 2019
5
TITLE: A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
AUTHORS: Belo Lourenco, C; Frade, MJ ; Sousa Pinto, J ;
SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019, PAGES: 75-84, PUBLISHED: 2019
AUTHORS: Belo Lourenco, C; Frade, MJ ; Sousa Pinto, J ;
SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019, PAGES: 75-84, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
Scopus CrossRef6
TITLE: A generator of user interface prototypes for the IVY workbench
AUTHORS: Araujo, JM; Couto, R; Campos, JC ;
SOURCE: 2019 International Conference on Graphics and Interaction, ICGI 2019 in ICGI 2019 - Proceedings of the International Conference on Graphics and Interaction, PAGES: 32-39, PUBLISHED: 2019
AUTHORS: Araujo, JM; Couto, R; Campos, JC ;
SOURCE: 2019 International Conference on Graphics and Interaction, ICGI 2019 in ICGI 2019 - Proceedings of the International Conference on Graphics and Interaction, PAGES: 32-39, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
Scopus CrossRef7
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Matthew Campagna; Ernie Cohen; Benjamin Gregoire; Vitor Pereira; Bernardo Portela; Pierre Yves Strub; Serdar Tasiran;
SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78, PUBLISHED: 2019
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Matthew Campagna; Ernie Cohen; Benjamin Gregoire; Vitor Pereira; Bernardo Portela; Pierre Yves Strub; Serdar Tasiran;
SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78, PUBLISHED: 2019
8
TITLE: A Net-Based Formal Framework for Causal Loop Diagrams
AUTHORS: Guillermina Cledou ; Shin Nakajima;
SOURCE: 3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia) in COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018, VOLUME: 878, PAGES: 1-12, PUBLISHED: 2019
AUTHORS: Guillermina Cledou ; Shin Nakajima;
SOURCE: 3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia) in COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018, VOLUME: 878, PAGES: 1-12, PUBLISHED: 2019
9
TITLE: A use error taxonomy for improving human-machine interface design in medical devices Full Text
AUTHORS: Silva, C; Masci, P; Zhang, Y; Jones, P; Campos, JC ;
SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 2, PAGES: 24-30, PUBLISHED: 2019
AUTHORS: Silva, C; Masci, P; Zhang, Y; Jones, P; Campos, JC ;
SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 2, PAGES: 24-30, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
Scopus CrossRef10
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1902.07684, PUBLISHED: 2019
AUTHORS: Sergey Goncharov; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1902.07684, PUBLISHED: 2019
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv11
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 ;
SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384, PUBLISHED: 2019
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384, PUBLISHED: 2019
INDEXED IN: Scopus
Scopus12
TITLE: Anomaly Detection and Modeling in 802.11 Wireless Networks Full Text
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38, PUBLISHED: 2019
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38, PUBLISHED: 2019
13
TITLE: Conflict-Free Replicated Data Types CRDTs
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
SOURCE: Encyclopedia of Big Data Technologies., PUBLISHED: 2019
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
SOURCE: Encyclopedia of Big Data Technologies., PUBLISHED: 2019
INDEXED IN: DBLP
DBLP14
TITLE: Coordination of Tasks on a Real-Time OS
AUTHORS: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
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, PUBLISHED: 2019
AUTHORS: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
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, PUBLISHED: 2019
15
TITLE: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
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, PUBLISHED: 2019
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
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, PUBLISHED: 2019
16
TITLE: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTHORS: Nuno Ramos Carvalho; Luis Soares Barbosa ;
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, PUBLISHED: 2019
AUTHORS: Nuno Ramos Carvalho; Luis Soares Barbosa ;
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, PUBLISHED: 2019
17
TITLE: Distributed Applications and Interoperable Systems
AUTHORS: José Pereira ; Laura Ricci;
SOURCE: Lecture Notes in Computer Science, PUBLISHED: 2019
AUTHORS: José Pereira ; Laura Ricci;
SOURCE: Lecture Notes in Computer Science, PUBLISHED: 2019
INDEXED IN: CrossRef
CrossRef18
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
AUTHORS: Silva, JM ; Carvalho, P; Bispo, KA; Rito Lima, S;
SOURCE: International Journal of Communication Systems, PUBLISHED: 2019
AUTHORS: Silva, JM ; Carvalho, P; Bispo, KA; Rito Lima, S;
SOURCE: International Journal of Communication Systems, PUBLISHED: 2019
INDEXED IN: Scopus
Scopus19
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
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, PUBLISHED: 2019
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
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, PUBLISHED: 2019
20
TITLE: Efficient Synchronization of State-based CRDTs PDF
AUTHORS: Vitor Enes ; Paulo Sergio Almeida ; Carlos Baquero ; Joao Leitao;
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, PUBLISHED: 2019
AUTHORS: Vitor Enes ; Paulo Sergio Almeida ; Carlos Baquero ; Joao Leitao;
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, PUBLISHED: 2019
INDEXED IN: Scopus 
WOS DBLP arXiv
Scopus WOS DBLP arXiv