Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 43



11
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
12
TÍTULO: Verification of highly imperative OCaml programs with Why3 [Vérification de programmes OCaml fortement impératifs avec Why3]
AUTORES: Filliâtre, JC; Pereira, M; de Sousa, SM ;
PUBLICAÇÃO: 2018, FONTE: Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 in JFLA 2018 - Journees Francophones des Langages Applicatifs
INDEXADO EM: Scopus
13
TÍTULO: Revisiting concurrent separation logic
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: Automated Analysis of Non-Functional Requirements for Web Applications
AUTORES: Joel Carvalho; Simao Melo de Sousa ; Joao Paulo Fernandes ; Nuno Pereira; Luis Filipe Mendes; Carlos Manuel Figueiredo; Catia Raquel Oliveira;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Certifying execution time in multicores  Full Text
AUTORES: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
TÍTULO: Deciding Kleene algebra terms equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
17
TÍTULO: Revisiting Concurrent Separation Logic and Operational Semantics PDF
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2015, FONTE: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015)
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
TÍTULO: Complexity checking of ARM programs, by deduction
AUTORES: Mário Pereira; Simão Melo de Sousa ;
PUBLICAÇÃO: 2014, FONTE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
19
TÍTULO: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTORES: Vitor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
20
TÍTULO: E-Id Authentication and Uniform Access to Cloud Storage Service Providers
AUTORES: Joao Gouveia; Paul Andrew Crocker ; Simao Melo de Sousa ; Ricardo Azevedo;
PUBLICAÇÃO: 2013, FONTE: 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom) in 2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 de 5. Total de resultados: 43.

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

Links Úteis

Ajuda

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