Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 41



1
TITLE: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices  Full Text
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
2
TITLE: A tool for implementing privacy in Nano
AUTHORS: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: 2nd IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2020 in 2nd IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2020, Oxford, UK, August 3-6, 2020
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
IN MY: DBLP
3
TITLE: A tool for proving MICHELSON Smart Contracts in WHY3
AUTHORS: da Horta, LPA; Reis, JS; de Sousa, SM ; Pereira, M;
PUBLISHED: 2020, SOURCE: 3rd IEEE International Conference on Blockchain (Blockchain) in 2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020)
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
4
TITLE: Delegated RingCT: faster anonymous transactions
AUTHORS: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: PACE: A DSL-based Approach to Manage Complex Build Pipelines
AUTHORS: Fonseca, N; Fernandes, JP ; Pires, M; de Sousa, SM ;
PUBLISHED: 2020, SOURCE: 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) in 2020 46TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2020)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
6
TITLE: Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
AUTHORS: João Santos Reis; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., VOLUME: 84
INDEXED IN: Scopus DBLP
IN MY: DBLP
7
TITLE: WhylSon: Proving your Michelson Smart Contracts in Why3
AUTHORS: Luís Pedro Arrojado da Horta; João Santos Reis; Mário Pereira; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.14650
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: e-Learning, Artificial Intelligence, and Block chain
AUTHORS: Vieira, P; Crocker, P ; de Sousa, SM ;
PUBLISHED: 2019, SOURCE: European Conference on the Impact of Artificial Intelligence and Robotics (ECIAIR) in PROCEEDINGS OF THE EUROPEAN CONFERENCE ON THE IMPACT OF ARTIFICIAL INTELLIGENCE AND ROBOTICS (ECIAIR 2019)
INDEXED IN: WOS
9
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: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
10
TITLE: Towards a formally verified space mission software using SPARK
AUTHORS: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLISHED: 2019, SOURCE: Ada User Journal, VOLUME: 40, ISSUE: 4
INDEXED IN: Scopus
Page 1 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service