Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 41



1
TÍTULO: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices  Full Text
AUTORES: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
2
TÍTULO: A tool for implementing privacy in Nano
AUTORES: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
NO MEU: DBLP
3
TÍTULO: A tool for proving MICHELSON Smart Contracts in WHY3
AUTORES: da Horta, LPA; Reis, JS; de Sousa, SM ; Pereira, M;
PUBLICAÇÃO: 2020, FONTE: 3rd IEEE International Conference on Blockchain (Blockchain) in 2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020)
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
4
TÍTULO: Delegated RingCT: faster anonymous transactions
AUTORES: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: PACE: A DSL-based Approach to Manage Complex Build Pipelines
AUTORES: Fonseca, N; Fernandes, JP ; Pires, M; de Sousa, SM ;
PUBLICAÇÃO: 2020, FONTE: 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) in 2020 46TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2020)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
6
TÍTULO: Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
AUTORES: João Santos Reis; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2020, FONTE: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., VOLUME: 84
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
7
TÍTULO: WhylSon: Proving your Michelson Smart Contracts in Why3
AUTORES: Luís Pedro Arrojado da Horta; João Santos Reis; Mário Pereira; Simão Melo de Sousa ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.14650
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: e-Learning, Artificial Intelligence, and Block chain
AUTORES: Vieira, P; Crocker, P ; de Sousa, SM ;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: WOS
9
TÍTULO: GreenHub farmer: real-world data for Android energy mining
AUTORES: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
10
TÍTULO: Towards a formally verified space mission software using SPARK
AUTORES: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLICAÇÃO: 2019, FONTE: Ada User Journal, VOLUME: 40, NÚMERO: 4
INDEXADO EM: Scopus
Página 1 de 5. Total de resultados: 41.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service